Abstract
In this paper, we develop an algorithm to compute under- and over-approximations to the discrete dynamics of a hybrid automaton. We represent the approximations to the dynamics as sofic shifts, which can be generated by a discrete automaton. We restrict to two-dimensional systems, since these give rise to one-dimensional return maps, which are significantly easier to study. Given generic non-degeneracy conditions, the under- and over-approximations computed by our algorithm converge to the discrete dynamics of the hybrid automaton. We apply the algorithms to two simple nonlinear hybrid systems, an affine switching system with hysteresis, and the singularly forced van der Pol oscillator.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alur, R., Henzinger, T.A., Lafferriere, G., Pappas, G.J.: Discrete abstractions of hybrid systems. Proc. IEEE 88, 971–984 (2000)
Tiwari, A., Khanna, G.: Series of abstractions for hybrid automata. In: Tomlin, C.J., Greenstreet, M.R. (eds.) HSCC 2002. LNCS, vol. 2289, pp. 465–478. Springer, Heidelberg (2002)
Lunze, J., Nixdorf, B.: Discrete reachability of hybrid systems. Internat. J. Control 76(14), 1453–1468 (2003)
Moor, T., Raisch, J., O’Young, S.: Discrete supervisory control of hybrid systems based on l-complete approximations. Discrete Event Dyn. Syst. 12(1), 83–107 (2002); WODES 1998, Cagliari
Guckenheimer, J., Johnson, S.: Planar hybrid systems. In: Antsaklis, P.J., Kohn, W., Nerode, A., Sastry, S.S. (eds.) HS 1994. LNCS, vol. 999, pp. 202–225. Springer, Heidelberg (1995)
Grasman, J., Nijmeijer, H., Veling, E.J.M.: Singular perturbations and a mapping on an interval for the forced van der Pol relaxation oscillator. Phys. D 13(1–2), 195–210 (1984)
Bold, K., Edwards, C., Guckenheimer, J., Guharay, S., Hoffman, K., Hubbard, J., Oliva, R., Weckesser, W.: The forced van der Pol equation. II. Canards in the reduced system. SIAM J. Appl. Dyn. Syst. 2(4), 570–608 (2003) (electronic)
Moore, R.E.: Interval analysis. Prentice-Hall Inc., Englewood Cliffs (1966)
Jaulin, L., Kieffer, M., Didrit, O., Walter, É.: Applied interval analysis. Springer, London (2001)
Aberth, O.: Introduction to Precise Numerical Methods. Academic Press, London (2007)
Lind, D., Marcus, B.: An introduction to symbolic dynamics and coding. Cambridge University Press, Cambridge (1995)
Kitchens, B.P.: Symbolic dynamics. In: Universitext. Springer, Berlin (1998) (one-sided, two-sided and countable state Markov shifts)
Katok, A., Hasselblatt, B.: Introduction to the modern theory of dynamical systems. In: Encyclopedia of Mathematics and its Applications, vol. 54. Cambridge University Press, Cambridge (1995)
Milnor, J., Thurston, W.: On iterated maps of the interval. In: Dynamical systems (College Park, MD, 1986–1987). Lecture Notes in Math., vol. 1342, pp. 465–563. Springer, Berlin (1988)
Berz, M., Makino, K.: Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models. Reliab. Comput. 4(4), 361–369 (1998)
Nedialkov, N.S., Jackson, K.R., Corliss, G.F.: Validated solutions of initial value problems for ordinary differential equations. Appl. Math. Comput. 105(1), 21–68 (1999)
Wilczak, D., Zgliczynski, P.: C r Lohner algorithm. oai:arXiv.org:0704.0720 (2007)
Newcomb, R.W., El-Leithy, N.: Chaos generation using binary hysteresis. Circuits Systems Signal Process 5(3), 321–341 (1986)
Guckenheimer, J., Hoffman, K., Weckesser, W.: The forced van der Pol equation. I. The slow flow and its bifurcations. SIAM J. Appl. Dyn. Syst. 2(1), 1–35 (2003) (electronic)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sella, L., Collins, P. (2008). Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata. In: Egerstedt, M., Mishra, B. (eds) Hybrid Systems: Computation and Control. HSCC 2008. Lecture Notes in Computer Science, vol 4981. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78929-1_35
Download citation
DOI: https://doi.org/10.1007/978-3-540-78929-1_35
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-78928-4
Online ISBN: 978-3-540-78929-1
eBook Packages: Computer ScienceComputer Science (R0)