Hybrid Systems: Computation and Control: Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999 Proceedings (Lecture Notes in Computer Science)

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.