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
Introduction
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: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)
- 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: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)