Hybrid Systems: Computation and Control

This book constitutes the proceedings of the Second International Workshop on Hybrid Systems, Computation and Control, HSCC'99, held in Berg en Dal near Nijmegen, The Netherlands in March 1999. The 19 revised full papers presented were carefully reviewed and selected from a total of 44 submissions. Hybrid systems combine aspects from computer science and control theory. The papers in this volume focus on modeling, control, synthesis, design and verification of hybrid systems.