Abstract verification of structured dynamical systems

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

Volumn 1066, Issue , 1996, Pages 126-137

  Sintzoff, Michel ^a  

^a UNIVERSITÉ CATHOLIQUE DE LOUVAIN   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; HYBRID SYSTEMS;

HOMOMORPHIC SYSTEMS; QUALITATIVE ANALYSIS; STATE ABSTRACTION; TEMPORAL PROPERTY;

DYNAMICAL SYSTEMS;

EID: 35048897931     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0020940     Document Type: Conference Paper

References (25)

1. Akin, E., The General Topology of Dynamical Systems, American Math. Soc., Providence, 1993.
2. Alur, R., et al., The algorithmic analysis of hybrid systems, Theor. Computer Set. 138 (1995) 3-34.
3. Alfaro, L. de, and Z. Manna, Verification in continuous time by discrete time reasoning, in: V.S. Alagar and M. Nivat (eds.), Algebraic Methodology and Software Technology, LNCS 936, Springer, Berlin, 1995, pp. 292-306.
4. Asarin, E., O. Maler and A. Pnueli, Reachability analysis of dynamical systems having piecewise-constant derivatives, Theor. Comput. Sci. 138 (1995) 35-65.
5. Alpern, B., and F.B. Schneider, Defining liveness, Information Proc. Letters 21 (1985) 181-186.
6. Benveniste, A., M. Le Borgne and P. Le Guernic, Hybrid systems: the SIGNAL approach, in: R.L. Grossman et al. (eds.), Hybrid Systems, LNCS 736, Springer, Berlin, 1992, pp. 230-254.
7. Collette, P., Design of Compositional Proof Systems - Application to Unity, Ph.D. thesis, U. Louvain, 1994.
8. Dijkstra, E.W., A Discipline of Programming, Prentice-Hall, Englewood Cliffs, 1976.
9. Geurts, F., Compositional complexity in dynamical systems, RR95-14, Dept Computing Sci. and Eng., U. Louvain. Also in: Proc. 1995 Inti Symp. on Nonlinear Theory and its Applications, IEICE, Tokyo, 1995.
10. Ginzburg, A., Algebraic Theory of Automata, Academic Press, New York, 1.968.
11. Guckenheimer, J., A robust hybrid stabilization strategy for equilibria, IEEE Trans. Automatic Control 40 (1995) 321-326.
12. Hedlung, G.A., Endomorphisms and automorphisms of the shift dynamical system, Math. Systems Theory 3 (1969) 320-375.
13. Kumar, R., V. Garg and S.I. Marcus, Predicates and predicate transformers for supervisory control of discrete event dynamical systems, IEEE Trans. Automatic Control 38 (1993) 232-247.
14. Kwiatkowska, M.Z., On topological characterization of behavioural properties, in: G.M. Reed et al. (eds), Topology and Category Theory in Computer Science, Oxford Sci. Publ., 1991, 153-177.
15. Lamport, L., What good is temporal logic?, in: R. Mason (ed.), Information Processing 83, North-Holland, Amsterdam, 1983, pp. 657-668.
16. Mazurkiewicz, A., Introduction to trace theory, in: V. Diekert and G. Rozenberg (eds.), The Book of Traces, World Scientific, Singapore, 1995.
17. Maler, O., Z. Manna and A. Pnueli, From timed to hybrid systems, in: J.W. de Bakker et al. (eds.), Real Time: Theory and Practice, LNCS 600, Springer, Berlin, 1992, pp. 447-484.
18. Michel, A.N., and K. Wang, Qualitative Theory of Dynamical Systems, Marcel Dekker, New-York, 1995.
19. Nerode, A., and W. Kohn, Models of hybrid systems: Automata, topologies, controllability, observability, in: R.L. Grossman et al. (eds.), Hybrid Systems, LNCS 736, Springer, Berlin, 1992, pp. 317-356.
20. Ramadge, P.J., and W.M. Wonham, Modular feedback logic for discrete-event systems, SIAM J. Control and Optimization 25 (1987) 1202-1218.
21. Sintzoff, M., Invariance and contraction by infinite iterations of relations, in: J.P. Banaˆtre and D. Le Métayer (eds.), Research Directions in High-Level Parallel Programming Languages, LNCS 574, Springer, Berlin, 1992, pp. 349-373.
22. Sintzoff, M., Invariance and termination in structured dynamical systems, RR95-13, Dept Computing Sci. and Eng., U. Louvain. Also in: Proc. 1995 Inti Symp. on Nonlinear Theory and its Applications, IEICE, Tokyo, 1995.
23. Sintzoff, M., and F. Geurts, Analysis of dynamical systems using predicate transformers - Attraction and composition, in: S.I. Andersson (ed.), Analysis of Dynamical and Cognitive Systems, LNCS 888, Springer, Berlin, 1995, pp. 227-260.
24. Wiggins, S., Introduction to Applied Nonlinear Dynamical Systems and Chaos, TAM2, Springer, Berlin, 1990.
25. Zhang, Y., and A.K. Mackworth, Constraint nets: a semantic model for hybrid dynamic systems, Theor. Computer Sci. 138 (1995) 211-239.