Verification using simulation

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

Volumn 3927 LNCS, Issue , 2006, Pages 272-286

  Girard, Antoine ^a   Pappas, George J ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INFINITE-STATE SYSTEMS; METRIC TRANSITION SYSTEMS; SIMULATION-BASED VERIFICATION;

COMPUTATIONAL COMPLEXITY; COMPUTER SIMULATION; LINEAR SYSTEMS; ROBUSTNESS (CONTROL SYSTEMS);

SYSTEMS ANALYSIS;

EID: 33745791548     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11730637_22     Document Type: Conference Paper

References (19)

1. Alur, R., Grosu, R., Hur, Y., Kumar, V., Lee, I.: Modular specification of hybrid systems in charon. In: HSCC '00: Proceedings of the 3rd International Workshop on Hybrid Systems. Volume 1790 of Lecture Notes In Computer Science., SpringerVerlag (2000) 6-19
2. Kapinski, J., Krogh, B.H., Maler, O., Stursberg, O.: On systematic simulation of open continuous systems. In: Hybrid Systems: Computation and Control. Volume 2623 of LNCS., Springer (2003) 283-297
3. Lee, E.A., Zheng, H.: Operational semantics of hybrid systems. In: HSCC '05: Proceedings of the 8th International Workshop on Hybrid Systems. Volume 3414 of Lecture Notes In Computer Science., Springer-Verlag (2005) 25-53
4. Alur, R., Dang, T., Ivancic, F.: Counter-example guided predicate abstraction of hybrid systems. In: Tools and Algorithms for the Construction and Analysis of Systems. Volume 2619 of LNCS., Springer (2003) 208-223
5. Clarke, E., Fehnker, A., Ran, Z., Krogh, B., Ouaknine, J., Stursberg, O., Theobald, M.: Abstraction and counterexample-guided refinement in model checking of hybrid systems. International Journal of Foundations of Computer Science 14(4) (2003)
6. Prajna, S., Jadbabaie, A.: Safety verification of hybrid systems using barrier certificates. In: Hybrid Systems: Computation and Control. Volume 2993 of Lecture Notes in Computer Science., Springer (2004) 477 - 492
7. Mitchell, I., Tomlin, C.: Level set methods for computation in hybrid systems. In: Hybrid Systems: Computation and Control. Volume 1790 of LNCS., Springer (2000)
8. Frehse, G.: Phaver: Algorithmic verification of hybrid systems past hytech. In: HSCC '05: Proceedings of the 8th International Workshop on Hybrid Systems. Volume 3414 of Lecture Notes In Computer Science. (2005) 258-273
9. Girard, A.: Reachability of uncertain linear systems using zonotopes. In: Hybrid Systems: Computation and Control. Volume 3414 of Lecture Notes in Computer Science., Springer (2005) 291-305
10. de Alfaro, L., Faella, M., Stoelinga, M.: Linear and branching metrics for quantitative transition systems. In: ICALP'04. Volume 3142 of LNCS., Springer (2004) 1150-1162
11. Girard, A., Pappas, G.J.: Approximation metrics for discrete and continuous systems. Technical Report MS-CIS-05-10, Dept. of CIS, University of Pennsylvania (2005)
12. Girard, A., Pappas, G.J.: Approximate bisimulations for constrained linear systems. In: Proc. IEEE Conference on Decision and Control and European Control Conference, Seville, Spain (2005) 4700-4705
13. Girard, A., Pappas, G.J.: Approximate bisimulations for nonlinear dynamical systems. In: Proc. IEEE Conference on Decision and Control and European Control Conference, Seville, Spain (2005) 684-689
14. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press (2000)
15. Haghverdi, E., Tabuada, P., Pappas, G.J.: Bisimulation relations for dynamical, control, and hybrid systems. Theoretical Computer Science 342(2-3) (2005) 229-262
16. Pappas, G.J.: Bisimilar linear systems. Automatica 39(12) (2003) 2035-2047
17. van der Schaft, A.: Equivalence of dynamical systems by bisimulation. IEEE Transactions on Automatic Control 49(12) (2004) 2160-2172
18. Sturm, J.F.: Using SEDUMI 1.02, a MATLAB toolbox for optimization over symmetric cones. Optimization Methods and Softwares 11-12 (1999) 625-653
19. Clarke, E., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-guided abstraction refinement. In: Computer Aided Verification. Volume 1855 of LNCS., Springer (2000) 154-169