Abstract
We develop several generalized Skorokhod pseudo-metrics for hybrid path spaces, cast in a quite general setting, where the basic open sets are epsilon-tubes around paths that, intuitively, allow for some “wiggle room” in both time and space via set-valued retiming maps between the time domains of paths. We then determine necessary and sufficient conditions under which these topologies are Hausdorff and their distance functions are metrics. On spaces of paths with closed time domains, our metric topology of generalized Skorokhod uniform convergence on finite prefixes is equivalent to the implicit topology of graphical convergence of hybrid paths, currently used extensively by Teel and co-workers.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Goebel, R., Hespanha, J., Teel, A.R., Cai, C., Sanfelice, R.: Hybrid systems: Generalized solutions and robust stability. In: IFAC Symp. Nonlinear Control Systems, pp. 1–12 (2004)
Collins, P.J.: A trajectory-space approach to hybrid systems. In: Proc. of 16th Int. Symp. on Math. Theory of Networks and Systems, MTNS 2004 (2004)
Goebel, R., Teel, A.R.: Solutions to hybrid inclusions via set and graphical convergence with stability theory applications. Automatica 42, 596–613 (2006)
Cai, C., Teel, A., Goebel, R.: Smooth Lyapunov functions for hybrid systems. Part I: existence is equivalent to robustness. IEEE Trans. Aut. Control 52, 1264–1277 (2007)
Collins, P.J.: Generalized hybrid trajectory spaces. In: Proc. of 17th Int. Symp. on Math. Theory of Networks and Systems (MTNS 2006), pp. 2101–2109 (2006)
Sanfelice, R., Goebel, R., Teel, A.R.: Invariance principles for hybrid systems with connections to detectability and asymptotic stability. IEEE Trans. Aut. Control 52, 2282–2297 (2007)
Aubin, J.P., Lygeros, J., Quincampoix, M., Sastry, S., Seube, N.: Impulse differential inclusions: A viability approach to hybrid systems. IEEE Trans. Aut. Control 47, 2–20 (2002)
Lygeros, J., Johansson, K.H., Simic, S.N., Zhang, J., Sastry, S.S.: Dynamical properties of hybrid automata. IEEE Trans. Automatic Control 48, 2–16 (2003)
Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoretical Computer Science 138, 3–34 (1995)
Alur, R., Henzinger, T.A., Ho, P.-H.: Automatic symbolic verification of embedded systems. IEEE Trans. on Software Engineering 22, 181–201 (1996)
Davoren, J.M., Nerode, A.: Logics for hybrid systems. Proc. of the IEEE 88, 985–1010 (2000)
Davoren, J.M., Coulthard, V., Markey, N., Moor, T.: Non-deterministic temporal logics for general flow systems. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993, pp. 280–295. Springer, Heidelberg (2004)
Davoren, J.M., Tabuada, P.: On simulations and bisimulations of general flow systems. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol. 4416, pp. 145–158. Springer, Heidelberg (2007)
der Schaft, A.V., Schumacher, J.: An Introduction to Hybrid Dynamical Systems (2000)
Julius, A.: On Interconnection and Equivalences of Continuous and Discrete Systems: A Behavioural Perspective. The University of Twente, PhD thesis (2005)
Rockafellar, R., Wets, R.J.: Variational Analysis. Springer, Berlin (1998)
Broucke, M.: Regularity of solutions and homotopic equivalence for hybrid systems. In: 37th IEEE Conference on Decision and Control (CDC 1998), pp. 4283–4288 (1998)
Broucke, M.E., Arapostathis, A.: Continuous selections of trajectories of hybrid systems. Systems and Control Letters 47, 149–157 (2002)
Kossentini, C., Caspi, P.: Mixed delay and threshold voters in critical real-time systems. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS 2004 and FTRTFT 2004. LNCS, vol. 3253, pp. 21–35. Springer, Heidelberg (2004)
Pollard, D.: Convergence of Stochastic Processes. Springer, New York (1984)
Davoren, J., Epstein, I.: Topologies and convergence in general hybrid path spaces. In: Proc. of 18th Int. Symp. on Math. Theory of Networks and Systems (MTNS 2008) (2008)
Goodearl, K.: Partially Ordered Abelian Groups With Interpolation. Mathematical Surveys and Monographs. American Mathematical Society, Providence (1986)
Stone, M.H.: Pseudo-norms and partial orderings in abelian groups. Annals of Mathematics (series 2) 48, 851–856 (1947)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Davoren, J.M. (2009). Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces. In: Majumdar, R., Tabuada, P. (eds) Hybrid Systems: Computation and Control. HSCC 2009. Lecture Notes in Computer Science, vol 5469. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-00602-9_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-00602-9_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-00601-2
Online ISBN: 978-3-642-00602-9
eBook Packages: Computer ScienceComputer Science (R0)