soft walls: algorithms to enforce aviation security

35
Soft Walls: Algorithms to Enforce Aviation Security Adam Cataldo Prof. Edward Lee Prof. Shankar Sastry August 24, 2004 Berkeley, CA Center for Hybrid and Embedded Software Systems

Upload: lydia

Post on 25-Feb-2016

30 views

Category:

Documents


0 download

DESCRIPTION

Soft Walls: Algorithms to Enforce Aviation Security . Adam Cataldo Prof. Edward Lee Prof. Shankar Sastry. Center for Hybrid and Embedded Software Systems. August 24, 2004 Berkeley, CA. Outline. The Soft Walls system Objections Control system design Current research Conclusions. - PowerPoint PPT Presentation

TRANSCRIPT

Page 1: Soft Walls: Algorithms to Enforce Aviation Security

Soft Walls: Algorithms to Enforce Aviation Security

Adam CataldoProf. Edward LeeProf. Shankar Sastry

August 24, 2004Berkeley, CA

Center for Hybrid andEmbedded Software Systems

Page 2: Soft Walls: Algorithms to Enforce Aviation Security

Outline• The Soft Walls system• Objections• Control system design• Current research• Conclusions

Page 3: Soft Walls: Algorithms to Enforce Aviation Security

A Deadly Weapon?• Project started September 11, 2001

Page 4: Soft Walls: Algorithms to Enforce Aviation Security

Introduction• On-board database with “no-fly-zones”• Enforce no-fly zones through avionics

Page 5: Soft Walls: Algorithms to Enforce Aviation Security

Dragonfly 3Dragonfly 2

Ground Station

Early Prototype UsingStanford DragonFly UAVs

[Claire Tomlin,Jung Soon Jang,

Rodney Teo]

Page 6: Soft Walls: Algorithms to Enforce Aviation Security

Flight Test Result

Nov 19th, 2003Moffett Federal Air Field

Page 7: Soft Walls: Algorithms to Enforce Aviation Security

Another Early Prototype, Demo’d byHoneywell on National TV, Dec., 2003• Based on advanced ground avoidance

system• Issues a warning when approaching terrain

or a no-fly zone• Takes over control from the pilot when

approach is too close• Returns control to the

pilot after diverting• Demonstrated on ABC

World News TonightDec. 30, 2003

Honeywell pilot on ABC World News Tonight with Peter Jennings, Dec. 30, 2003.

Page 8: Soft Walls: Algorithms to Enforce Aviation Security

Both Prototypes useAutonomous Control

Pilot orPath Planning

Controller

Aircraft

Soft Wallscontroller

Page 9: Soft Walls: Algorithms to Enforce Aviation Security

Our End Objective is Not Autonomous Control but a Blending Controller

Pilot

Aircraft

Soft Walls

+bias pilotcontrol asneeded

Page 10: Soft Walls: Algorithms to Enforce Aviation Security

Our End Objective

Maximize Pilot Authority,but keep outside forbidden airspace

Page 11: Soft Walls: Algorithms to Enforce Aviation Security

Unsaturated Control

No-flyzone

Control applied

Pilot remains neutral

Pilot turns away from no-fly zone

Pilot aims for no-fly zone

Page 12: Soft Walls: Algorithms to Enforce Aviation Security

In the News• ABC World News Tonight with Peter Jennings

– Dec. 30, 2003• Radio Interviews

– Voice of America, Dec. 6, 2003. – NPR Marketplace– WTOP, Washington DC, July 14, 2003– As It Happens, CBC, July 9, 2003

• Magazines– New Scientist, July 2, 2003– Salon, December 13, 2001– Slashdot, July 3, 2003– Slashdot, Jan 3, 2004

• Newspapers– New York Times, April 11, 2002– Toronto Globe and Mail– The Washington Times– The Orlando Sentinel– The Straits Times (Singapore)– The Times of India– The Star (South Africa)– The Age (Australia) – Reuters, July 2, 2003

Graphic on ABC World News Tonight with Peter Jennings, Dec. 30, 2003.

Page 13: Soft Walls: Algorithms to Enforce Aviation Security
Page 14: Soft Walls: Algorithms to Enforce Aviation Security

Objections• Reducing pilot control is dangerous

– reduces ability to respond to emergencies

Page 15: Soft Walls: Algorithms to Enforce Aviation Security

There is No Emergency That Justifies Attempting to Land on Fifth Ave.

•Flying in certian regions of space is unacceptable•Regulatory bodies must not overconstrain the air space•A pilot flying over restricted airspace risks the aircraft being shot down

Page 16: Soft Walls: Algorithms to Enforce Aviation Security

Objections• Reducing pilot control is dangerous

– reduces ability to respond to emergencies• There is no override

– pilots want a switch in the cockpit

Page 17: Soft Walls: Algorithms to Enforce Aviation Security

No override switch enables transit through here

•Terrain imposes “hard wall” constraints on airspace•Soft Walls impose more gentle contraints on airspace•Again, regulatory bodies should not overconstrain the airspace

