SESSION: TE2 Hybrid systems: theory and applications

CHAIRS:
ORGANIZER:
Verification of an automotive leveler
N. Elia, MIT
Logic and its role in hybrid systems
Sanjoy Mitter, Massachusetts Institute of Technology
A formula for disturbance-to-tracking error gain in a hybrid supervisory control system
A.S. Morse, Yale University
Engine control as a hybrid control problem: models and algorithms
Alberto Sangiovanni-Vincentelli, University of California