QUANTIZED CONTROL and GEOMETRIC OPTIMIZATION Francesco Bullo and Daniel Liberzon Coordinated Science Laboratory Univ. of Illinois at Urbana-Champaign U.S.A.

Slides:



Advertisements
Similar presentations
1 of 16 SMALL - GAIN THEOREMS of LASALLE TYPE for HYBRID SYSTEMS Daniel Liberzon (Urbana-Champaign) Dragan Nešić (Melbourne) Andy Teel (Santa Barbara)
Advertisements

SWITCHING ADAPTIVE CONTROL Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ. of Illinois at Urbana-Champaign.
NONLINEAR HYBRID CONTROL with LIMITED INFORMATION Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ. of Illinois.
CONTROL with LIMITED INFORMATION Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ. of Illinois at Urbana-Champaign.
OUTPUT – INPUT STABILITY Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ. of Illinois at Urbana-Champaign.
TOWARDS a UNIFIED FRAMEWORK for NONLINEAR CONTROL with LIMITED INFORMATION Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer.
TOWARDS ROBUST LIE-ALGEBRAIC STABILITY CONDITIONS for SWITCHED LINEAR SYSTEMS 49 th CDC, Atlanta, GA, Dec 2010 Daniel Liberzon Univ. of Illinois, Urbana-Champaign,
1 of 13 STABILIZING a SWITCHED LINEAR SYSTEM by SAMPLED - DATA QUANTIZED FEEDBACK 50 th CDC-ECC, Orlando, FL, Dec 2011, last talk in the program! Daniel.
1 of 14 LIMITED - INFORMATION CONTROL of SWITCHED and HYBRID SYSTEMS via PROPAGATION of REACHABLE SETS HSCC, Philadelphia, April 2013 Daniel Liberzon Coordinated.
1 of 16 NORM - CONTROLLABILITY, or How a Nonlinear System Responds to Large Inputs Daniel Liberzon Univ. of Illinois at Urbana-Champaign, U.S.A. NOLCOS.
ISS of Switched Systems and Application to Adaptive Control
INTRODUCTION to SWITCHED SYSTEMS ; STABILITY under ARBITRARY SWITCHING
 Distance Problems: › Post Office Problem › Nearest Neighbors and Closest Pair › Largest Empty and Smallest Enclosing Circle  Sub graphs of Delaunay.
