URL Address

Controls Primer
Fall 2001
Objectives
y Provide familiarity of the basic concepts in feedback control
y Survey tools in Lyapunov and optimization-based control
Proposed Schedule
4 Sep
Overview of feedback control
11 Sep
Introduction to state space control and feedback
18 Sep
Lyapunov stability and control
25 Sep
Lyapunov, continued
Richard
Raff
Lars
Lars
Tue
10 am
PDT
2 Oct
9 Oct
16 Oct
12 Oct
Reza
Reza
Bill
Bill
TBD
Optimal control theory
Optimal, continued
Model predictive control
MPC, continued
http://www.cds.caltech.edu/~murray/courses/primer-fa01
Lecture #1
Overview of Feedback Control
Goals
y Provide engineering context for “active control technology”, through examples
y Survey some of the standard approaches and tools for feedback control
y Describe some of the future directions for the field
Lecture Outline
1. What is Control?
2. Basic Concepts in Feedback Control
3. Application Examples
y Automotive Control
y Flight Control
4. Future Directions
Reference: Report of the Panel
On Future Directions in Control,
Dynamics and Systems, 2001
http://www.cds.caltech.edu/
~murray/cdspanel
What is Control?
Controls Primer, 4 Sep 01
Richard Murray, Caltech
3
Types of Control
Passive Control
• Make structural modifications to change the plant dynamics
• Use this technique whenever it is a viable option: cheap, robust
Open Loop Control
• Exploit knowledge of system dynamics to compute appropriate inputs
• Requires very accurate model of plant dynamics in order to work well
Active (Feedback) Control
• Use sensors and actuators connected by a computer to modify dynamics
• Allows uncertainty and noise to be taken into account
Controls Primer, 4 Sep 01
Richard Murray, Caltech
4
Early Uses of Feedback
Pre-1700
• Water clock (~300 BC, Alexandria), float valves
• Egg incubator (Drebbel, 1620) - control temperature
Watt Governor (1788)
• Regulate speed of steam engine
• Reduce effects of variations in load
(disturbance rejection)
Balls fly out as speed
increases, closing valve
Feedback Amplifiers (1920s)
• Laid mathematical foundations for
classical control
• Use feedback to reduce uncertainty
(robustness)
Controls Primer, 4 Sep 01
Richard Murray, Caltech
5
Modern Application Areas
Flight Control Systems
y Modern commercial and military
aircraft are “fly by wire”
y Autoland systems, unmanned aerial
vehicles (UAVs) are already in
place
Robotics
y High accuracy positioning for
flexible manufacturing
y Remote environments: space, sea,
non-invasive surgery, etc.
Chemical Process Control
y Regulation of flow rates,
temperature, concentrations, etc.
y Long time scales, but only crude
models of process
Heating Ventilation and Air
Conditioning (HVAC)
y Basic thermostatic controls to
building level systems
y Very distributed system with many
local control loops
Automotive
y Engine control, transmission control
, cruise control, climate control, etc
y Luxury sedans: 12 control
instruments in 1976, 42 in 1988, 67
in 1991
AND MANY MORE...
Controls Primer, 4 Sep 01
Richard Murray, Caltech
6
Emerging Application Areas
Materials Processing
y Rapid thermal processing for
increased throughput
y Control of vapor deposition for
special purpose materials (e.g.
YPCO thin films)
Noise and Vibration Control
y Active mounts and speaker systems
for noise and vibration reduction
y Variety of applications: cars, planes,
HVAC
Intelligent Vehicle Highway Systems
y Platooning of cars for high speed,
high density travel on freeways
y PATH project in California is
already in test near San Diego
Controls Primer, 4 Sep 01
Smart Engines
y Compression systems: stall, surge,
flutter control for increased
operability
y Combustion systems: operation at
leaner air/fuel ratios for low
emissions
Unsteady
Pressure
Sensing
System
Stall Precursor, ...
Control
Algorithm
PW4000
Engine
Richard Murray, Caltech
Dynamic
Bleed
Actuation
System
7
Technology Trends Affecting Active Control
Computation/microprocessors
y Early controllers used analog
computation Þ only simple algorithms
were possible
y Development of microprocessor in
1970s opened the door to control
applications
y Virtually all modern active control
loops use microprocessors ⇒ rapid
progress
Sensors and Actuators
y Sensors are getting cheaper, faster,
smaller
y Macro-scale actuation evolves slowly;
power electronics getting cheaper
y Micro-scale actuation is changing
rapidly
Communications and Networking
y Increased use of sensing and actuation
across networks
y Examples: IVHS, ATC, UAVs
8
Basic Concepts in Feedback Control
Controls Primer, 4 Sep 01
Richard Murray, Caltech
9
Active Control = Sensing + Computation + Actuation
Actuate
Sense
Gas Pedal
Vehicle Speed
Compute
Control Action
Goals: Stability, Performance, Robustness
Controls Primer, 4 Sep 01
Richard Murray, Caltech
10
Benefits of Feedback:
Disturbance Rejection & Robustness
disturbance
+
reference
mv = −bv + uengine + uwind
uengine = k(vdes − v)
velocity
vdes
k
1
vss =
vdes +
uwind
b+ k
b+ k
→ 1 as
k →∞
→ 0 as
k →∞
time
Controls Primer, 4 Sep 01
-
Control
+
System
Stability/performance
y Steady state velocity approaches
desired velocity as k → ∞
y Smooth response; no overshoot or
oscillations
Disturbance rejection
y Effect of disturbances (wind)
approaches zero as k → ∞
Robustness
y None of these results depend on the
specific values of b, m, or k for k
sufficiently large
Richard Murray, Caltech
11
Modern Control System Components
noise
noise
external disturbances
Actuators
System
Output
Sensors
Plant
D/A
Computer
A/D
Controller
Operator input
Plant
Controller
Feedback
Controls Primer, 4 Sep 01
Physical system, actuation, sensing
Microprocessor plus conversion hardware (single chip)
Interconnection between plant output, controller input
Richard Murray, Caltech
12
Active Control Methodologies
Black box methods
Model-based methods
y Basic idea: Learn by
observation or training
y Examples:
- Auto-tuning
regulators
- Adaptive neural nets
- Fuzzy logic
y Use a detailed model
(PDEs, ODEs) for
analysis/design
y Examples:
- Optimal regulators
- H∞ control
- Feedback linearization
Advantages:
y No need for complex modeling or
detailed understanding of physics
y Works well for controllers replacing
human experts
Disadvantages:
y No formal tools for investigating
robustness and performance
y Don’t work well for high performance
systems with complicated dynamics
Controls Primer, 4 Sep 01
Advantages:
y Works well for highly coupled,
multivariable systems
y Rigorous tools for investigating robustness
and performance (using models)
Disadvantages:
y Tools available only for restricted class of
systems (e.g., linear, time-invariant)
y Requires control-oriented physical models;
these are not always easy to obtain
Richard Murray, Caltech
13
Control Using Fuzzy Logic
Fuzzy logic allows:
Basic idea: write control actions
as fuzzy logic rules:
Standard logic:
If T < 68º then
turn heater on
Fuzzification
NL NS ZR PS PL
Fuzzy logic:
If very cold then
more heat
Inference
Engine
• Easy specification of
control actions as rules
• Partially conflicting rules
• Smoothing of control
actions
Defuzzification
ZR PS
Sensor
Actuator
Rules
Controller
Controls Primer, 4 Sep 01
Richard Murray, Caltech
14
Example: Fuzzy Control of an Inverted Pendulum
y Basic control structure unchanged:
sense, compute, actuate
y Use simple (and overlapping) rules
to specify control action
y Gives satisfactory performance with
very simple control specification
Source: Yamakawa, Fuzzy Sets and Systems, 1989
Controls Primer, 4 Sep 01
Richard Murray, Caltech
15
Additional Applications of Fuzzy Logic
Pilotless, voice-controlled helicopter (Sugeno)
y System in operation since 1992
y Responds to “hover”, “forward”, “left”, etc
y Motivated by automated crop dusting
Elevator scheduling (Kim et al)
y Simulated 3 car system; multiple scenarios
y Improvement over “conventional” algorithm
à 9% decrease in avg waiting time
à 20% decrease in long waiting periods
à 4% decrease in power consumption
Controls Primer, 4 Sep 01
Other applications
y Sendai railway systems (1987)
y Autofocus cameras (Panasonic)
y Air conditioning (Mitsubishi)
Common features that fuzzy exploits
y Feedback able to improve performance
y Lack of high-fidelity, control oriented
models
y Good human expertise available
y Relatively low performance requirements
(non-catastrophic failure modes)
Richard Murray, Caltech
16
Control using Artificial Neural Networks
Basic idea: encode controller logic
using neural network architecture
• Train weights based on learning,
inputs
gradient search ,etc
• Controller “figures out” proper inputs
to get desired response
Σ
summing
junction
output
sigmoid
weights
Sensor
Actuator
Sensor
Controls Primer, 4 Sep 01
Controller
Advantages:
• Does not require explicit model of
plant; learns from observing
• Structure allows complex,
nonlinear control actions
Disadvantages:
• Can require long training periods
• Applications appear limited
compared to other methods
Richard Murray, Caltech
17
Model-Based Control
Classical control
1940
y Frequency domain based tools; stability via gain and phase margins
y Mainly useful for single-input, single output (SISO) systems
y Still one of the main tools for the practicing engineer
Modern control
1960
y “State space” approach to linear control theory
y Works for SISO and multi-input, multi-output (MIMO) systems
y Performance and robustness measures are often not made explicit
1970
Optimal control
y Find the input that minimizes some objective function (e.g., fuel, time)
y Can be used for open loop or closed loop control (min-time, LQG)
Robust control
1980
y Generalizes ideas in classical control to MIMO context
y Uses operator theory at its core, but can be easily interpreted in
frequency domain
Nonlinear control, adaptive control, hybrid control ...
Controls Primer, 4 Sep 01
Richard Murray, Caltech
18
Representations of Systems
Ordinary Differential Equations
x = f ( x,u)
y = h( x, u)
Block diagrams (Operators)
u(t)
y(t)
P
x
Linearization
around x0=0
x = Ax +Bu
y = Cx +Du
Laplace transform
Linearization
around x0 =0
u(s)
P(s)
y(s)
a n −1 s n −1+
+ a0
P ( s) = n
s + bn −1 s n −1 +
+ b0
Controls Primer, 4 Sep 01
Richard Murray, Caltech
19
Stability and Robustness
Stability: bounded inputs produce bounded outputs
y Necessary and sufficient condition: check for
nonzero solutions around feedback loop
y Basic problem: positive feedback (internal or
external)
Robustness: stability in the presence of unknown
dynamics
y Check for stability in presence of uncertainty
y Need to check stability for set of systems
y “Small gain theorem” gives tight conditions based on
bounds of uncertainty operator
P
K
∆
P
K
No uncertainty ⇒ No need for control
Controls Primer, 4 Sep 01
Richard Murray, Caltech
20
Modeling Uncertainty
Noise and disturbances
y Model the amount of noise by its signal strength in different frequency bands
y Can model signal strength by peak amplitude, average energy, and other
norms
y Typical example: Dryden gust models (filtered white noise)
Parametric uncertainty
y Unknown parameters or parameters that vary from plant to plant
y Typically specified as tolerances on the basic parameters that describe system
Unmodeled dynamics
y High frequency dynamics (modes, etc) can be excited by control loops
y Use bounded operators to account for effects of unmodelled modes:
Additive uncertainty
∆
P
Controls Primer, 4 Sep 01
Multiplicative uncertainty
∆
Feedback uncertainty
P
P
Richard Murray, Caltech
∆
21
Robust Performance
∆
d
W2
P
W1
z
K
d
disturbance signal
z
output signal
∆
uncertainty block
W2
performance weight
W2
uncertainty weight
Goal: guaranteed performance in presence of uncertainty
z 2 ≤ γ d 2 for all ∆ ≤ 1
y Compare energy in disturbances to energy in outputs
y Use frequency weights to change performance/uncertainty descriptions
y “Can I get X level of performance even with Y level of uncertainty?”
Controls Primer, 4 Sep 01
Richard Murray, Caltech
22
Tools for Analyzing and Synthesizing Controllers
(Post-) Modern Control Theory
y Generalizes gain/phase margin to MIMO systems
y Uses operator theory to handle uncertainty, performance
∆
y Uses state space theory to performance computations (LMIs)
Analysis Tools
P
y H gains for multi-input, multi-output systems
∞
K
y µ analysis software
à Allow structured uncertainty descriptions (fairly general)
à Computes upper and lower bounds on performance
à Wide usage in aerospace industry
Synthesis Tools
y LQR/LQG + H∞ “loop shaping”; modern tools for control engineers
y µ synthesis software; tends to generate high order controllers
y Model reduction software for reducing order of plants, controllers
Controls Primer, 4 Sep 01
Richard Murray, Caltech
23
Achilles Heel: Effects of Time Delay on Performance
Control
Control
Vehicle
Delay
Sensor
1.4
1
Second order system
ms^2 + bs = u
Lead compensation
m = 1000 kg
b = 100 N-sec/m
0.4
0.2
0 0
0.05 0.1
0.15
0.2
0.25 0.3
Amplitude
Amplitude
1.2
0.6
Sensor
Step Response
Step Response
0.8
Vehicle
2
1.8
1.6
1.4
1.2
1
0.8
0.6
0.4
0.2
0
Original
1 msec delay
0
Time (sec.)
0.05 0.1
0.15 0.2
0.25 0.3
Time (sec.)
Communications delays and uncertainty can have a major effect on high
performance systems
Controls Primer, 4 Sep 01
Richard Murray, Caltech
24
Application Examples
Smart cars and intelligent highways
Flight Control
Controls Primer, 4 Sep 01
Richard Murray, Caltech
25
Feedback Control in Automobiles
Air bags
Temperature control
EGR control
Electronic fuel injection
Electronic ignition
Active
suspension
Electric power
steering (PAS)
Electronic transmission
Cruise control
Anti-lock brakes
1950
1960
1970
1980
ABS (Bosch)
Electronic
ignition
Cruise
control
Controls Primer, 4 Sep 01
EGR
EFI
i4004
Muskie laws
1990
ABS
PAS
Air bags
Active
suspension
Richard Murray, Caltech
Navigation
systems
2000
Traction control
Heads-up displays
4W steering
Obstacle avoidance
26
Engine Control
Reliance on active control is increasing
y Increasingly strict emissions and fuel
efficiency requirements
y Continued Improvements in sensing,
actuation, electronics, microprocessors
y Main bottlenecks are uncertainty,
complexity, and sensing capability
y Integration of control functions
becoming more difficult due to
increased reliance on outside suppliers
Engine control electronics
50
40
Functions
30
20
Actuators
10
Sensors
0
1980
1983
1986
1989
1992
1995
1998
Year
Source: Barron & Powers, IEEE/ASME T. Mechatronics, Mar 96
Controls Primer, 4 Sep 01
Richard Murray, Caltech
27
Trends and Lessons in Automotive Control
Advances often driven by gov’t
regulations
y Muskie laws (1970) for emissions
y Restraint laws in 1980s → air bags
y CAFE → electric power steering
systems
Electronics + control provided solution
y Feedback was needed to get reliable
performance in multiple operating
conditions, with variations in parts
Strict reliability and cost requirements
y Control solutions must show
demonstrated benefit and have low cost
y Reliability has improved steadily in
past 20 years
These issues are common to many
emerging applications areas that
make use of active control technology
Additional benefits
y Increasing use of controls for nonregulated functions
à Anti-lock brakes
à Active suspension
y Increased sensing allows improved
diagnostics and prognostics (not
used?)
Emerging Trends
y Networking: car is no longer an
isolated
à Security systems: lo-jack, etc
à GPS-based navigation
à Diagnostics? IVHS?
y Distributed control
à Increased reliance on suppliers
for (smart) components
à Presents integration challenges
29
Intelligent Vehicle Highway Systems (IVHS)
Weigh-in-Motion
Inductive Loop
Detector
Vehicle -- Platoon leader
Vehicle -- Platoon Member
Electronic
Toll Collection
Vehicle -- Free Agent
Roadside
Beacon
Variable
Message Signs
Ramp
Meetering
Video Camera
Traffic Management
Center (TMC)
Arterial
Roadway Control
AHS
Entry Screening
Highway
Advisory Radio
Use Feedback Control to Regulate and Optimize Traffic Control
Controls Primer, 4 Sep 01
Richard Murray, Caltech
30
High Confidence, Reconfigurable,
Distributed Control
(Hickey, Murray, Chandy, Doyle)
Optimization-Based Control
• Real-time model predictive
control for online control
customization: theory +
software
• Online implementation on
Caltech Ducted Fan
Software Environments
• Logical programming
environments for embedded
control systems design
• “On-the-fly”, correct by
construction techniques
Multi-Vehicle Testbed
• Implementation on multivehicle, wireless testbed
using Open Control Platform
• Bluetooth-based point to
point communications with
ad-hoc networking
Output: Framework and Prototype Environment
for Robust, Software Enabled Control Systems
Overview: Optimization-Based Control
Nonlinear design
• global nonlinearities
• input saturation
• state space constraints
ref
Trajectory
Generation
Op Maps
Local design
∆
ud
Plant
P
noise
xd
δu
NTG
output
Local
Control
MPC+CLF
y Use real-time trajectory generation to construct (suboptimal) feasible trajectories
y Use model predictive control for reconfigurable tracking & robust performance
y Extension to multi-vehicle systems performing cooperative tasks (ongoing)
Controls Primer, 4 Sep 01
Richard Murray, Caltech
33
Overview: Optimization-Based Control
T
∆T
u[t ,t +∆T ] = arg min ∫
t +T
t
L( x(τ ), u (τ )) dτ + V ( x(t + T ))
x0 = x(t ) x f = xd (t + T )
x = f ( x, u ) g ( x, u ) ≤ 0
Online control customization
y System: f(x,u)
y Constraints/environment: g(x,u)
y Misssion: L(x,u)
Controls Primer, 4 Sep 01
Update in real-time to achieve
reconfigurable operation
Richard Murray, Caltech
34
Theory: MPC + CLF Approach
T
J T* ( x0 ) = min ∫ q ( x(τ ), u (τ )) dτ + V ( x(T ))
u (⋅)
0
Finite horizon
CLF
≈ “cost to go”
inf (V + q)(x,u) ≤ 0
u
Basic Idea
y Use online models to compute receding horizon optimal control
y CLF-based terminal cost gives stability + short time horizons
Properties
y Can prove stability (in absence of constraints)
y Incremental improvement property ⇒ finite iterations OK
y Increased horizon ⇒ larger region of attraction
Controls Primer, 4 Sep 01
Richard Murray, Caltech
35
Real-Time Trajectory Generation / Optimization
x = f ( x, u )
Ducted Fan Terrain Avoidance
Collocation
( x, u ) = ∑ α iψ i (t )
x(ti ) = f ( x(ti ), u (ti ))
Flatness
z = z ( x, u , u , … , u ( p ) )
x = x( z , z ,…, z ( q ) )
u = u ( z, z,…, z ( q ) )
z = ∑ α iψ i (t )
Quasi-collocation
y = h( x )
( x, u ) = Γ ( y , y , … , y ( q ) )
0 = Φ ( y, y,…, y ( p ) )
Controls Primer, 4 Sep 01
Richard Murray, Caltech
36
Experimental Results: Caltech Ducted Fan
NTG +
MPC +
CLF
Pitch
Control
dSPACE
RTOS
Controls Primer, 4 Sep 01
Richard Murray, Caltech
37
Multi-Vehicle Optimization-Based Control
Assume we have real-time, finite horizon optimal control as a primitive
u[t ,t +∆T ] = arg min ∫
t +T
t
L( x, u )dt + V ( x(t + T ))
Choose f, g, L to represent the
coupling between the various
subsystems
x0 = x(t ) x f = xd (t + T )
x = f ( x, u ) g ( x, u ) ≤ 0
Cooperation depends on how we model “rest of the world”
q1 = 0
u1 ≤ L
u2,[t ,t +∆T ] = arg min ∫
t +T
t
L(q1, x2 , q3 , u2 )dt + V
x2 = f ( x2 , u2 ) g ( x2 , u2 ) ≤ 0
q3 = 0
u3 ≤ L
Reconfigurable based on condition, mission, environment
Controls Primer, 4 Sep 01
Richard Murray, Caltech
38
Simulation Example: Formation Flight
Global MPC + CLF
Local MPC + CLF
• Assume neighbors follow
straight lines
Task:
y Maintain equal
spacing of vehicles
around circle
y Follow desired
trajectory for
center of mass
Parameters:
y Horizon: 2 sec
y Update: 0.5 sec
y High damping
Controls Primer, 4 Sep 01
Richard Murray, Caltech
39
Multi-Vehicle Wireless Testbed for Integrated Control,
Communications and Computation
(Hickey, Low, Murray, Doyle, Effros + 8 undergrads)
Hub
Comms
Computing
Propulsion
Testbed features
y Distributed computation on individual vehicles + command
and control console
y Point to point, ad-hoc networking (bluetooth) + local area
networking (802.11)
y Cooperative control in dynamic, uncertain, and adversarial
environments
Controls Primer, 4 Sep 01
Richard Murray, Caltech
40
RoboCup Video (Raff D’Andrea [Cornell], CIT `96)
Controls Primer, 4 Sep 01
Richard Murray, Caltech
41
Summary
Actuate
Sense
Compute
Feedback enables performance in the presence of uncertainty
y Uncertainty management requires clever and appropriate use of feedback
y Model-based control and black box controllers can both enhance performance
Rapid improvements in sensing, computation, communication drives control
y All of these are becoming cheaper and more ubiquitous; networking will have a
large impact on control, diagnostics, prognostics, maintainence, etc
y Actuation still remains a bottleneck; control configured design is key
Controls Primer, 4 Sep 01
Richard Murray, Caltech
42
Future Directions
Controls Primer, 4 Sep 01
Richard Murray, Caltech
43
Future Directions in
Control, Dynamics,
and Systems
Panel on Future Directions in
Control, Dynamics, and
Systems
Richard M. Murray (chair)
Caltech
Outline
• Review of Panel Activities
• Overview of Panel Report
• Next Steps & Timeline
http://www.cds.caltech.edu/~murray/cdspanel
Controls Primer, 4 Sep 01
Richard Murray, Caltech
44
Motivation for the Panel
Articulate the challenges and opportunities for the field
y Present a vision that can be used to inform high level decision makers
of the importance of the field to future technological advances
y Identify possible changes in the way that research is funded and
organized that may be needed to realize new opportunities
y Provide a compelling view of the field that continues to attract the
brightest scientists, engineers, and mathematicians to the field
Respond to the changing nature of control, dynamics, and systems
research
y Many new application areas where controls tools are playing a stronger
role: biology, environment, materials, information, networks, …
y Controls engineers taking on a much broader, systems-oriented role,
while maintaining a rigorous approach and practical toolset
Controls Primer, 4 Sep 01
Richard Murray, Caltech
45
Panel Composition
Karl Astrom
Lund Institute
of Technology
Siva Banda
Air Force
Research Lab
Stephen
Boyd
Stanford
Roger
Brockett
Harvard
John Burns
Virginia Tech
Munther
Dahleh
MIT
John Doyle
Caltech
John
Guckenheimer
Cornell
Charles
Holland
DDR&E
Pramod
Khargonekar
U. Michigan
Jerrold
Marsden
Caltech
Greg
McRae
MIT
George Meyer
NASA Ames
Gunter Stein
Honeywell
Pravin
Varaiya
UC
Berkeley
P. S.
P. R. Kumar
Krishnaprasad U. Illinois,
U. Maryland
ChampagneUrbana
Richard
Murray
Caltech
Controls Primer, 4 Sep 01
William
Powers
Ford
Richard Murray, Caltech
46
Panel Activities
Panel Meeting: 16-17 June 00
y 47 attendees representing academia,
industry, government
y Subpanels in 5 application areas
y Basis for report findings
Writing Committee Meetings
y Boyd, Brockett, Burns, Dahleh,
Doyle, Laub, Murray, Stein
y Meetings in Oct 00, Mar 01
y Generated outline + drafts
Panel Presentations
y AFOSR Contractors Meeting, 8/00
y Gov’t Program Managers, 2/01
y DARPA UAV workshop, 3/01
y IFAC NOLCOS, 6/01
Controls Primer, 4 Sep 01
Announcements
y Control Systems Magazine, 6/00
y Systems and Control E-Letter, 6/00
y Systems and Control E-Letter, 9/00
Communication
y CDS Panel web site
à Draft copies of report
à Links to related activities/reports
y Mailing list (150+ people)
y Bulletin board
Linkages
y European Commission Workshop,
6/00
Richard Murray, Caltech
47
Control in an Information Rich World
Report of the Panel on Future Directions in Control, Dynamics, and Systems
(v2.0, 27 Jul 01)
1. Executive Summary (5 pages)
y What is Feedback Control?
y Why Does it Matter?
y Control Will Be Even More
Important in the Future
y …But It Won’t Be Easy
y What Needs to be Done
2. Overview (20 pages)
y What is Control?
y Control System Examples
y The Shift to Information-Based
Systems
y Opportunities and Challenges Now
Facing Us
Controls Primer, 4 Sep 01
3. Applications, Opportunities and
Challenges (30-40 pages)
y Aerospace and Transportation
y Information and Networks
y Robotics and Intelligent Machines
y Biology and Medicine*
y Materials and Processing*
y Other Applications
à Environment*
à Finance and Economics*
4. Education and Outreach* (10 pages)
5. Recommendations (5 pages)
Richard Murray, Caltech
48
Aerospace and Transportation
(DARPA Software Enabled Control Program, H. Gill)
Controls Primer, 4 Sep 01
Richard Murray, Caltech
49
Information and Networks
Pervasive, ubiquitous, convergent networking
y Heterogeneous networks merging
communications, computing, transportation,
finance, utilities, manufacturing, health,
consumer, entertainment, ...
y Robustness and reliability are the dominant
challenges
y Need “unified field theory” of
communications, computing, and control
Many applications
y Congestion control on the internet
y Power and transportation systems
y Financial and economic systems
y Quantum networks and computation
y Biological regulatory networks and evolution
y Ecosystems and global change
Controls Primer, 4 Sep 01
Richard Murray, Caltech
50
Materials and Processing
Question: can control be used to modify
surface morphology?
y Use unsteady processing conditions
and in situ diagnostics to alter growth
y Provide more structured approach
than existing techniques
y Can also be used to understand
actuation of domain walls
Controls Primer, 4 Sep 01
Challenges
y Sensing of relevant characteristics
à Nucleation events
à Grain boundary features
à Surface roughness
y Coupling between macro-scale
actuation and micro-scale physics
y Models suitable for controllability
analysis and control design
Richard Murray, Caltech
51
Biology and Medicine
“Systems Biology”
y Many molecular mechanisms for biological organisms are
characterized
y Missing piece: understanding of how network
interconnection creates robust behavior from uncertain
components in an uncertain environment
y Transition from organisms as genes, to organisms as
networks of integrated chemical, electrical, fluid, and
structural elements
Key features of biological systems
y Integrated control, communications, computing
y Reconfigurable, distributed control, built at molecular level
Design and analysis of biological systems
y Apply engineering principles to biological systems
y Systems level analysis is required
y Processing and flow information is key
Controls Primer, 4 Sep 01
Richard Murray, Caltech
52
Software Control Theory
2001 ISAT Study on Vigilant High Confidence Systems
Goal: Info systems you can bet the country on
Approach: VIGILANCE via “software control theory”
Why now?
y Network-centric systems are enablers in military and
commercial applications
y BUT, current approaches are inadequate
y Need new approach to robust info systems
Protected
Component
Sensors
Actors
Coordinators
Why will it work?
y Real-time monitoring, model checking now feasible
y New ideas in pervasive control, stream checking
y Preliminary investment: OASIS, DASADA, FTN, AT&T...
Select
Component
Model
S1
Controls Primer, 4 Sep 01
Richard Murray, Caltech
S2
S3
53
Example: Feedback Control for Distributed Sorting
Distributed sorting is a necessary
operation in many missions
y Example: target prioritization
across multiple platforms
y Current approaches: voting,
consensus, deconfliction
Question: can we use vigilance to
provide robust operation?
Controls Primer, 4 Sep 01
Richard Murray, Caltech
54
Feedback Algorithm for Target Prioritization
Approach: Interconnect individual modules to get fast, robust, distributed
sorting
y Stability: bounded computational time in each node + finite time convergence
y Robustness: algorithm converges, even if processor fails or node is hacked
y Performance: sort time is optimal with respect to stationary cycle time
distribution
y Robust performance: algorithm converges quickly even in worst case (eg,
hacked node exploiting feedback structure)
Sort1
Select
Track IDs
Sort2
Prioritized
Targets
Sort3
Feedback
Controls Primer, 4 Sep 01
Richard Murray, Caltech
55
Integrating Feedback into Algorithms
Question: how do we compute in face of uncertainty?
y Distributed algorithm with component failure, data corruption possible
y Variable CPU time available on each processor, due to other tasks
y One or more processors might be taken over by adversary
y Require high performance (fast, accurate, dynamically balanced)
cycles
Input list 1
Input list 2
Input list 3
select
source
confidence
source
eval
Controls Primer, 4 Sep 01
list
partial
iter
sort
K
∫
Answer: robustness through
feedback
output list
y Dynamic load balancing
time
by modulating iterations
remaining
in partial sort
y Robustness to software
failures and data
corruption by source
Feedback
selection and feedback
y Requires accurate sensors
Sort
i
Richard Murray, Caltech
56
Fast Select:
New Tools in Program and Stream Checking
I
Program
I1
:
Ik
O
Ok
:
O1
Checker
0100101101010110
Very
small
memory,
cycles
Processor
Memory
Controls Primer, 4 Sep 01
Program checking by comparing
input/output streams gives confidence levels
y New results give O(log(n)) check of
approximate correctness (1-ε sorting)
y Ideas fit well with control approach:
provide “sort” metric
Stream checking for rapid assessment and
selection of output
y Use to quickly determine closeness of
streams
y Provides fast computation of L1 distance
with O(log(n)) memory usage
New results provide ideas for
fast and accurate sensors that
can be used for feedback
Richard Murray, Caltech
57
Upgrade and Repair in Sort Example
Question: what happens if we insert faulty code into sort loop?
y
Feedback mechanisms correct (resort or reject) data
Sort1
4
Last node in
loop refines
and cleans
data stream
y
1
Sort
RotS22
Faulty node
generates
unsorted or
incorrect data
2
Select
Incoming
Track IDs
Sort3
Output from
node is
incorrect or
incomplete
3
Prioritized
Targets
Next node in
loop resorts
or rejects
faulty data
Analysis capability: use norms to bound error
• Can characterize allowable deviation of algorithm and verify stability
Controls Primer, 4 Sep 01
Richard Murray, Caltech
58
CDS Panel Recommendations
1. Substantially increase research aimed at the integration of control,
computer science, communications, and networking.
y Principles, methods and tools for control of high level, networked,
distributed systems
y Rigorous techniques for reliable, embedded, real-time software.
2. Substantially increase research in Control at higher levels of
abstraction, moving toward enterprise level systems.
y Dynamic resource allocation in the presence of uncertainty
y Learning, adaptation, and artificial intelligence for dynamic systems.
3. Explore high-risk, long-range applications of Control
y Nanotechnology, quantum mechanics, biology, and environmental
science.
y Dual investigator funding might be particularly useful mechanism in
this context.
Controls Primer, 4 Sep 01
Richard Murray, Caltech
59
Preliminary Recommendations, con’t (from draft report)
4. Maintain support for theory and interaction with mathematics,
broadly interpreted
y Dynamical systems, graph theory, combinatorics, complexity theory,
queuing theory, etc
y Strength of field relies on its close contact with rigorous mathematics;
increasingly important in the future.
5. Invest in new approaches to education and outreach for the
dissemination of basic ideas to nontraditional audiences.
y For Control to realize its potential, we must do a better job of educating
those outside Control on the principles of feedback and its use as a tool
for altering the dynamics of systems and managing uncertainty.
Controls Primer, 4 Sep 01
Richard Murray, Caltech
60
Panel Timeline
Next steps
Future Directions in
Control, Dynamics,
and Systems
• Jul ’01: updated draft available
• Post to web, distribute to m-list
• Aug ’01: finish missing sections,
collect feedback
•
•
•
•
Biology and medicine
Materials and processing
Environment, finance, etc
Education
• Sep ’01: issue final draft
• Oct ’01: release report, send to SIAM
• Nov ’01: distribute report to Congress,
funding agencies, program managers
http://www.cds.caltech.edu/~murray/cdspanel
Controls Primer, 4 Sep 01
Richard Murray, Caltech
61
Lecture #1
Overview of Feedback Control
Goals
y Provide engineering context for “active control technology”, through examples
y Survey some of the standard approaches and tools for feedback control
y Describe some of the future directions for the field
Lecture Outline
1. What is Control?
2. Basic Concepts in Feedback Control
3. Application Examples
y Automotive Control
y Flight Control
4. Future Directions
Reference: Report of the Panel
On Future Directions in Control,
Dynamics and Systems, 2001
http://www.cds.caltech.edu/
~murray/cdspanel
Controls Primer
Fall 2001
Objectives
y Provide familiarity of the basic concepts in feedback control
y Survey tools in Lyapunov and optimization-based control
Proposed Schedule
4 Sep
Overview of feedback control
11 Sep
Introduction to state space control and feedback
18 Sep
Lyapunov stability and control
25 Sep
Lyapunov, continued
Richard
Raff
Lars
Lars
Tue
10 am
PDT
2 Oct
9 Oct
16 Oct
12 Oct
Reza
Reza
Bill
Bill
TBD
Optimal control theory
Optimal, continued
Model predictive control
MPC, continued
http://www.cds.caltech.edu/~murray/courses/primer-fa01