The CORTOS workshop is a satellite event of CONCUR'06.
It is organized by the CORTOS project, founded by the French Ministry of Research.

The workshop will consist in 5 invited talks related to the control of timed and hybrid systems. A one-hour slot is devoted to each talk so that advanced material and/or on going work can be presented. This also provides room for discussion and feedback.

The program of the wokshop is the following:

08:15 - 08:30 Welcome
08:30 - 09:30 O-minimal hybrid systems
Thomas Brihaye (Univ. Mons, Belgium)
09:30 - 10:30 PHAVer: Recent developments and applications
Goran Frehse (VERIMAG, France)
10:30 - 11:00 Coffee break
11:00 - 11:45 Monitoring and Fault-Diagnosis with Digital Clocks
Franck Cassez (IRCCyN, CNRS, France)
11:45 - 12:30 Weighted Timed Automata: Model-Checking and Games
Patricia Bouyer (LSV, CNRS & ENS de Cachan, France)
12:30 - 14:30 Lunch break
14:30 - 15:30 Optimal Strategies for One-Clock Priced Timed Automata
Kim G. Larsen (Aalborg Univ., Denmark)
15:30 - 16:30 A Lattice Theory to Solve Games of Imperfect Information
Jean-François Raskin (Univ. Libre de Bruxelles, Belgium)
16:30 - 17:00 Coffee break

To register to the workshop, please visit the CONCUR'06 registration web site.
The CORTOS project webpage
Last modified: Fri Aug 25 18:15:36 CEST 2006