Abstract
We propose a numerical analysis of sequences of points of interest associated to the dynamics of hybrid systems. These sequences are made of instants of switching mode or instants when a particular quantity vanishes. This analysis allows one to discover instant of accumulation points, a.k.a. Zeno phenomenon. Some examples are given to show the potential of this approach.
This research was partially supported by the ANR INS Project CAFEIN (ANR-12-INSE-0007).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Alexandre dit Sandretto, J., Chapoutot, A.: DynBEX: a differential constraint library for studying dynamical systems. In: Conference on Hybrid Systems: Computation and Control (HSCC 2016), Vienne, Austria, April 2016
Bouissou, O., Chapoutot, A.: An operational semantics for Simulink’s simulation engine. In: Languages, Compliers, Tools, and Theory for Embedded Systems, pp. 129–138. ACM (2012)
Bouissou, O., Chapoutot, A., Mimram, S.: HySon: precise simulation of hybrid systems with imprecise inputs. In: Rapid System Prototyping. IEEE (2012)
Brezinski, C., Redivo Zaglia, M.: Extrapolation Methods-Theory and Practice. North-Holland, Amsterdam (1991)
Brezinski, C., Redivo Zaglia, M.: Generalizations of Aitken’s process for accelerating the convergence of sequences. Comput. Appl. Math. 26(2), 171–189 (2007)
Esposito, J.M., Kumar, V., Pappas, G.J.: Accurate event detection for simulating hybrid systems. In: Benedetto, M.D., Sangiovanni-Vincentelli, A. (eds.) HSCC 2001. LNCS, vol. 2034, pp. 204–217. Springer, Heidelberg (2001). doi:10.1007/3-540-45351-2_19
Goebel, R., Hespanha, J., Teel, A.R., Cai, C., Sanfelice, R.: Hybrid systems: Generalized solutions and robust stability. In: IFAC NOLCOS, pp. 1–12 (2004)
Hairer, E., Nørsett, S.P., Wanner, G.: Solving Ordinary Differential Equations I: Nonstiff Problems. Springer, Heidelberg (1993)
Henzinger, T.A.: The theory of hybrid automata. In: Symposium on Logic in Computer Science, pp. 278–292. IEEE Computer Society Press (1996)
Konečný, M., Taha, W., Bartha, F.A., Duracz, J., Duracz, A., Ames, A.D.: Enclosing the behavior of a hybrid automaton up to and beyond a zeno point. Nonlinear Anal. Hybrid Syst. 20, 1–20 (2016)
Rudin, W.: Principles of Mathematical Analysis. McGraw-Hill, New York (1976)
Shampine, L., Gladwell, I., Thompson, S.: Solving ODEs with MATLAB. Cambridge Univ. Press, Cambridge (2003)
Zhang, F., Yeddanapudi, M., Mosterman, P.J.: Zero-crossing location and detection algorithms for hybrid system simulation. In: IFAC World Congress, pp. 7967–7972 (2008)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Chapoutot, A., Alexandre dit Sandretto, J. (2017). Studying Sequences of Jumps in Hybrid Systems to Detect Zeno Phenomenon. In: Bogomolov, S., Martel, M., Prabhakar, P. (eds) Numerical Software Verification. NSV 2016. Lecture Notes in Computer Science(), vol 10152. Springer, Cham. https://doi.org/10.1007/978-3-319-54292-8_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-54292-8_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-54291-1
Online ISBN: 978-3-319-54292-8
eBook Packages: Computer ScienceComputer Science (R0)