Hybrid Systems: Computation and Control First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings - Henzinger, Thomas A.; Henzinger, Thomas A.; Sastry, Shankar; Sastry, Shankar (Springer Berlin Heidelberg : Imprint: Springer, 1998)