Wednesday 22/5
13.30-14.10	On Control with Bounded Computational Resources	O.Maler
14:20-14:40	A Front-end and an Intermediate Format for Defining Hybrid Automata	E. Asarin
14:40-15:00	New developments on ABB Test Case	M. Larsson
	Voltage Control in power systems: preliminary results	T. Geyer
15:20-15:50	Description of the Case Study: "The Idle Speed Control"	M. Zoncu
15:50-16:20	Modeling and Verification of Idle Speed Control with d/dt	T. Dang
	Thursday, 23/5
09:00-09:40	?	Årzen, Cervin
09:40-10:00	?	A. Rantzer
10:20-10:40	Relaxing Dynamic Programming	B. Lincoln
10:40-11:00	?	Pranja
11:10-11:40	Design of Observers for Hybrid Systems	A. Balluchi
13:50-14:10	?	T. Olsson
14:10-14:30	Robust Contrained Optimal Control	F. Borrelli
14:30-15:10	Steam Generator Water level Control: A Benchmark for Hybrid Control Techniques	P. Bendotti, Falinower

PARTECIPANTS