The meeting will be held at Verimag. To get to Verimag from your downtown hotel take the Tram line B, direction Universite and stop at its terminal. From there there is a 10 minute walk to Verimag. See the map map
Program
| Wednesday 20/10 | ||
| 10:00-10:30 | Coffee | |
| 10:30-12:30 | Constrained Inifite Time Optimal Control for Piecewise Affine Systems. (+ Design of Optimal Autonomous Switching Circuits to Suppress Mechanical Vibration) | Frank Christophersen (ETH) |
| Suboptimal Control of Switched Nonlinear Systems under Location and Swicthings Constraints | Ahmed Attia (Grenoble) | |
| Controller Synthesis on Non-uniform and Uncertain Discrete-time Domains | Andrea Balluchi (PARADES) | |
| 13:30-14:00 | Lunch | |
| 14:00-15:00 | Lagrangian Decomposition in Model Predictive Control Applications (+ Direct Torque Control: Final Results and Conclusions) | Andrea Beccuti (ETH) |
| Reachability and Control of Piecewise Affine Hybrid Systems on Simplices | Luc Habets (CWI) | |
| 15:00-15:30 | Break | |
| 15:30-18:00 | ABB Case-study | |
| Results on the ABB Medium Scale Test Case | Mats Larsson (ABB) | |
| Progress on the Voltage Stability Benchmark | Stefan Solyom (Lund) | |
| A Hybrid Predictive Control Approach for Voltage Stabilization of the ABB Medium Scale | Ahmed Attia (Grenoble) | |
| Discussion | ||
| 20:00 | Dinner | |
| Thursday 21/10 | ||
| 09:00-10:00 | PCC meeting (restricted) | |
| 10:30-11:00 | Break | |
| 11:00-12:30 | Code Generation from Simulink Models | Paul Caspi (Grenoble) |
| Code Generation from Stateflow Models | Norman Scaife (Grenoble) | |
| 12:30-14:00 | Lunch | |
| 14:00-15:30 | Continuity and Computability of Reachable Sets | Pieter Collins (CWI) |
| Optimal and Sub-Optimal Control in the Presence of Adversaries | Oded Maler (Grenoble) | |
| 15:30-16:00 | Break | |
| 16:00-17:30 | Moving Horizon State Estimation and Control applied to the Water Level Hybrid Control Problem | Pascale Bendotti (EDF) |
| Actual Engaged Gear Identification: a Hybrid Observer Approach | A. Balluchi (PARADES) | |
| Optimal Control of Discrete Hybrid Stochastic Automata | S. Di Cairano and A. Bemporad (Siena) | |
| Friday 22/10 | ||
| 09:00-10:30 | Monitoring Temporal Properties of Continuous Signals | Dejan Nickovic (Grenoble) |
| ARIADNE: Building a Library for Hybrid Automata | Alberto Casagrande (PARADES) | |
| 10:30-11:00 | Break | |
| 11:00-12:30 | Free discussion | |
| 12:30 | End of meeting |
Participants: