SESSION: TM2 Modeling and control of hybrid systems - Part II

CHAIRS:
ORGANIZER:
A hybrid systems framework for the control design of multiple autonomous underwater vehicle systems
Fernando Lobo Perreira, Universidade do Porto, Joao Borges Sousa,
Controller synthesis for hybrid systems
Oded Maler, Verimag, Eugene Asarin, , Amir Pnueli, , Joseph Sifakis,
Gaming techniques for hybrid controller synthesis
John Lygeros, University of California at Berkeley
Discussion on modeling, verification, and control of hybrid systems (chaired by J.H. van Schuppen)
Jan H. van Schuppen (moderator), CWI