Monday 16/06
09:15 - 10:45 Session 1	Control of a car engine	Jan H. van Schuppen
	A more detailed engine hybrid model for idle speed control	Marco Zoncu
	Progress in the Verification of the Car Engine Controller	Thao Dang
10:45 - 11:15	Break
11:15 - 12:15 Session 2	Observers for hybrid systems with not observable CT dynamics	Andrea Balluchi
	Direct Torque Control	Tobias Geyer
12:15 - 13:45	Lunch
13:45 - 14:45 Session 3	Observability of piecewise-affine hybrid systems	Pieter Collins, Jan van Schuppen
	Coordination control of hybrid systems at the discrete-event level	Kurt Rohloff, Jan Komenda
14:45 - 15:15	Break
15:15 - 17:30 Session 4	Hybrid Control and Fault Detection for the EDF Water-level Controller	Alexandre Donze
	Presentation of the 2nd EDF Case-study (Fossil Power Plant)	Pascale Bendotti
	Predictive control for the simplified ABB benchmark	Mazen Alamir
	Analysis and Lyapunov-based hybrid control design for stabilization of the ABB Benchmark	A. Attia, C. Canudas de Wit, and M. Alamir
	On the ABB case-study	Stefan Solyom
	Tuesday 17/06
09:15 - 10:45 Session 5	Verification of Analog Circuits with d/dt	Thao Dang
	Scheduling under Uncertainty	Oded Maler
	On dynamic programming and formal verification	Bo Lincoln
	A Hybrid Solver for Optimal Control of Hybrid Systems	Nicolo' Giorgetti, Alberto Bemporad
10:45 - 11:15	Break
11:15 - 12:15 Session 6	Chaotic dynamics of piecewise-affine hybrid systems	Pieter Collins
	Verification of hybrid and continuous systems: results and problems	Eugene Asarin
12:15 - 13:45	Lunch
13:45 - 14:45 Session 7	Reachability and controllability of affine systems in the plane	Luc Habets (with JHvS)
	Ellipsoidal techniques for reachability analysis	Alberto Casagrande
14:45 - 15:15	Break
15:15 - 17:30 Session 8	Recent advances at ETH	Tobias Geyer
	First Experiments in Barbaric control	Oded Maler
	Open discussion