CC Meeting - Rome

Location

PARADES

Palazzo Bonadies, Via San Pantaleo 66, 00186, Rome, Italy
Tel: +39 06 68807923 /7/30 Fax: +39 06 68807926

Dates

Monday 26 to Tuesday 27, January 2004

Hotel reservation

 

 

Travel directions

 Map of the city center

From the Airport of Fiumicino:

  • taxi (it will take 40 to 60 minutes and will cost ~40,00EUR)
  • train, from airport to Termini station (2 races per hour at --:07 and --:37, from 6:37 to 23:37), it costs EUR8,00, buy the ticket before getting on the train.

From the Termini Station:

  • Taxi (it will take ~10-15 minutes and cost ~8-10EUR)
  • Bus: buy the ticket before getting on the bus. Nr. 64 (get off at the first stop in Corso Vittorio Emanuele) or Nr. 40 (get off at the Torre Argentina stop), then a 5 minutes walk to reach our office.

 

 

PROGRAM

 

 Monday 26/01

09:30 - 11:30

 Controller synthesis for hybrid systems with a lower bound on event separation T. Villa

The architecture of a software tool for reachability analysis of hybrid systems

 A. Casagrande

Synthesis for Idle Speed Control of an Automotive Engine

 A. Balluchi

Break

 
11:30 - 13:00 Optimal Direct Torque Control Tobias Geyer
Optimal Control of Synchronous DC-DC Converter Tobias Geyer
The MPT Toolbox Mato Baotic

Lunch

 

 
14:30 - 15:30

Verification and monitoring of analog circuits - first steps

Oded Maler
Progress on the ABB case-study Stefan Solyom

Break

 

15:30 - 17:00

Presentation of an Extended ABB case-study + open discussion among those who work on it

Matts Larsson

 

 
Tuesday 27/01

 09:00 - 11:00

 

Convexity and duality in nonlinear/hybrid control

Anders Rantzer

An algebraic method for system identification of Gaussian systems

Jan van Schuppen

Computation and Control -- Selected Developments for UAV Applications

Tariq Samad

Second thoughts on barbaric control

Oded Maler

Break

 

11:30 - 13:00

Some open problems in control and systems theory

Anders Rantzer

Approximation of reachable sets of hybrid systems by topological methods

Pieter Collins

Lunch

 

14:30 - 16:00

A SAT-Based Hybrid Solver for Optimal Control of Hybrid Systems

Nicolo' Giorgetti

 

Impact of Scheduling Policies on control System Performance

Anders Ravn

Break

 

16:30 - 17:30

Recognizable timed languages

Oded Maler
 

Integrated Electronics in the Car and the Design Chain: Trends and Challenges

Alberto Sangiovanni-Vincentelli

20:30

Dinner

 

PARTICIPANTS

Grenoble O. Maler, M. Alamir
ETH M. Morari, M. Baotic, T. Geyer
CWI P. Collins, J. van Schuppen

Lund

A. Rantzer, S. Solyom

Parades

A. Balluchi, A. Sangiovanni-Vincentelli, Benvenuti, T.Villa, A. Casagrande, Murrieri, Di Natale

ABB

M. Larsson

Siena

A. Bemporad, N. Giorgetti