Tuesday 29/10
20:15	Dinner
	Wednesday 30/10
09:00 - 10:30	General survey of progress, administrative issues
	Control and System Theory of Hybrid Systems	Jan van Schuppen
	Efficient Conversion of Compositional Hybrid Models into Piecewise Affine Models	Fabio D. Torrisi, Tobias Geyer, Manfred Morari
	Further Theory and Examples on Relaxed Value Iteration	Bo Lincoln, A. Rantzer
10:30 - 11:00	Break
11:00 - 12:30	Continuous Control, Discrete Event Control, Computer Engineering: the Bermuda Triangle?	Paul Caspi
	How to make Simulation more Systematic	Oded Maler
	From Hybrid Automata to Simulink	Eugene Asarin
12:30 - 14:00	Lunch
14:00 - 15:30	Stability and Feasibility of Constrained Optimal Control	P. Grieder, F. Borrelli, F.D. Torrisi, P. Parillo, M. Morari
	Stabilization of Discrete-time Hybrid Automata	Andrea Balluchi, Marco Zoncu
	On Tracking Performance in Piecewise Linear Systems	Stefan Solyom
15:30 - 16:00	Break
16:00 - 18:00	Reachability for Non-linear Systems using Triangulation	Antoine Girard, Eugene Asarin
	Periodic Systems and Analysis of Power Networks for Trains	Chung-Yao Kao
	Further Results on the Design of Hybrid Observers	Andrea Balluchi, Marco Zoncu
	Modeling the EDF case-study with Hybrid Automata	Alexandre Donze
18:15-19:15	Guided museum visit on Monte Verita'
19:45	Departure for Dinner: Grotto Verzaschese
	Thursday, 31/10
09:00 - 10:30	Hybrid System Theory Based Optimal Control of an Electronic Throttle	Mato Baotic, Mario Vasak, Manfred Morari, Nedjeljko Peric
	The ABB Case Study: Analysis and Optimal Nonlinear Control	Tobias Geyer, Mats Larsson, Manfred Morari
10:30 - 11:00	Break
11:00 - 12:30	Open discussion on the ABB case-study
12:30 - 14:00	Lunch
14:00 - ??:??	Leftovers, discussions, conclusions