Deadness and how to disprove liveness in hybrid dynamical systems
DOI10.1016/j.tcs.2016.06.009zbMath1345.68215OpenAlexW2470330431MaRDI QIDQ2629097
Rebekah Carter, Eva María Navarro-López
Publication date: 20 July 2016
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2016.06.009
Formal languages and automata (68Q45) Lyapunov and other classical stabilities (Lagrange, Poisson, (L^p, l^p), etc.) in control theory (93D05) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items (2)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Automatic synthesis of switching controllers for linear hybrid systems: safety control
- Verification of continuous dynamical systems by timed automata
- Understanding deadlock and livelock behaviors in hybrid control systems
- MetiTarski: An automatic theorem prover for real-valued special functions
- Temporal logic motion planning for dynamic robots
- Defining liveness
- A computational approach for studying domains of attraction for nonlinear systems
- Sliding modes in control and optimization. Transl. from the Russian
- What's decidable about hybrid automata?
- Switching in systems and control
- On the regularization of Zeno hybrid automata
- Decision procedures and expressiveness in the temporal logic of branching time
- A computational method for determining quadratic Lyapunov functions for non-linear systems
- An invariant-based approach to the design of hybrid control systems
- Lyapunov abstractions for inevitability of hybrid systems
- Proving Stabilization of Biological Systems
- Composing Stability Proofs for Hybrid Systems
- Global hybrid modeling and control of a buck converter: A novel concept
- Safety and Liveness in Intelligent Intersections
- KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
- Proving Liveness Properties of Concurrent Programs
- Numerical Solution of the Stable, Non-negative Definite Lyapunov Equation Lyapunov Equation
- Computer generated Lyapunov functions for a class of nonlinear systems
- “LORENZ ATTRACTOR” FROM DIFFERENTIAL EQUATIONS WITH PIECEWISE-LINEAR TERMS
- The benefits of relaxing punctuality
- Multiple Lyapunov functions and other analysis tools for switched and hybrid systems
- Conflict resolution for air traffic management: a study in multiagent hybrid systems
- Dynamically-Driven Timed Automaton Abstractions for Proving Liveness of Continuous Systems
- ASYMPTOTIC ANALYSIS OF A NEW PIECEWISE-LINEAR CHAOTIC SYSTEM
- Hybrid automata: an insight into the discrete abstraction of discontinuous systems
- Dynamical properties of hybrid automata
- Computational techniques for hybrid system verification
- Hybrid Systems: Computation and Control
- ON THE STABILITY OF SYSTEMS DEFINED OVER A FINITE TIME INTERVAL
- Group and Total Dissipativity and Stability of Multi-Equilibria Hybrid Automata
- Hybrid dynamical systems
- On practical stability
- Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
- Hybrid Systems: Computation and Control
- Formal Modeling and Analysis of Timed Systems
- Hybrid Systems: Computation and Control
This page was built for publication: Deadness and how to disprove liveness in hybrid dynamical systems
