References

1

R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Proc. of the 11th Intl. Conference on Analysis and Optimization of Discrete Event Systems, pp. 331-351. Springer-Verlag, 1994. Lecture Notes in Control and Information Sciences 199.

2

J. Guckenheimer and S. Johnson. Planar hybrid systems. In Hybrid Systems II, pp. 202-225. Springer-Verlag, 1995. Lecture Notes in Computer Science 999.

3

P. J. Mosterman and G. Biswas. A Formal Hybrid Modeling Scheme for Handling Discontinuities in Physical System Models. In AAAI-96, pages 985-990, Portland, Oregon, August 1996. AAAI Press, 445 Burgess Drive, Menlo Park, CA, 94025.

4

P. J. Mosterman and G. Biswas. Hybrid modeling specifications for dynamic physical systems. In 1997 Intl. Conference on Bond Graph Modeling and Simulation, pp. 162-167, Phoenix, AZ, January 1997.

5

P. J. Mosterman and G. Biswas. A theory of discontinuities in dynamic physical systems. Journal of the Franklin Institute, 334B(6), 1997.

6

P. J. Mosterman, G. Biswas, and J. Sztipanovits. Hybrid modeling and verification of embedded control systems. In Proc. of the IFAC CACSD '97 Symposium, pp. 21-26, Gent, Belgium, April 1997.

7

W. Rudin. Principles of Mathematical Analysis. McGraw-Hill, New York, 3 edition, 1976.