Trajectory based verification using local Finite-Time invariance

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5469, Issue , 2009, Pages 223-236

  Julius, A Agung ^a   Pappas, George J ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BARRIER FUNCTIONS; BISIMULATION; COMPUTATIONAL SCHEMES; EXECUTION TRACE; EXISTING METHOD; PARALLEL STRUCTURES; PARTIAL VERIFICATION; POLYNOMIAL SYSTEMS; REACHABILITY ANALYSIS; S-PROCEDURE; TIME INVARIANCE; TRAJECTORY-BASED;

ELECTRIC GROUNDING; HYBRID COMPUTERS;

HYBRID SYSTEMS;

EID: 67650230386     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-00602-9_16     Document Type: Conference Paper

References (31)

1. Balluchi, A., Di Natale, F., Sangiovanni-Vincentelli, A., van Schuppen, J.H.: Synthesis for idle speed control of an automotive engine. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993, pp. 80-94. Springer, Heidelberg (2004)
2. Platzer, A., Quesel, J.-D.: Logical verification and systematic parametric analysis in train control. In: Egerstedt, M., Mishra, B. (eds.) HSCC 2008. LNCS, vol. 4981, pp. 646-649. Springer, Heidelberg (2008)
3. Tomlin, C., Pappas, G.J., Sastry, S.: Conflict resolution for air traffic management: a study in multi-agent hybrid systems. IEEE Trans. Automatic Control 43, 509-521 (1998) (Pubitemid 128737375)
4. Hu, J., Prandini, M., Sastry, S.: Probabilistic safety analysis in three dimensional aircraft flight. In: Proc. 42nd IEEE Conf. Decision and Control, Maui, USA, pp. 5335-5340 (2003)
5. Belta, C., Schug, J., Dang, T., Kumar, V., Pappas, G.J., Rubin, H., Dunlap, P.: Stability and reachability analysis of a hybrid model of luminescence in the marine bacterium vibrio fischeri. In: Proc. IEEE Conf. Decision and Control, Orlando, Florida, pp. 869-874 (2001) (Pubitemid 34139031)
6. Ghosh, R., Amondlirdviman, K., Tomlin, C.: A hybrid systems model of planar cell polarity signaling in drosophila melanogaster wing epithelium. In: Proc. IEEE Conf. Decision and Control, Las Vegas (2002)
7. Kurzhanski, A.B., Varaiya, P.: Ellipsoidal technique for reachability analysis. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol. 1790, pp. 202-214. Springer, Heidelberg (2000)
8. Mitchell, I., Tomlin, C.J.: Level set methods in for computation in hybrid systems. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol. 1790, pp. 310-323. Springer, Heidelberg (2000)
9. Asarin, E., Bournez, O., Dang, T., Maler, O.: Approximate reachability analysis of piecewise-linear dynamical systems. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol. 1790, pp. 21-31. Springer, Heidelberg (2000)
10. Kapinski, J., Krogh, B.H.: A new tool for verifying computer controlled systems.In: Proc. IEEE Conf. Computer-Aided Control System Design, Glasgow, pp. 98-103 (2002)
11. Alur, R., Dang, T., Ivancic, F.: Reachability analysis of hybrid systems via predicate abstraction. In: Tomlin, C.J., Greenstreet, M.R. (eds.) HSCC 2002. LNCS, vol. 2289, pp. 35-48. Springer, Heidelberg (2002)
12. Stursberg, O., Krogh, B.H.: Efficient representation and computation of reachable sets for hybrid systems. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol. 2623, pp. 482-497. Springer, Heidelberg (2003)
13. Han, Z., Krogh, B.H.: Reachability analysis of hybrid control systems using reduced-order models. In: Proc. American Control Conference, pp. 1183-1189 (2004)
14. Prajna, S., Jadbabaie, A.: Safety verification of hybrid systems using barrier certifi-cates. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993, pp. 477-492. Springer, Heidelberg (2004)
15. Frehse, G.: PHAVer: Algorithmic verification of hybrid systems past HyTech. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol. 3414, pp. 258-273. Springer, Heidelberg (2005) (Pubitemid 41252072)
16. Girard, A.: Reachability of uncertain linear systems using zonotopes. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol. 3414, pp. 291-305. Springer, Heidelberg (2005) (Pubitemid 41252074)
17. Julius, A.A., Fainekos, G., Anand, M., Lee, I., Pappas, G.J.: Robust test generation and coverage for hybrid systems. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol. 4416, pp. 329-342. Springer, Heidelberg (2007)
18. Julius, A.A., Pappas, G.J.: Probabilistic testing for stochastic hybrid systems. In: Proc. IEEE Conf. Decision and Control, Cancun, Mexico (2008)
19. Esposito, J.M.: Randomized test case generation for hybrid systems verification. In: Proc. 36th Southeastern Symposium of Systems Theory (2004)
20. Branicky, M.S., Curtiss, M.M., Levine, J., Morgan, S.: RRTs for nonlinear, discrete, and hybrid planning and control. In: Proc. IEEE Conf. Decision and Control, Hawaii, USA (2003)
21. Bhatia, A., Frazzoli, E.: Incremental search methods for reachability analysis of continuous and hybrid systems. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993, pp. 142-156. Springer, Heidelberg (2004)
22. Asarin, A., Dang, T., Girard, A.: Reachability analysis of nonlinear systems using conservative approximation. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol. 2623, pp. 20-35. Springer, Heidelberg (2003)
23. Han, Z., Krogh, B.H.: Reachability analysis of nonlinear systems using trajectory piecewise linearized models. In: Proc. American Control Conference, Minneapolis (2006)
24. Donzé, A., Maler, O.: Systematic simulation using sensitivity analysis. In: Bempo-rad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol. 4416, pp. 174-189. Springer, Heidelberg (2007)
25. Lohmiller, W., Slotine, J.J.E.: On contraction analysis for nonlinear systems. Au-tomatica 34, 683-696 (1998)
26. Tan, W., Packard, A., Wheeler, T.: Local gain analysis on nonlinear systems. In: Proc. American Control Conference, Minneapolis (2006)
27. Girard, A., Pappas, G.J.: Verification using simulation. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol. 3927, pp. 272-286. Springer, Heidelberg (2006) (Pubitemid 44019593)
28. Lerda, F., Kapinski, J., Clarke, E.M., Krogh, B.H.: Verification of supervisory control software using state proximity and merging. In: Egerstedt, M., Mishra, B. (eds.) HSCC 2008. LNCS, vol. 4981, pp. 344-357. Springer, Heidelberg (2008)
29. Boyd, S., El Ghaoui, L., Feron, E., Balakrishnan, V.: Linear Matrix Inequalities in Systems and Control Theory. SIAM, Philadelphia (1994)
30. Khalil, H.K.: Nonlinear Systems, 3rd edn. Prentice-Hall, Englewood Cliffs (2002)
31. Prajna, S., Papachristodoulou, A., Seiler, P., Parillo, P.A.: SOSTOOLS and its control application. In: Positive polynomials in control. Springer, Heidelberg (2005)