Page 18: Soft Walls: Algorithms to Enforce Aviation Security

Objections• Reducing pilot control is dangerous

– reduces ability to respond to emergencies• There is no override

– pilots want a switch in the cockpit• Localization technology can fail

– GPS can be jammed

Page 19: Soft Walls: Algorithms to Enforce Aviation Security

Localization Backup• Radio beacons• Inertial navigation

– drift limits accuracy– affects the

geometry of no-fly zones

Page 20: Soft Walls: Algorithms to Enforce Aviation Security

Objections• Reducing pilot control is dangerous

– reduces ability to respond to emergencies• There is no override

– pilots want a switch in the cockpit• Localization technology can fail

– GPS can be jammed• Deployment could be costly

– Software certification? Retrofit older aircraft?

Page 21: Soft Walls: Algorithms to Enforce Aviation Security

Deployment• Fly-by-wire aircraft

– a software change– which is of course extremely costly

• Older aircraft– autopilot level?– Honeywell prototype?

• Phase in– prioritize airports

Page 22: Soft Walls: Algorithms to Enforce Aviation Security

Objections• Reducing pilot control is dangerous

– reduces ability to respond to emergencies• There is no override

– pilots want a switch in the cockpit• Localization technology could fail

– GPS can be jammed• Deployment could be costly

– how to retrofit older aircraft?• Complexity

– software certification

Page 23: Soft Walls: Algorithms to Enforce Aviation Security

Not As Complex as Air Traffic Control• Self-contained

avionics system (not multi-vehicle)

• Human factors is an issue:– pilot training?– air traffic

controller training?

Page 24: Soft Walls: Algorithms to Enforce Aviation Security

Objections• Reducing pilot control is dangerous

– reduces ability to respond to emergencies• There is no override

– pilots want a switch in the cockpit• Localization technology could fail

– GPS can be jammed• Deployment could be costly

– how to retrofit older aircraft?• Deployment could take too long

– software certification• Fully automatic flight control is possible

– throw a switch on the ground, take over plane

Page 25: Soft Walls: Algorithms to Enforce Aviation Security

Potential Problems with Ground Control

• Human-in-the-loop delay on the ground– authorization for takeover– delay recognizing the threat

• Security problem on the ground– hijacking from the ground?– takeover of entire fleet at once?

• Requires radio communication– hackable– jammable

Page 26: Soft Walls: Algorithms to Enforce Aviation Security

Relationship to Flight Envelope Protection• With flight envelope protection, the

limits on pilot-induced maneuvers are known

• Knowing these limits enables tighter tolerances, and hence tighter geometries for no-fly zones.

see http://softwalls.eecs.berkeley.edufor FAQ

Page 27: Soft Walls: Algorithms to Enforce Aviation Security

Here’s How It Works

Page 28: Soft Walls: Algorithms to Enforce Aviation Security

Safe Control Design

No-fly zone

Backwards reachable set

At some points, the pilot can fly into the no-fly zone even with Soft Walls bias

Can prevent aircraft from entering the backwards reachable set:

This set is avoidable

Page 29: Soft Walls: Algorithms to Enforce Aviation Security

Control Design Components• Make controller push aircraft away from

no-fly zone (easy)• Find avoidable set containing no-fly

zone (hard)• Apply control only when aircraft gets

near avoidable set

No-fly zone Avoidable Set

Page 30: Soft Walls: Algorithms to Enforce Aviation Security

Numerical Aproach(Mitchell, Tomlin, …)

No-fly zone Backwards Reachable Set

• Approximate the “optimal” backwards reachable set and corresponding controller numerically

• Store this information in a look-up table• Storage requirements are prohibitive

Page 31: Soft Walls: Algorithms to Enforce Aviation Security

Theorem [Computing ]:

where is the unique viscosity solution to:

The Backwards Reachable Set for the Stanford no-fly Ellipse

Page 32: Soft Walls: Algorithms to Enforce Aviation Security

Analytic Methods(Leitmann, Skowronski, …)

-2 -1.5 -1 -0.5 0 0.5 1 1.5 2

x 104

-2

-1.5

-1

-0.5

0

0.5

1

1.5

2x 10

4 MaliciousPilot

No-flyzonePilot always

turns into the no-fly zone

• Calculate a controller and avoidable set analytically

• This tends to give simple control laws• This is hard when the model is complex

Example

Page 33: Soft Walls: Algorithms to Enforce Aviation Security

The Research Goal• Find an easy-to-implement method

which:– Guarantees safety– Includes the corresponding avoidable set

Page 34: Soft Walls: Algorithms to Enforce Aviation Security

The Soft Walls Goal• Increase security of the airspace• Maintain as much pilot authority as

possible

Page 35: Soft Walls: Algorithms to Enforce Aviation Security

Acknowledgements• Ian Mitchell• Aaron Ames• George Pappas• Xiaojun Liu• Steve Neuendorffer• Claire Tomlin