Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces

DOI10.1007/978-3-642-00602-9_10zbMath1237.93088OpenAlexW1875975371MaRDI QIDQ3624568

J. M. Davoren

Publication date: 30 April 2009

Published in: Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-00602-9_10

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items

Crossing the Bridge between Similar Games, Quantitative monitoring of STL with edit distance, Quantifying conformance using the Skorokhod metric, Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems

Uses Software

• WIGGLE

Cites Work

• The algorithmic analysis of hybrid systems
• Solutions to hybrid inclusions via set and graphical convergence with stability theory applications
• Continuous selections of trajectories of hybrid systems
• Pseudo-norms and partial orderings in Abelian groups
• On Simulations and Bisimulations of General Flow Systems
• Variational Analysis
• Dynamical properties of hybrid automata
• Impulse differential inclusions: a viability approach to hybrid systems
• Smooth Lyapunov Functions for Hybrid Systems—Part I: Existence Is Equivalent to Robustness
• Invariance Principles for Hybrid Systems With Connections to Detectability and Asymptotic Stability
• Hybrid Systems: Computation and Control
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Convergence of stochastic processes