Professional Documents
Culture Documents
High-Level Modeling and Analysis of An Air-Traffic Management System
High-Level Modeling and Analysis of An Air-Traffic Management System
Nancy Lynch
References
1. N.A. Lynch, R. Segala, F.W. Vaandrager, and H.B. Weinberg. Hybrid I/O au-
tomata. In R. Alur, T.A. Henzinger, and E.D. Sontag, editors, Hybrid Systems III,
volume 1066 of Lecture Notes in Computer Science, pages 496–510. Springer-Verlag,
1996.
?
Based on joint work with Carl Livadas and John Lygeros.
F.W. Vaandrager and J.H. van Schuppen (Eds.): HSCC’99, LNCS 1569, pp. 3–3, 1999.
c Springer-Verlag Berlin Heidelberg 1999