SESSION: ThE2 Modeling and control of hybrid systems - Part I

CHAIRS:
ORGANIZER:
Piecewise-linear systems as interconnected automata and linear systems
Eduardo D. Sontag, Rutgers University
Hybrid I/O automata for the compositional analysis of hybrid systems
Roberto Segala, Università di Bologna
A ``hybrid'' stochastic Petri net approach to fault diagnosis in large distributed systems
Eric Fabre, IRISA/INRIA Rennes - Campus de Beaulieu, A. Aghasaryan, IRISA/INRIA Rennes - Campus de Beaulieu, A. Benveniste, IRISA/INRIA Rennes - Campus de Beaulieu, R. Boubour, IRISA/INRIA Rennes - Campus de Beaulieu
The selection of model classes of hybrid control systems
Jan H. van Schuppen, CWI