Abstract
Dynamical systems combining different kinds of time are analyzed with the help of homomorphisms which allow time abstraction besides the usual state abstraction and which do preserve fundamental temporal properties. Dynamical systems are composed by restriction, union, synchronization, concatenation and iteration. Thanks to abstraction and structure, the qualitative analysis of systems which are hard to understand can be reduced to that of simpler, homomorphic systems.
Preview
Unable to display preview. Download preview PDF.
References
Akin, E., The General Topology of Dynamical Systems, American Math. Soc., Providence, 1993.
Alur, R., et al., The algorithmic analysis of hybrid systems, Theor. Computer Sci. 138(1995) 3–34.
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.
Asarin, E., O. Maler and A. Pnueli, Reachability analysis of dynamical systems having piecewise-constant derivatives, Theor. Comput. Sci. 138(1995) 35–65.
Alpern, B., and F.B. Schneider, Defining liveness, Information Proc. Letters 21(1985) 181–186.
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.
Collette, P., Design of Compositional Proof Systems — Application to Unity, Ph.D. thesis, U. Louvain, 1994.
Dijkstra, E.W., A Discipline of Programming, Prentice-Hall, Englewood Cliffs, 1976.
Geurts, F., Compositional complexity in dynamical systems, RR95-14, Dept Computing Sci. and Eng., U. Louvain. Also in: Proc. 1995 Intl Symp. on Nonlinear Theory and its Applications, IEICE, Tokyo, 1995.
Ginzburg, A., Algebraic Theory of Automata, Academic Press, New York, 1968.
Guckenheimer, J., A robust hybrid stabilization strategy for equilibria, IEEE Trans. Automatic Control 40(1995) 321–326.
Hedlung, G.A., Endomorphisms and automorphisms of the shift dynamical system, Math. Systems Theory 3(1969) 320–375.
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.
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.
Lamport, L., What good is temporal logic?, in: R. Mason (ed.), Information Processing 83, North-Holland, Amsterdam, 1983, pp. 657–668.
Mazurkiewicz, A., Introduction to trace theory, in: V. Diekert and G. Rozenberg (eds.), The Book of Traces, World Scientific, Singapore, 1995.
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.
Michel, A.N., and K. Wang, Qualitative Theory of Dynamical Systems, Marcel Dekker, New-York, 1995.
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.
Ramadge, P.J., and W.M. Wonham, Modular feedback logic for discrete-event systems, SIAM J. Control and Optimization 25(1987) 1202–1218.
Sintzoff, M., Invariance and contraction by infinite iterations of relations, in: J.P. Banâtre and D. Le Métayer (eds.), Research Directions in High-Level Parallel Programming Languages, LNCS 574, Springer, Berlin, 1992, pp. 349–373.
Sintzoff, M., Invariance and termination in structured dynamical systems, RR95-13, Dept Computing Sci. and Eng., U. Louvain. Also in: Proc. 1995 Intl Symp. on Nonlinear Theory and its Applications, IEICE, Tokyo, 1995.
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.
Wiggins, S., Introduction to Applied Nonlinear Dynamical Systems and Chaos, TAM2, Springer, Berlin, 1990.
Zhang, Y., and A.K. Mackworth, Constraint nets: a semantic model for hybrid dynamic systems, Theor. Computer Sci. 138(1995) 211–239.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sintzoff, M. (1996). Abstract verification of structured dynamical systems. In: Alur, R., Henzinger, T.A., Sontag, E.D. (eds) Hybrid Systems III. HS 1995. Lecture Notes in Computer Science, vol 1066. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0020940
Download citation
DOI: https://doi.org/10.1007/BFb0020940
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61155-4
Online ISBN: 978-3-540-68334-6
eBook Packages: Springer Book Archive