Understanding deadlock and livelock behaviors in hybrid control systems

DOI10.1016/j.nahs.2008.12.005zbMath1166.93304OpenAlexW2171235575MaRDI QIDQ924105

Alessandro Abate, Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Shankar S. Sastry

Publication date: 27 July 2009

Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.nahs.2008.12.005

zbMATH Keywords

hybrid systemscontrol systemsdeadlocksystem compositionverification of specifications

Mathematics Subject Classification ID

Related Items (3)

Deadness and how to disprove liveness in hybrid dynamical systems ⋮ Sliding mode control: a survey with applications in math ⋮ An axiomatic approach to existence and liveness for differential equations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Compositional abstractions of hybrid control systems
• Robot navigation functions on manifolds with boundary
• Box invariance in biologically-inspired dynamical systems
• Defining liveness
• Hybrid I/O automata.
• Set invariance in control
• On the regularization of Zeno hybrid automata
• Zeno hybrid systems
• On Simulations and Bisimulations of General Flow Systems
• Robust Test Generation and Coverage for Hybrid Systems
• Dynamical properties of hybrid automata
• Analysis of Zeno behaviors in a class of hybrid systems
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Symbolic reachability computation for families of linear vector fields
• Modularity for timed and hybrid systems

This page was built for publication: Understanding deadlock and livelock behaviors in hybrid control systems