References

References

[1]

C. Belta, J. Schug, T. Dang, V. Kumar, G. Pappas, H. Rubin, and P. Dunlap. Stability and reachability analysis of a hybrid model of luminescence in the marine bacterium vibrio fisheri. In CDC'01 - Conference on Decision and Control. Florida, USA, 2001.

[2]

E. Clarke, O. Grumberg, S. Jha, Y. Lu, and H. Veith. Counterexample-guided abstraction refinement for symbolic model checking. Journal of the ACM, 50(5):752-794, 2003.

[3]

A. Fehnker and F. Ivancic. Benchmarks for hybrid systems verification. In R. Alur and G. J. Pappas, editors, HSCC'04, number 2993 in LNCS. Springer, 2004.

[4]

G. Frehse. PHAVer: Algorithmic verification of hybrid systems past HyTech. In M. Morari and L. Thiele, editors, Hybrid Systems: Computation and Control, volume 3414 of LNCS. Springer, 2005.

[5]

D. Godbole and J. Lygeros. Longitudinal control of the lead car of a platoon. IEEE Transactions on Vehicular Technology, 43(4):1125-1135, 1994.

[6]

K. G. Larsen, P. Pettersson, and W. Yi. Model-checking for real-time systems. In Proc. of Fundamentals of Computation Theory, number 965 in Lecture Notes in Computer Science, pages 62-88, Aug. 1995.

[7]

J. Preußig, S. Kowalewski, H. Wong-Toi, and T. Henzinger. An algorithm for the approximative analysis of rectangular automata. In 5th Int. School and Symp. on Formal Techniques in Fault Tolerant and Real Time Systems, number 1486 in LNCS. Springer, 1998.

[8]

A. Puri and P. Varaiya. Driving safely in smart cars. In Proc. of the 1995 American Control Conference, pages 3597-3599, 1995.

[9]

T. Stauner, O. Müller, and M. Fuchs. Using HYTECH to verify an automative control system. In HART '97: Proceedings of the International Workshop on Hybrid and Real-Time Systems, pages 139-153, London, UK, 1997. Springer-Verlag.

[10]

O. Stursberg, S. Kowalewski, and S. Engell. On the generation of timed discrete approximations for continuous systems. Mathematical and Computer Models of Dynamical Systems, 6:51-70, 2000.

[11]

O. Stursberg, S. Kowalewski, I. Hoffmann, and J. Preußig. Comparing timed and hybrid automata as approximations of continuous systems. In P. J. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors, Hybrid Systems, number 1273 in LNCS, pages 361-377. Springer, 1997.

[12]

A. Tiwari. Approximate reachability for linear systems. In O. Maler and A. Pnueli, editors, Hybrid Systems: Computation and Control (HSCC), volume 2623 of LNCS. Springer, 2003.

References