CC Kick-Off Meeting - PowerPoint PPT Presentation

Loading...

PPT – CC Kick-Off Meeting PowerPoint presentation | free to view - id: 7fd96f-MjVjY



Loading


The Adobe Flash plugin is needed to view this content

Get the plugin now

View by Category
About This Presentation
Title:

CC Kick-Off Meeting

Description:

CC Kick-Off Meeting Grenoble 24-25/1/2002 CC: Partners VERIMAG (Oded Maler) ETH Zurich (Manfred Morari) Lund (Anders Rantzer) PARADES (Alberto SV) CWI (Jan van ... – PowerPoint PPT presentation

Number of Views:84
Avg rating:3.0/5.0
Slides: 18
Provided by: Ode65
Category:
Tags: kick | meeting | noble

less

Write a Comment
User Comments (0)
Transcript and Presenter's Notes

Title: 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.
About PowerShow.com