Approximately bisimilar finite abstractions of stable linear systems

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

Volumn 4416 LNCS, Issue , 2007, Pages 231-244

  Girard, Antoine ^a  

^a UNIV GRENOBLE ALPES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; CONSTRAINT THEORY; DISCRETE TIME CONTROL SYSTEMS; INFORMATION ANALYSIS; LARGE SCALE SYSTEMS;

COMPOSITIONAL REASONING; FINITE ABSTRACTIONS; HYBRID SYSTEMS;

LINEAR SYSTEMS;

EID: 38049130497     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71493-4_20     Document Type: Conference Paper

References (12)

1. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press (2000)
2. Milner, R.: Communication and Concurrency. Prentice-Hall (1989)
3. Alur, R., Dill, D.: A theory of timed automata. Theor. Comput. Sci. 126(2) (1994) 183-235
4. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T., Ho, P.H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theor. Comput. Sci. 138(1) (1995) 3-34
5. Lafferriere, G., Pappas, G., Yovine, S.: A new class of decidable hybrid systems. In: HSCC'99. Volume 1569 of LNCS., Springer (1999) 137-151
6. Alur, R., Henzinger, T., Lafferriere, G., Pappas, G.: Discrete abstractions of hybrid systems. Proceedings of the IEEE 88 (2000) 971-984
7. Tabuada, P., Pappas, G.J.: Model checking LTL over controllable linear systems is decidable. In: HSCC'03. Volume 2623 of LNCS., Springer (2003) 436-451
8. Asarin, E., Maler, O., Pnueli, A.: Reachability analysis of dynamical systems having piecewise-constant derivatives. Theor. Comput. Sci. 138(1) (1995) 35-65
9. Girard, A., Pappas, G.J.: Approximation metrics for discrete and continuous systems. IEEE Trans. Automatic Control (2005) To appear.
10. Kapinski, J., Krogh, B.H., Maler, O., Stursberg, O.: On systematic simulation of open continuous systems. In: HSCC'03. Volume 2623 of LNCS., Springer (2003) 283-297
11. Girard, A., Pappas, G.: Verification using simulation. In: HSCC'06. Volume 3927 of LNCS., Springer (2006) 272-286
12. Tabuada, P.: Symbolic control of linear systems based on symbolic subsystems. IEEE Trans. Automatic Control 51(6) (2006) 1003-1013