Hybrid automata: an insight into the discrete abstraction of discontinuous systems

DOI10.1080/00207721.2010.495189zbMath1260.93013OpenAlexW2122321090MaRDI QIDQ4909026

Rebekah Carter, Eva María Navarro-López

Publication date: 12 March 2013

Published in: International Journal of Systems Science (Search for Journal in Brave)

Full work available at URL: https://www.research.manchester.ac.uk/portal/en/publications/hybrid-automata-an-insight-into-the-discrete-abstraction-of-discontinuous-systems(0308b289-e688-4e21-bdfd-5e8334964779).html

zbMATH Keywords

hybrid systemssymbolic dynamicshybrid automatadiscontinuous systemssliding motionsModelica\(^\circledR\)Stateflow\(^\circledR\)

Mathematics Subject Classification ID

Related Items (6)

Deadness and how to disprove liveness in hybrid dynamical systems ⋮ High-order sliding mode observers for nonlinear autonomous switched systems with unknown inputs ⋮ Decomposition of timed automata for solving scheduling problems ⋮ Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems ⋮ Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants ⋮ Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties

Uses Software

• StateFlow
• Modelica

Cites Work

• Qualitative simulation
• Non-desired transitions and sliding-mode control of a multi-DOF mechanical system with stick-slip oscillations
• An alternative characterization of bit-sticking phenomena in a multi-degree-of-freedom controlled drillstring
• Stick-slip vibrations induced by alternate friction models
• Controllers for reachability specifications for hybrid systems
• A comprehensive methodology for building hybrid models of physical systems
• Adaptive simulation and control of variable-structure control systems in sliding regimes
• On the regularization of Zeno hybrid automata
• Piecewise-smooth dynamical systems. Theory and applications
• Numerical methods for nonsmooth dynamical systems. Applications in mechanics and electronics
• Supervisory control of hybrid systems based on model abstraction and guided search
• Differential automata and their discrete simulators
• State event location in differential-algebraic models
• Stability theory for hybrid dynamical systems
• A unified framework for hybrid control: model and optimal control theory
• One-Parameter Bifurcations in Planar Filippov Systems
• Feedback can reduce the specification complexity of motor programs
• Dynamical properties of hybrid automata

This page was built for publication: Hybrid automata: an insight into the discrete abstraction of discontinuous systems