Raffaello D’Andrea Cornell University Design and Control of Interconnected Systems.

Slides:



Advertisements
Similar presentations
Bayesian Belief Propagation
Advertisements

SWITCHING ADAPTIVE CONTROL 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.
Linear Subspaces - Geometry. No Invariants, so Capture Variation Each image = a pt. in a high-dimensional space. –Image: Each pixel a dimension. –Point.
Spatial Embedding of Pseudo-Triangulations Peter Braß Institut für Informatik Freie Universität Berlin Berlin, Germany Franz Aurenhammer Hannes Krasser.
ISS of Switched Systems and Application to Adaptive Control
Kick-off Meeting, July 28, 2008 ONR MURI: NexGeNetSci Distributed Coordination, Consensus, and Coverage in Networked Dynamic Systems Ali Jadbabaie Electrical.
NONLINEAR OBSERVABILITY NOTIONS and STABILITY of SWITCHED SYSTEMS CDC ’02 João Hespanha Univ. of California at Santa Barbara Daniel Liberzon Univ. of Illinois.
1 Welcome to the Kernel-Class My name: Max (Welling) Book: There will be class-notes/slides. Homework: reading material, some exercises, some MATLAB implementations.
Station Keeping with Range Only Sensing {Adaptive Control} A. S. Morse Yale University Gif – sur - Yvette May 24, 2012 TexPoint fonts used in EMF. Read.
IMI 1 Approximation Theory Metric: Complicated Function Signal Image Solution to PDE Simple Function Polynomials Splines Rational Func.
Robust Hybrid and Embedded Systems Design Jerry Ding, Jeremy Gillula, Haomiao Huang, Michael Vitus, and Claire Tomlin MURI Review Meeting Frameworks and.
1 Stability Analysis of Switched Systems: A Variational Approach Michael Margaliot School of EE-Systems Tel Aviv University Joint work with Daniel Liberzon.
1 Introduction to Kernels Max Welling October (chapters 1,2,3,4)
Network and Grid Computing –Modeling, Algorithms, and Software Mo Mu Joint work with Xiao Hong Zhu, Falcon Siu.
Neural Network Computing Lecture no.1. All rights reserved L. Manevitz Lecture 12 McCullogh-Pitts Neuron The activation of a McCullogh-Pitts Neuron is.
Abstract In the case of the application of the Soil Moisture and Ocean Salinity (SMOS) mission to the field of hydrology, the question asked is the following:
Multi-vehicle Cooperative Control Raffaello D’Andrea Mechanical & Aerospace Engineering Cornell University u Hierarchical Decomposition u Example: RoboCup.
1 Dr. Scott Schaefer Generalized Barycentric Coordinates.
1 Chapter 9 Differential Equations: Classical Methods A differential equation (DE) may be defined as an equation involving one or more derivatives of an.
QUANTIZED CONTROL and GEOMETRIC OPTIMIZATION Francesco Bullo and Daniel Liberzon Coordinated Science Laboratory Univ. of Illinois at Urbana-Champaign U.S.A.
CONTROL of NONLINEAR SYSTEMS with LIMITED INFORMATION Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ. of.
Slam is a State Estimation Problem. Predicted belief corrected belief.
CIS 540 Principles of Embedded Computation Spring Instructor: Rajeev Alur
Distributed control and Smart Grids
S.S. Yang and J.K. Lee FEMLAB and its applications POSTEC H Plasma Application Modeling Lab. Oct. 25, 2005.
The method of moments in dynamic optimization
1  (x) f(x,u) u x f(x,  (x) x Example: Using feed-forward, what should be canceled?
Lecture #9 Analysis tools for hybrid systems: Impact maps João P. Hespanha University of California at Santa Barbara Hybrid Control and Switched Systems.
1 Dr. Scott Schaefer Generalized Barycentric Coordinates.
TUTORIAL on LOGIC-BASED CONTROL Part I: SWITCHED CONTROL SYSTEMS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng.,
1/21/2015PHY 712 Spring Lecture 31 PHY 712 Electrodynamics 9-9:50 AM MWF Olin 103 Plan for Lecture 3: Reading: Chapter 1 in JDJ 1.Review of electrostatics.
Robust Real-time Control Systems
Modeling and Complexity Reduction for Interconnected Systems Carolyn Beck University of Illinois at Urbana-Champaign August 2, 2001.
Lecture #11 Stability of switched system: Arbitrary switching João P. Hespanha University of California at Santa Barbara Hybrid Control and Switched Systems.
CERN, BE-ABP-CC3 Jürgen Pfingstner Verification of the Design of the Beam-based Controller Jürgen Pfingstner 2. June 2009.
Mathe III Lecture 4 Mathe III Lecture 4 Mathe III Lecture 4 Mathe III Lecture 4.
Progress Report during secondment in Prague
Mathe III Lecture 7 Mathe III Lecture 7. 2 Second Order Differential Equations The simplest possible equation of this type is:
Controlling “Emergelent” Systems Raffaello D’Andrea Cornell University.
Optimality Conditions for Unconstrained optimization One dimensional optimization –Necessary and sufficient conditions Multidimensional optimization –Classification.
STABILITY of SWITCHED SYSTEMS – family of asymptotically stable systems – piecewise constant switching signal Want GUAS w.r.t. want GUES For switched linear.
Summary of the Last Lecture This is our second lecture. In our first lecture, we discussed The vector spaces briefly and proved some basic inequalities.
1 Distributed Motion Coordination: From Swarming to Synchronization Ali Jadbabaie Department of Electrical and Systems Engineering and GRASP Laboratory.
11-1 Lyapunov Based Redesign Motivation But the real system is is unknown but not necessarily small. We assume it has a known bound. Consider.
Stability and instability in nonlinear dynamical systems
Main Research Areas Signal Processing and Communications
Computer-Aided Design
Stefan Mihalas Ernst Niebur Krieger Mind/Brain Institute and
Auburn University COMP8330/7330/7336 Advanced Parallel and Distributed Computing Interconnection Networks (Part 2) Dr.
Gleb Panteleev (IARC) Max Yaremchuk, (NRL), Dmitri Nechaev (USM)
دانشگاه صنعتی امیرکبیر دانشکده مهندسی پزشکی
Chapter 31.
Linear Algebra Lecture 3.
Overview of Control System
Stability Analysis of Linear Systems
Hysteresis Curves from 11 dimensions
PHY 712 Electrodynamics 9-9:50 AM MWF Olin 105 Plan for Lecture 3:
Structural Optimization Design ( Structural Analysis & Optimization )
Birds Eye View of Interconnection Networks
NONLINEAR AND ADAPTIVE SIGNAL ESTIMATION
IoT, CPS, Smart-X – An Overview
Reading: Chapter in JDJ
Guosong Yang1, A. James Schmidt2, and Daniel Liberzon2
Self-Managed Systems: an Architectural Challenge
PHY 712 Electrodynamics 9-9:50 AM MWF Olin 105 Plan for Lecture 3:
NONLINEAR AND ADAPTIVE SIGNAL ESTIMATION
Chapter 1. Formulations.
On Topological Entropy and Stability of Switched Linear Systems
e2 e1 e5 e4 e3 v1 v2 v3 v4 f The dimension of f =
Presentation transcript:

Raffaello D’Andrea Cornell University Design and Control of Interconnected Systems

Examples Power generation and distribution Vehicle platoons Satellite formation flight Paper processing Adaptive optics MEMS data storage Optical switching “Smart” structures and so on... Common thread: Distributed sensing and actuation capabilities Highly structured interconnection topology

General Problem Class PLANT CONTROLLER Stability, performance, robustness Requirements: GiGi vivi didi uiui yiyi zizi wiwi GiGi uiui yiyi ~ wiwi ~ vivi ~

Basic building block, one spatial dimension Simplest case: Homogeneous Systems

PERIODIC CONFIGURATION

BOUNDARY CONDITIONS

INFINITE EXTENT SYSTEM

2D, 2D BOUNDARY CONDITIONS

2D, 1D BOUNDARY CONDITIONS

2D, NO BOUNDARY CONDITIONS

Results for linear and piece-wise linear systems Theorem: If the following semidefinite program has a solution: where N and the are fixed, and only a function of the basic building block, then D’Andrea ’98, D’Andrea & Dullerud ‘03 all interconnected systems are well-posed, stable, and

Basic building block: control design Design controller that has the same structure as the plant:

PERIODIC CONFIGURATION

2D, 2D BOUNDARY CONDITIONS

Properties of design Controller has the same structure as the plant Finite dimensional, convex optimization problem Optimization problem size is independent of the number of units

Arbitrary interconnections, heterogeneous components

Theorem: the interconnected system is well-posed, stable, and if the following coupled semidefinite programs have a solution: Langbort, Chandra, & D’Andrea ’03 Chandra, Langbort, & D’Andrea ‘03 if the subsystems are not interconnected:

Theorem: the interconnected system is well-posed, stable, and if the following coupled semidefinite programs have a solution: Langbort, Chandra, & D’Andrea ’03 Chandra, Langbort, & D’Andrea ‘03 if the subsystems are not interconnected: When working with linearized dynamics, results generalize to control system design

Summary Semidefinite programming a powerful tool for control design and analysis of interconnected systems Generalization of powerful results for single systems: linear, piece-wise linear, nonlinear Leads to distributed semidefinite programs, whose structure is captured by interconnection topology