Oded Maler

Hybrid and Real-Time Systems

International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings

This book constitutes the refereed proceedings of the International Workshop on Hybrid and Real-Time Systems, HART'97, held in Grenoble, France, in Ma...

Hybrid Systems: Computation and Control

6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings

This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Control (HSCC 2003), which was held in Prague, during Ap...

Hybrid Systems: Computation and Control

6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings

This book constitues the refereed proceedings of the 6th International Workshop on Hybrid Systems: Computation and Control, HSCC 2003, held in Prague,...

Verification and Synthesis of Hybrid Systems

Hybrid systems arise in applications such as chemical process control, air traffic management systems, and robotics. As today's automated systems grow...

Verification and Synthesis of Hybrid Systems

Hybrid systems arise in applications such as chemical process control, air traffic management systems, and robotics. As today's automated systems grow...