THE ROLE OF LIE BRACKETS IN STABILITY OF LINEAR AND NONLINEAR SWITCHED SYSTEMS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical &
TOWARDS ROBUST LIE-ALGEBRAIC STABILITY CONDITIONS for SWITCHED LINEAR SYSTEMS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical &
1 of 9 ON ALMOST LYAPUNOV FUNCTIONS Daniel Liberzon University of Illinois, Urbana-Champaign, U.S.A. TexPoint fonts used in EMF. Read the TexPoint manual.
1 Formal Models for Stability Analysis : Verifying Average Dwell Time * Sayan Mitra MIT,CSAIL Research Qualifying Exam 20 th December.
STABILITY under CONSTRAINED SWITCHING Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ. of Illinois at Urbana-Champaign.
COMMUTATION RELATIONS and STABILITY of SWITCHED SYSTEMS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ. of.
Distributed Consensus with Limited Communication Data Rate Tao Li Key Laboratory of Systems & Control, AMSS, CAS, China ANU RSISE System and Control Group.
The Rate of Convergence of AdaBoost Indraneel Mukherjee Cynthia Rudin Rob Schapire.
CISS Princeton, March Optimization via Communication Networks Matthew Andrews Alcatel-Lucent Bell Labs.
Nonlinear Sampling. 2 Saturation in CCD sensors Dynamic range correction Optical devices High power amplifiers s(-t) Memoryless nonlinear distortion t=n.
1 40 th Annual CISS 2006 Conference on Information Sciences and Systems Some Optimization Trade-offs in Wireless Network Coding Yalin E. Sagduyu Anthony.
Sandia is a multiprogram laboratory operated by Sandia Corporation, a Lockheed Martin Company, for the United States Department of Energy under contract.
USAFrance OCEAN. Control and Communication: an overview Jean-Charles Delvenne CMI, Caltech May 5, 2006.
CONTROL with LIMITED INFORMATION ; SWITCHING ADAPTIVE CONTROL Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ.
A LIE-ALGEBRAIC CONDITION for STABILITY of SWITCHED NONLINEAR SYSTEMS CDC ’04 Michael Margaliot Tel Aviv University, Israel Daniel Liberzon Univ. of Illinois.
1 of 12 COMMUTATORS, ROBUSTNESS, and STABILITY of SWITCHED LINEAR SYSTEMS SIAM Conference on Control & its Applications, Paris, July 2015 Daniel Liberzon.
CONTROL of NONLINEAR SYSTEMS with LIMITED INFORMATION Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ. of.
1 of 17 NORM - CONTROLLABILITY, or How a Nonlinear System Responds to Large Inputs Daniel Liberzon Univ. of Illinois at Urbana-Champaign, U.S.A. Workshop.
STABILIZING a NONLINEAR SYSTEM with LIMITED INFORMATION FEEDBACK Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng.,
CONTROL of NONLINEAR SYSTEMS under COMMUNICATION CONSTRAINTS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ.
MEETING THE NEED FOR ROBUSTIFIED NONLINEAR SYSTEM THEORY CONCEPTS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng.,
Flow Models and Optimal Routing. How can we evaluate the performance of a routing algorithm –quantify how well they do –use arrival rates at nodes and.
Asaf Cohen (joint work with Rami Atar) Department of Mathematics University of Michigan Financial Mathematics Seminar University of Michigan March 11,
Operations Research Models
1 Stability Analysis of Linear Switched Systems: An Optimal Control Approach Michael Margaliot School of Elec. Eng. Tel Aviv University, Israel Joint work.
CONTROL with LIMITED INFORMATION Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ. of Illinois at Urbana-Champaign.
TUTORIAL on LOGIC-BASED CONTROL Part I: SWITCHED CONTROL SYSTEMS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng.,
QUANTIZED OUTPUT FEEDBACK CONTROL of NONLINEAR SYSTEMS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ. of.
OUTPUT – INPUT STABILITY and FEEDBACK STABILIZATION Daniel Liberzon CDC ’03 Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ.
QUANTIZATION and DELAY EFFECTS in NONLINEAR CONTROL SYSTEMS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ.
Approximation algorithms for TSP with neighborhoods in the plane R 郭秉鈞 R 林傳健.
EE 685 presentation Utility-Optimal Random-Access Control By Jang-Won Lee, Mung Chiang and A. Robert Calderbank.
Goal Seek and Solver. Goal seeking helps you n Find a specific value for a target cell by adjusting the value of one other cell whose value is allowed.
SWITCHING CONTROL DESIGN Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ. of Illinois at Urbana-Champaign.
Daniel Liberzon Coordinated Science Laboratory and
Precise and Approximate Representation of Numbers 1.The Cartesian-Lagrangian representation of numbers. 2.The homotopic representation of numbers 3.Loops.
AUTOMATIC CONTROL THEORY II Slovak University of Technology Faculty of Material Science and Technology in Trnava.
Numerical Analysis. Numerical Analysis or Scientific Computing Concerned with design and analysis of algorithms for solving mathematical problems that.
COMMUTATION RELATIONS and STABILITY of SWITCHED SYSTEMS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ. of.
OUTPUT-INPUT STABILITY: A NEW VARIANT OF THE MINIMUM-PHASE PROPERTY FOR NONLINEAR SYSTEMS D. Liberzon Univ. of Illinois at Urbana-Champaign, USA A. S.
Feedback Stabilization of Nonlinear Singularly Perturbed Systems MENG Bo JING Yuanwei SHEN Chao College of Information Science and Engineering, Northeastern.
A paper1 by John Hauser, Shankar Sastry, and Petar Kokotovic
STABILIZATION by QUANTIZED FEEDBACK : HYBRID CONTROL APPROACH Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ.
SMALL-GAIN APPROACH to STABILITY ANALYSIS of HYBRID SYSTEMS CDC ’05 Dragan Nešić University of Melbourne, Australia Daniel Liberzon Univ. of Illinois at.
COMMUNICATION SYSTEM EEEB453 Chapter 5 (Part III) DIGITAL TRANSMISSION Intan Shafinaz Mustafa Dept of Electrical Engineering Universiti Tenaga Nasional.
NONLINEAR CONTROL with LIMITED INFORMATION Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ. of Illinois at.
1 Formal Models for Stability Analysis of Hybrid Systems: Verifying Average Dwell Time * Sayan Mitra MIT,CSAIL Research Qualifying.
Ordinary Differential Equations
TOWARDS a UNIFIED FRAMEWORK for NONLINEAR CONTROL with LIMITED INFORMATION Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer.
1 Chapter 5 Branch-and-bound Framework and Its Applications.
Introduction to Algorithms: Brute-Force Algorithms.
Problem and Motivation
Finite data-rate stabilization of a switched
Input-to-State Stability for Switched Systems
Nonlinear Observers Robust to Measurement Errors and
SWITCHING CONTROL DESIGN
On Topological Entropy and Stability of Switched Linear Systems
Presentation transcript:

