CC Kick-Off Meeting

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 Verimags 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.