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

DOI10.1080/00207721.2010.495189zbMath1260.93013MaRDI 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 systems; symbolic dynamics; hybrid automata; discontinuous systems; sliding motions; Modelica\(^\circledR\); Stateflow\(^\circledR\)

Mathematics Subject Classification ID

93B12: Variable structure systems

94C15: Applications of graph theory to circuits and networks

93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)

Related Items

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

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