AA278A: Supplement to Lecture Notes 10. Controller Synthesis for Hybrid Systems Claire J. Tomlin...
-
Upload
mervyn-clarke -
Category
Documents
-
view
220 -
download
2
Transcript of AA278A: Supplement to Lecture Notes 10. Controller Synthesis for Hybrid Systems Claire J. Tomlin...
![Page 1: AA278A: Supplement to Lecture Notes 10. Controller Synthesis for Hybrid Systems Claire J. Tomlin Department of Aeronautics and Astronautics Department.](https://reader031.fdocuments.net/reader031/viewer/2022032702/56649cc55503460f9498e1b6/html5/thumbnails/1.jpg)
AA278A: Supplement to Lecture Notes 10. Controller Synthesis for
Hybrid SystemsClaire J. Tomlin
Department of Aeronautics and AstronauticsDepartment of Electrical Engineering
Stanford University
AA278A Spring 2005
![Page 2: AA278A: Supplement to Lecture Notes 10. Controller Synthesis for Hybrid Systems Claire J. Tomlin Department of Aeronautics and Astronautics Department.](https://reader031.fdocuments.net/reader031/viewer/2022032702/56649cc55503460f9498e1b6/html5/thumbnails/2.jpg)
Computing Reach Sets for Hybrid Systems
1 2 3 K
modes
1
2
3
n
itera
tion
s
initial reach set
unsafe
![Page 3: AA278A: Supplement to Lecture Notes 10. Controller Synthesis for Hybrid Systems Claire J. Tomlin Department of Aeronautics and Astronautics Department.](https://reader031.fdocuments.net/reader031/viewer/2022032702/56649cc55503460f9498e1b6/html5/thumbnails/3.jpg)
Reach Sets: Initialize
1 2 3 K
modes
1
2
3
n
itera
tion
s
unsafeunsafe
safe
![Page 4: AA278A: Supplement to Lecture Notes 10. Controller Synthesis for Hybrid Systems Claire J. Tomlin Department of Aeronautics and Astronautics Department.](https://reader031.fdocuments.net/reader031/viewer/2022032702/56649cc55503460f9498e1b6/html5/thumbnails/4.jpg)
Reach Sets: uncontrollable predecessor
1 2 3 K
modes
1
2
3
n
itera
tion
s
uncontrolledtransition unsafe
“safe”
![Page 5: AA278A: Supplement to Lecture Notes 10. Controller Synthesis for Hybrid Systems Claire J. Tomlin Department of Aeronautics and Astronautics Department.](https://reader031.fdocuments.net/reader031/viewer/2022032702/56649cc55503460f9498e1b6/html5/thumbnails/5.jpg)
Reach Sets: controllable predecessor
1 2 3 K
modes
1
2
3
n
itera
tion
s
safe
controlled transition
“safe”
![Page 6: AA278A: Supplement to Lecture Notes 10. Controller Synthesis for Hybrid Systems Claire J. Tomlin Department of Aeronautics and Astronautics Department.](https://reader031.fdocuments.net/reader031/viewer/2022032702/56649cc55503460f9498e1b6/html5/thumbnails/6.jpg)
Reach Sets: Variational Inequality
1 2 3 K
modes
1
2
3
n
itera
tion
s
States which reach G without hitting E first:
where
subject to
![Page 7: AA278A: Supplement to Lecture Notes 10. Controller Synthesis for Hybrid Systems Claire J. Tomlin Department of Aeronautics and Astronautics Department.](https://reader031.fdocuments.net/reader031/viewer/2022032702/56649cc55503460f9498e1b6/html5/thumbnails/7.jpg)
Reach Sets: Iterate
1 2 3 K
modes
1
2
3
n
itera
tion
s
![Page 8: AA278A: Supplement to Lecture Notes 10. Controller Synthesis for Hybrid Systems Claire J. Tomlin Department of Aeronautics and Astronautics Department.](https://reader031.fdocuments.net/reader031/viewer/2022032702/56649cc55503460f9498e1b6/html5/thumbnails/8.jpg)
• In our problem, the evolution of is governed by:
• Boundary of region is defined implicitly by • is the distance from to the boundary at time • is negative inside region and positive outside
Create a level set function such that:
Propagating regions with level sets:
Numerical computation of reach sets
![Page 9: AA278A: Supplement to Lecture Notes 10. Controller Synthesis for Hybrid Systems Claire J. Tomlin Department of Aeronautics and Astronautics Department.](https://reader031.fdocuments.net/reader031/viewer/2022032702/56649cc55503460f9498e1b6/html5/thumbnails/9.jpg)
Numerical computation of reach sets
Level set methods:– Convergent numerical algorithms to compute viscosity solution – Non-oscillatory, high accuracy spatial derivative approximation– Stable, consistent numerical Hamiltonian– Variation diminishing, high order, explicit time integration
Example (2 player zero sum game):
x
y
5
uv
d
v
[http://www.cs.ubc.ca/~mitchell/ToolboxLS/index.html]
![Page 10: AA278A: Supplement to Lecture Notes 10. Controller Synthesis for Hybrid Systems Claire J. Tomlin Department of Aeronautics and Astronautics Department.](https://reader031.fdocuments.net/reader031/viewer/2022032702/56649cc55503460f9498e1b6/html5/thumbnails/10.jpg)
Collision Avoidance Control
[Mitchell, Tomlin ‘01]
![Page 11: AA278A: Supplement to Lecture Notes 10. Controller Synthesis for Hybrid Systems Claire J. Tomlin Department of Aeronautics and Astronautics Department.](https://reader031.fdocuments.net/reader031/viewer/2022032702/56649cc55503460f9498e1b6/html5/thumbnails/11.jpg)
Aircraft must stay within safe flight envelope during landing:– Bounds on velocity ( ), flight path angle (), height ( )– Control over engine thrust ( ), angle of attack (), flap settings– Model flap settings as discrete modes of hybrid automata– Terms in continuous dynamics may depend on flap setting
Example: Aircraft Autolander
inertial frame
wind frame
body frame
[Mitchell, Bayen, Tomlin ’01]
![Page 12: AA278A: Supplement to Lecture Notes 10. Controller Synthesis for Hybrid Systems Claire J. Tomlin Department of Aeronautics and Astronautics Department.](https://reader031.fdocuments.net/reader031/viewer/2022032702/56649cc55503460f9498e1b6/html5/thumbnails/12.jpg)
Landing Example: No Mode SwitchesE
nve
lop
es
Sa
fe s
ets
![Page 13: AA278A: Supplement to Lecture Notes 10. Controller Synthesis for Hybrid Systems Claire J. Tomlin Department of Aeronautics and Astronautics Department.](https://reader031.fdocuments.net/reader031/viewer/2022032702/56649cc55503460f9498e1b6/html5/thumbnails/13.jpg)
Landing Example: Mode SwitchesE
nve
lop
es
Sa
fe s
ets
![Page 14: AA278A: Supplement to Lecture Notes 10. Controller Synthesis for Hybrid Systems Claire J. Tomlin Department of Aeronautics and Astronautics Department.](https://reader031.fdocuments.net/reader031/viewer/2022032702/56649cc55503460f9498e1b6/html5/thumbnails/14.jpg)
Landing Example: Synthesizing Control
For states at the boundary of the safe set, results of reach-avoid computation determine– What continuous inputs (if any) maintain safety– What discrete jumps (if any) are safe to perform– Level set values and gradients provide all relevant data
![Page 15: AA278A: Supplement to Lecture Notes 10. Controller Synthesis for Hybrid Systems Claire J. Tomlin Department of Aeronautics and Astronautics Department.](https://reader031.fdocuments.net/reader031/viewer/2022032702/56649cc55503460f9498e1b6/html5/thumbnails/15.jpg)
Application to Autoland Interface• Controllable flight envelopes for landing and Take Off / Go
Around (TOGA) maneuvers may not be the same• Pilot’s cockpit display may not contain sufficient information to
distinguish whether TOGA can be initiated
flareflaps extendedminimum thrust
rolloutflaps extendedreverse thrust
slow TOGAflaps extended
maximum thrust
TOGAflaps retracted
maximum thrust
flareflaps extendedminimum thrust
rolloutflaps extendedreverse thrust
TOGAflaps retracted
maximum thrust
revised interface
existing interface
controllable flare envelope
controllable TOGA envelopeintersection
![Page 16: AA278A: Supplement to Lecture Notes 10. Controller Synthesis for Hybrid Systems Claire J. Tomlin Department of Aeronautics and Astronautics Department.](https://reader031.fdocuments.net/reader031/viewer/2022032702/56649cc55503460f9498e1b6/html5/thumbnails/16.jpg)
Aircraft Simulator Tests• Setup
– Commercial flight simulator, B767 pilot– Digital video of primary flight display
• Maneuver– Go-around at low speed, high descent rate
• Goal– Determine whether problematic behavior predicted by our
model is possible in aircraft flight simulator
(movie)
![Page 17: AA278A: Supplement to Lecture Notes 10. Controller Synthesis for Hybrid Systems Claire J. Tomlin Department of Aeronautics and Astronautics Department.](https://reader031.fdocuments.net/reader031/viewer/2022032702/56649cc55503460f9498e1b6/html5/thumbnails/17.jpg)
Aircraft Simulator Results
Produced unexpected behaviorNon-standard procedure; Unable to duplicate
Validated types of problems addressed by this method
![Page 18: AA278A: Supplement to Lecture Notes 10. Controller Synthesis for Hybrid Systems Claire J. Tomlin Department of Aeronautics and Astronautics Department.](https://reader031.fdocuments.net/reader031/viewer/2022032702/56649cc55503460f9498e1b6/html5/thumbnails/18.jpg)
San Mateo Bridge
San Francisco Airport750 ft separation
CSPA to SFO video
Restrictions in Instrument Meteorological Conditions (IMC)
Example: Closely Spaced Parallel Approaches
![Page 19: AA278A: Supplement to Lecture Notes 10. Controller Synthesis for Hybrid Systems Claire J. Tomlin Department of Aeronautics and Astronautics Department.](https://reader031.fdocuments.net/reader031/viewer/2022032702/56649cc55503460f9498e1b6/html5/thumbnails/19.jpg)
Three emergency escape maneuvers (EEMs):1. Evader accelerates straight ahead 2. Evader accelerates, turns to the right 45 deg3. Evader turns to the right 60 deg
evader
Example: Closely Spaced Parallel Approaches
![Page 20: AA278A: Supplement to Lecture Notes 10. Controller Synthesis for Hybrid Systems Claire J. Tomlin Department of Aeronautics and Astronautics Department.](https://reader031.fdocuments.net/reader031/viewer/2022032702/56649cc55503460f9498e1b6/html5/thumbnails/20.jpg)
Dragonfly 3Dragonfly 2
Ground Station
Tested on the Stanford DragonFly UAVs
[Jang, Teo, Tomlin]
![Page 21: AA278A: Supplement to Lecture Notes 10. Controller Synthesis for Hybrid Systems Claire J. Tomlin Department of Aeronautics and Astronautics Department.](https://reader031.fdocuments.net/reader031/viewer/2022032702/56649cc55503460f9498e1b6/html5/thumbnails/21.jpg)
EEM alert
Sep
arat
ion
dist
anc
e (m
)N
orth
(m
)
East (m)
time (s)
Above threshold
Accelerate and turn EEM
Put video here
Evader, DF 2 (red and yellow aircraft)
DF 2, the evader, is the larger blob
Flight Demo 1 -- Sept 2003
![Page 22: AA278A: Supplement to Lecture Notes 10. Controller Synthesis for Hybrid Systems Claire J. Tomlin Department of Aeronautics and Astronautics Department.](https://reader031.fdocuments.net/reader031/viewer/2022032702/56649cc55503460f9498e1b6/html5/thumbnails/22.jpg)
EEM alert
Sep
arat
ion
dist
anc
e (m
)N
orth
(m
)
East (m)
time (s)
Above threshold
Put video here
Coast and turn EEM
Evader, DF 2 (red and yellow aircraft)
DF 2, the evader, is the larger blobFlight Demo 2 – Sept 2003