2013 Symbolic Control Design of Cyber-Physical Systems

Commenti

Transcript

2013 Symbolic Control Design of Cyber-Physical Systems
European Embedded Control Institute
Graduate School on Control
Independent Modules– one 21 hours module per week (3 ECTS)
Deadline for ADVANCE REGISTRATION to each module: 20/12/2012
Locations: Supelec (Paris), Istanbul (Turkey), L’Aquila (Italy), Belgrade (Serbia)
www.eeci-institute.eu/GSC2013
M1
Randomized Algorithms for Systems and
14/01/2013 – 18/01/2013
Control: Theory and Applications
M2
Uncertain Optimization via
21/01/2013 – 25/01/2013
Sample-Based Approaches
M3
Model Predictive Control
28/01/2013 – 01/02/2013
M4
The Transverse Function Control Approach
04/02/2013 – 08/02/2013
for Highly Nonlinear Systems
M5
Design and analysis tools for physical
11/02/2013 – 15/02/2013
control systems
M6
Normal Forms for Nonlinear Control
18/02/2013 – 22/02/2013
Systems and Their Applications
M7
Decentralized and Distributed Control
25/02/2013 – 01/03/2013
M8
Modeling and Control of Automotive and
04/03/2013 – 08/03/2013 Aerospace Engines and Powerplants
M9
Stability and Control of Time-delay
11/03/2013 – 15/03/2013
Systems
M10
Recent Advances of Sliding Mode Control
11/03/2013 – 15/03/2013
M11 - BELGRADE
Control of Nonlinear Delay Systems
11/03/2013 – 15/03/2013
and PDEs
Verification and Correct-by-Construction
M12 - BELGRADE
Synthesis of Control Protocols for
18/03/2013 – 22/03/2013
Networked Systems
M13
Input saturation: control design and
18/03/2013 – 22/03/2013
anti-windup
M14
25/03/2013 - 29/03/2013
M15
25/03/2013 – 29/03/2013
M16
08/04/2013 – 12/04/2013
Traffic modeling and estimation
at the age of smartphones
Model Predictive Control
Roberto Tempo, CNR-IEIIT, Politecnico di Torino, Italy
Fabrizio Dabbene, CNR-IEIIT, Politecnico di Torino, Italy
Marco C. Campi, University of Brescia, Italy
Simone Garatti, Politecnico di Milano – DEI, Italy
Eduado F. Camacho, University of Sevilla, Spain
Claude Samson, INRIA, France
Pascal Morin, ISIR, Université Pierre et Marie Curie, France
Antonio Lorỉa, CNRS L2S, Gif-sur-Yvette, France
Elena Panteley, CNRS L2S, Gif-sur-Yvette, France
Witold Respondek, INSA Rouen, France
Giancarlo Ferrari-Trecate, University of Pavia, Italy
Marcello Farina, Politecnico di Milano, Italy
Ilya Kolmanovsky, University of Michigan, USA
Wim Michiels, K.U. Leuven, Belgium
Silviu-Iulian Niculescu, CNRS L2S, Gif-sur-Yvette, France
Vadim I. Utkin, The Ohio State University, USA
Miroslav Krstic, University of California, San Diego, USA
Richard Murray, California Institute of Technology, USA
Ufuk Topcu, California Institute of Technology, USA
Nok Wongpiromsarn, Singapore-MIT Alliance Research &Tech
Sophie Tarbouriech, CNRS LAAS, Toulouse, France
Luca Zaccarian, CNRS LAAS, Toulouse, France
Alexandre M. Bayen, University of California, Berkeley, USA
Dan Work, University of Illinois at Urbana-Champaign, USA
Christian Claudel, University of Sci. and Tech. Thuwal, KSA
Jan Maciejowski, University of Cambridge, UK
Dorothée Normand-Cyrot, CNRS L2S, Gif-sur-Yvette, France
Salvatore Monaco, University of Roma «La Sapienza», Italy
W.P.M.H. Heemels, Eindhoven Univ. of Tech., Netherlands
M17
Event-triggered and Self-triggered Control Karl-Henrik Johansson, Royal Institute of Tech. Sweden
22/04/2013 – 26/04/2013
Paulo Tabuada, University of California at Los Angeles, USA
M18 - ISTANBUL
Stochastic Control with Contemporary
Roger W. Brockett, Harvard School of Eng. Applied Sc., USA
22/04/2013 – 26/04/2013
Methods and Applications
Maria Domenica Di Benedetto, University of L’Aquila, Italy
M19 - ISTANBUL
Symbolic control design of
Giordano Pola, University of L’Aquila, Italy
29/04/2013 – 03/05/2013
Cyber-Physical systems
Alessandro Borri, IASI-CNR, Rome, Italy
M20
Alessandro Astolfi, Imperial College, UK
Nonlinear and Adaptive Control
13/05/2013 – 17/05/2013
Romeo Ortega, CNRS L2S, Gif-sur-Yvette, France
M21
Distributed Control
A. Stephen Morse, Yale University, USA
13/05/2013 – 17/05/2013
M22
Extremum Seeking Control:
Dragan Nesic, University of Melbourne, Australia
20/05/2013 – 24/05/2013
Analysis and Design
M23
Robust Hybrid Control Systems
Ricardo Sanfelice, University of Arizona, USA
20/05/2013 – 24/05/2013
M24 – L’AQUILA
Optimality, Stabilization, and Feedback
Francis Clarke, Université Claude Bernard Lyon 1, France
20/05/2013 – 24/05/2013
in Nonlinear Control
M25- L’AQUILA
Emmanuel Witrant, Univ. Joseph Fourier, GIPSA, Grenoble,
Modeling and estimation for control
27/05/2013 – 31/05/2013
France
M26
Switched Systems and Control
Daniel M. Liberzon, University of Illinois, USA
27/05/2013 – 31/05/2013
(*) A module will open
About Nonlinear Digital Control
only if a sufficient
number of registrations are received before the
advance registration deadline: 20/12/2012
European Embedded Control Institute
M19 - ISTANBUL
29/04/2013 – 03/05/2013
Maria Domenica Di Benedetto
Dipartimento di Ingegneria e
Scienze dell'informazione e Matematica
Center of Excellence DEWS
University of L’Aquila, Italy
http://www.diel.univaq.it/people/dibenedetto/
Symbolic Control Design of Cyber-Physical Systems
Giordano Pola
Alessandro Borri
Istituto di Analisi dei Sistemi ed
Dipartimento di Ingegneria e
Informatica "A. Ruberti" (IASI)
Scienze dell'informazione e Matematica
Consiglio Nazionale delle Ricerche (CNR)
Center of Excellence DEWS
Rome, Italy
University of L’Aquila, Italy
http://www.diel.univaq.it/people/pola/
http://www.alessandroborri.it/
Abstract of the course:
Cyber-Physical Systems (CPS) are large-scale, complex, heterogeneous, distributed and
networked systems where physical processes interact with distributed computing units
through communication networks. Formal approaches to the control design of these
systems are relatively unexplored today. This course will present an approach to the control
design of CPS based on symbolic models. Symbolic models are finite state automata where
each state corresponds to an aggregate of possibly infinite continuous states and each label
on the transitions to an aggregate of possibly infinite continuous inputs. We will show how
the use of symbolic models provides a systematic approach to deal with control problems
where software and hardware interact with the physical world through non-ideal
communication networks. Efficient on-the-fly algorithms for symbolic control design will
also be discussed. We will illustrate the proposed methodology on case studies.
The following topics will be covered in the course:
* Transition systems, equivalence and compositionality
* Approximation metrics for discrete and continuous systems
* Incremental stability notions for nonlinear systems
* Symbolic models for nonlinear and networked control systems
* Symbolic control design
* Efficient on-the-fly algorithms and case studies

Documenti analoghi