QUANTIZED CONTROL and GEOMETRIC OPTIMIZATION Francesco Bullo and Daniel Liberzon Coordinated Science Laboratory Univ. of Illinois at Urbana-Champaign U.S.A. CDC 2003

0 Control objectives: stabilize to 0 or to a desired set containing 0, exit D through a specified facet, etc. CONSTRAINED CONTROL Constraint: – given control commands

LIMITED INFORMATION SCENARIO – partition of D – points in D, Quantizer/encoder: Control: for

MOTIVATION Limited communication capacity many systems/tasks share network cable or wireless medium microsystems with many sensors/actuators on one chip Need to minimize information transmission (security) Event-driven actuators PWM amplifier manual car transmission stepping motor Encoder Decoder QUANTIZER finite subset of

QUANTIZER GEOMETRY is partitioned into quantization regions uniform logarithmic arbitrary Dynamics change at boundaries => hybrid closed-loop system Chattering on the boundaries is possible (sliding mode)

QUANTIZATION ERROR and RANGE Assume such that: is the range, is the quantization error bound For, the quantizer saturates

OBSTRUCTION to STABILIZATION Assume: fixed Asymptotic stabilization is usually lost

BASIC QUESTIONS What can we say about a given quantized system? How can we design the “best” quantizer for stability?

BASIC QUESTIONS What can we say about a given quantized system? How can we design the “best” quantizer for stability?

STATE QUANTIZATION: LINEAR SYSTEMS Quantized control law: where is quantization error Closed-loop system: is asymptotically stable 9 Lyapunov function

LINEAR SYSTEMS (continued) Recall: Previous slide: Lemma: solutions that start in enter in finite time Combine:

NONLINEAR SYSTEMS For nonlinear systems, GAS such robustness For linear systems, we saw that if gives then automatically gives when This is robustness to measurement errors This is input-to-state stability (ISS) for measurement errors To have the same result, need to assume when

SUMMARY: PERTURBATION APPROACH 1.Design ignoring constraint 2.View as approximation 3.Prove that this still solves the problem Issue: error Need to be ISS w.r.t. measurement errors

BASIC QUESTIONS What can we say about a given quantized system? How can we design the “best” quantizer for stability?

LOCATIONAL OPTIMIZATION: NAIVE APPROACH This leads to the problem: for Also true for nonlinear systems ISS w.r.t. measurement errors Smaller => smaller Compare: mailboxes in a city, cellular base stations in a region

MULTICENTER PROBLEM Critical points of satisfy 1. is the Voronoi partition : 2. This is the center of enclosing sphere of smallest radius Lloyd algorithm: iterate Each is the Chebyshev center (solution of the 1-center problem).

Play movie: step3-animation.fli

LOCATIONAL OPTIMIZATION: REFINED APPROACH only need this ratio to be small Revised problem: Logarithmic quantization: Lower precision far away, higher precision close to 0 Only applicable to linear systems

WEIGHTED MULTICENTER PROBLEM This is the center of sphere enclosing with smallest Critical points of satisfy 1. is the Voronoi partition as before 2. Lloyd algorithm – as before Each is the weighted center (solution of the weighted 1-center problem) on not containing 0 (annulus) Gives 25% decrease in for 2-D example

Play movie: step5-animation.fli

RESEARCH DIRECTIONS Robust control design Locational optimization Performance Applications