1. CC Kick-Off Meeting Grenoble 24-25/1/2002

2. CC: Partners VERIMAG (Oded Maler) ETH Zurich (Manfred Morari) Lund (Anders Rantzer) PARADES (Alberto SV) CWI (Jan van Schuppen) ABB (Eduardo Gallestey) EDF (C.-M. Fallinower) Siena (Alberto Bemporad)

3. CC: Goals Develop new techniques for (computer-aided) control systems design. Complex, heterogeneous systems, hybrid dynamics. Case-studies (engine control, power production, power transmission). Tools (optimization based, reachability based).

4. Motivation Modern complex systems have different components They cannot be all described using the same mathematical formalism Nor solved using the same techniques This is already done by practitioners without theoretical coverage Combination of control and verification techniques

5. Work-Packages SC: Survey of Hybrid Control CH: Control of Hybrid systems RM: Reachability-based Methods TL: Tools AA: Automotive Applications PP: Power Production and Transmission

6. Package inter-dependence

7. SC: Survey of Control (1) Many different application domains of control, each characterized by: Economic importance Type of models and techniques (speed, coupling of variables, precision of models) Dominating culture (CS, control, specific engineering) Relevance of theoretical results Use of computers in design and implementation

8. SC: Survey of Control (2) Investigating questions related to the implementation of controllers by complex hardware/software system Unified models to describe both physical systems and their digital controllers (themselves expressed in a variety of formalisms).

9. CH: Hybrid Control (1) In general, extensions of various results and techniques from control to treat systems with discontinuities (switching systems, piecewise-linear systems, etc.) Covers mostly the intentions of partners ETH, Lund and CWI

10. CH: Hybrid Control (2) System-theoretic foundations (minimal realization of piecewise-linear systems) Identification of piecewise-affine systems Controller synthesis via (mixed integer- linear) optimization, model-predictive control Control on polytopes Optimization of switching for discrete-time systems

11. RM: Reachability Methods (1) Adaptation of discrete verification techniques to continuous and hybrid systems. Essentially computing everything that can happen to a system under all admissible disturbances and controls. The main effort of Verimag in the project

12. RM: Reachability Methods (2) New techniques for non-linear systems Representation of non-convex polyhedra Goal reachability and optimality Strategies for differential games Combination of simulation and verification Abstraction techniques for treating large systems

13. AA: Automotive Applications A case-study concerning the design of engine controllers. Models have inherent non-linear and hybrid aspects (sparks, driver commands) and need new design methods. Current models are too complex for current tools and will motivate their improvement. Provided by PARADES (affiliated with MM)

14. Power Grids A case-study about the modeling and analysis of power grids that need to transport power according to varying demand. Provided by ABB in collaboration with ETH

15. Power Plants Two case-studies provided by EDF: Water level controller for a nuclear plant Optimization of combustion in a fossil power plant. Essentially switching between different choices of actutors.

16. TL: Tools Implementing the developed algorithms Hysdel: the ETH tool for optimization-based verification and synthesis d/dt : Verimag’s tool for reachability analysis Connection with Simulink (?)

17. Summary It will be very nice if we fulfill some percentage of these promises and this will constitute a real contribution to control system design.