HSCC ’05 - Hybrid Systems: Computation and Control

March 9-11, 2005       Zurich, Switzerland sponsored by Artist 

Satellite Events - CCRW

Control and Computation Review Workshop

March 12, 2005, Zurich

The workshop Control and Computation is a satellite event for the HSCC’05 conference. The workshop consists of invited presentations that summarize the results and achievements of the European Community project CC, which represents one of the major efforts worldwide to advance the state-of-the-art in hybrid systems. The topics addressed by the projects include fundamental and algorithmic studies in controller synthesis and verification for hybrid systems, as well as several case-studies originating from automotive and power application domains. More details on the project, including downloadable publications and reports can be found at the web site http://www.dii.unisi.it/ hybrid/cc/.

The workshop will take place in the ETH Zentrum campus, ETF building (adjacent to and accessible through the main electrical engineering building ETZ, see arrival directions), lecture hall C1, from 9:00 to 17:00. Attendance is open but requires pre-registration via email to beccuti@control.ee.ethz.ch.

Tentative Program

  • 09:00 - 09:10
    Oded Maler (Verimag)

  • 09:10 - 10:10
    Progress in optimization-based verification and synthesis
    Alberto Bemporad (Siena), Manfred Morari (ETH)

  • 10:10 - 10:40
    Hybrid control synthesis using approximate dynamic programming
    Anders Rantzer (Lund)

  • 10:40 - 11:10
    Control synthesis for piecewise-affine hybrid systems on polytopes
    Jan van Schuppen and Luc Habets (CWI)

  • 11:10 - 11:40

  • 11:40 - 12:00
    Survey of observability and identification for hybrid systems
    Simone Paoletti (Siena)

  • 12:00 - 12:40
    Summary of progress in power transmission applications
    Mats Larsson (ABB)

  • 12:40 - 14:00

  • 14:00 - 14:30
    On the design process of automotive control systems
    Andrea Balluchi (Parades)

  • 14:30 - 15:00
    Summary of progress in automotive applications
    Andrea Balluchi (Parades)

  • 15:00 - 15:30

  • 15:30 - 16:15
    Progress in reachability analysis for hybrid systems
    Eugene Asarin (Paris), Thao Dang (Verimag) and Antoine Girard (Penn)

  • 16:15 - 16:45
    A unified approach for optimal control under uncertainty
    Oded Maler (Verimag)

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet