Hybrid systems research focuses on modelling, design and validation of interacting systems (plants) and computer programs (control automata). This volume is devoted to the following topics: hybrid systems models; formal verification; computer simulation; goal reachability; algorithms for extracting hybrid control programs; and application models for avionics, highway traffic control and air traffic control.