270 likes | 393 Vues
Explore an innovative approach toward controlling nonlinear systems with limited information flow. Learn about quantization, time delays, disturbances, and more. Find out how to apply certainty equivalence and small-gain theorems for effective control.
E N D
TOWARDS a UNIFIED FRAMEWORK forNONLINEAR CONTROL withLIMITED INFORMATION Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ. of Illinois at Urbana-Champaign Workshop dedicated to Roger Brockett’s 70th birthday, Cancun, 12/8/08 1 of 14
INFORMATION FLOW in CONTROL SYSTEMS Plant Controller 2 of 14
INFORMATION FLOW in CONTROL SYSTEMS • Coarse sensing • Limited communication capacity • Need to minimize information transmission • Event-driven actuators • Theoretical interest 2 of 14
BACKGROUND Our goals: • Handle nonlinear dynamics Previous work: [Brockett,Delchamps,Elia,Mitter,Nair,Savkin,Tatikonda,Wong,…] • Deterministic & stochastic models • Tools from information theory • Mostly for linear plant dynamics • Unified framework for • quantization • time delays • disturbances 3 of 14
OUR APPROACH • Model these effects as deterministic additive error signals, • Design a control law ignoring these errors, • “Certainty equivalence”: apply control • combined with estimation to reduce to zero Technical tools: • Input-to-state stability (ISS) • Lyapunov functions • Small-gain theorems • Hybrid systems (Goal: treat nonlinear systems; handle quantization, delays, etc.) Caveat: This doesn’t work in general, need robustness from controller 4 of 14
QUANTIZATION finite subset of is partitioned into quantization regions QUANTIZER Encoder Decoder 5 of 14
QUANTIZATION and INPUT-to-STATE STABILITY – assume glob. asymp. stable (GAS) 6 of 14
QUANTIZATION and INPUT-to-STATE STABILITY no longer GAS 6 of 14
QUANTIZATION and INPUT-to-STATE STABILITY quantization error Assume class 6 of 14
QUANTIZATION and INPUT-to-STATE STABILITY quantization error Assume Solutions that start in enter and remain there This is input-to-state stability (ISS) w.r.t. measurement errors class In time domain: [Sontag ’89] class , e.g. 6 of 14
LINEAR SYSTEMS 9 feedback gain & Lyapunov function Quantized control law: (automatically ISS w.r.t. ) Closed-loop: 7 of 14
DYNAMIC QUANTIZATION 8 of 14
DYNAMIC QUANTIZATION – zooming variable Hybrid quantized control: is discrete state 8 of 14
DYNAMIC QUANTIZATION – zooming variable Hybrid quantized control: is discrete state 8 of 14
DYNAMIC QUANTIZATION Hybrid quantized control: is discrete state – zooming variable Zoom out to overcome saturation 8 of 14
DYNAMIC QUANTIZATION – zooming variable Hybrid quantized control: is discrete state Proof: ISS from to small-gain condition ISS from to After the ultimate bound is achieved, recompute partition for smaller region Can recover global asymptotic stability 8 of 14
SMALL-GAIN ANALYSIS of HYBRID SYSTEMS continuous discrete • ISS from to : • ISS from to : (small-gain condition) Hybrid system is GAS if we have: Can use Lyapunov techniques to check this [Nešić–L ’06] 9 of 14
QUANTIZATION and DELAY QUANTIZER DELAY Architecture-independent approach Delays possibly large Based on result of [Teel ’98] 10 of 14
SMALL–GAIN ARGUMENT where hence ISS w.r.t. actuator errors gives then we have ISS w.r.t. Small gain: if 11 of 14
FINAL RESULT small gain true Need: 12 of 14
FINAL RESULT Need: small gain true 12 of 14
FINAL RESULT solutions starting in enter and remain there Need: small gain true Can use “zooming” to improve convergence 12 of 14
EXTERNAL DISTURBANCES [Nešić–L] State quantization and completelyunknown disturbance 13 of 14
EXTERNAL DISTURBANCES [Nešić–L] State quantization and completelyunknown disturbance 13 of 14
EXTERNAL DISTURBANCES [Nešić–L] State quantization and completelyunknown disturbance After zoom-in: Issue: disturbance forces the state outside quantizer range Must switch repeatedly between zooming-in and zooming-out Result: for linear plant, can achieve ISS w.r.t. disturbance (ISS gain is nonlinear although plant is linear; cf.[Martins]) 13 of 14
http://decision.csl.uiuc.edu/~liberzon ONGOING RESEARCH • Quantized output feedback and ISS observer design • Disturbances and coarse quantizers (with Y. Sharon) • Modeling uncertainty (with L. Vu, ThB08.2) • Coordination with coarse sensing (with S. LaValle and J. Yu, • TuC17.2) • Vision-based control (with Y. Ma and Y. Sharon) 14 of 14