Automating Verification of Cooperation, Control, and Design in Traffic Applications - Formal Methods and Hybrid Real-Time Systems - page 163

24. Haxthausen, A.E., Peleska, J.: Formal development and verification of a distributed
railway control system. IEEE Transactions on Software Engineering 26(8), 687-701
(2000)
25. Henzinger, T.A.: The theory of hybrid automata. In: Proc. 11th IEEE Symposium
on Logic in Computer Science, pp. 278-292. IEEE Computer Society Press, Los
Alamitos (1996)
26. Henzinger, T.A., Ho, P.-H., Wong-Toi, H.: Algorithmic analysis of nonlinear hybrid
systems. IEEE Transactions on Automatic Control 43(5), 540-554 (1998)
27. Henzinger, T.A., Horowitz, B., Majumdar, R., Wong-Toi, H.: Beyond HyTech:
Hybrid systems analysis using interval numerical methods. In: Lynch, N.A., Krogh,
B.H. (eds.) HSCC 2000. LNCS, vol. 1790, pp. 130-144. Springer, Heidelberg (2000)
28. Johansson, M., Rantzer, A.: Computation of piecewise quadratic Lyapunov func-
tions for hybrid systems. IEEE Transactions on Automatic Control 43 (1998)
29. Khalil, H.K.: Nonlinear Systems, 2nd edn. Prentice-Hall, Englewood Cliffs (1996)
30. Kratz, F., Sokolsky, O., Pappas, G.J., Lee, I.: R-Charon, a modeling language for
reconfigurable hybrid systems. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006.
LNCS, vol. 3927, pp. 392-406. Springer, Heidelberg (2006)
31. Leveson, N.G.: Safeware: System Safety and Computers. Addison-Wesley, Reading
(1995)
32. Livadas, C., Lygeros, J., Lynch, N.A.: High-level modeling and analysis of TCAS.
Proceedings of IEEE - Special Issue on Hybrid Systems: Theory & Applica-
tions 88(7), 926-947 (2000)
33. Lofberg, J.: YALMIP: a toolbox for modeling and optimization in Matlab. In:
IEEE Intern. Symp. Computer Aided Control Systems Design, pp. 284-289. IEEE
Computer Society Press, Los Alamitos (2004)
34. Loos, R., Weispfenning, V.: Applying linear quantifier elimination. The Computer
Journal 36(5), 450-462 (1993)
35. Lyapunov, M.A.: Problème général de la stabilité du movement. Ann. Fac. Sci.
Toul ouse . 9, 203-474 (1907) (Translation of a paper published in Comm. Soc. Math.
Kharkow, 1893, reprinted Ann. Math. Studies No. 17, Princeton Univ. Press, 1949).
36. Lygeros, J., Godbole, D.N., Sastry, S.S.: Verified hybrid controllers for automated
vehicles. IEEE Transactions on Automatic Control 43(4), 522-539 (1998)
37. Lynch, N.A., Segala, R., Vaandrager, F.W.: Hybrid I/O automata revisited. In:
Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS,
vol. 2034, pp. 403-417. Springer, Heidelberg (2001)
38. Lynch, N.A., Segala, R., Vaandrager, F.W.: Hybrid I/O automata. Information
and Computation 185(1), 105-157 (2003)
39. Mishchenko, A., Chatterjee, S., Jiang, R., Brayton, R.K.: FRAIGs: A unifying
representation for logic synthesis and verification. Technical report, EECS Dept.,
UC Berkeley (2005)
40. Nesterov, Y., Nemirovskii, A.: Interior Point Polynomial Algorithms in Convex
Programming. In: SIAM (1994)
41. Oehlerking, J., Burchardt, H., Theel, O.: Fully automated stability verification for
piecewiseanesystems.In:Buttazzo,G.,Bemporad,A.,Bicchi,A.(eds.)HSCC
2007. LNCS, vol. 4416, pp. 741-745. Springer, Heidelberg (2007)
42. Pettersson, S.: Analysis and Design of Hybrid Systems. PhD thesis, Chalmers Uni-
versity of Technology, Gothenburg (1999)
43. Platzer, A.: Differential dynamic logic for verifying parametric hybrid systems. In:
Olivetti, N. (ed.) TABLEAUX 2007. LNCS, vol. 4548, Springer, Heidelberg (2007)