Deadness and how to disprove liveness in hybrid dynamical systems
From MaRDI portal
Publication:2629097
Formal languages and automata (68Q45) 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) Lyapunov and other classical stabilities (Lagrange, Poisson, (L^p, l^p), etc.) in control theory (93D05)
Recommendations
- Direct formal verification of liveness properties in continuous and hybrid dynamical systems
- Dynamically-driven timed automaton abstractions for proving liveness of continuous systems
- Stabhyli -- a tool for automatic stability verification of non-linear hybrid systems
- scientific article; zbMATH DE number 2242595
- Lyapunov abstractions for inevitability of hybrid systems
Cites work
- “LORENZ ATTRACTOR” FROM DIFFERENTIAL EQUATIONS WITH PIECEWISE-LINEAR TERMS
- A computational approach for studying domains of attraction for nonlinear systems
- A computational method for determining quadratic Lyapunov functions for non-linear systems
- Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
- An invariant-based approach to the design of hybrid control systems
- ASYMPTOTIC ANALYSIS OF A NEW PIECEWISE-LINEAR CHAOTIC SYSTEM
- Automatic synthesis of switching controllers for linear hybrid systems: safety control
- Composing stability proofs for hybrid systems
- Computational techniques for hybrid system verification
- Computer generated Lyapunov functions for a class of nonlinear systems
- Conflict resolution for air traffic management: a study in multiagent hybrid systems
- Decision procedures and expressiveness in the temporal logic of branching time
- Defining liveness
- Dynamical properties of hybrid automata
- Dynamically-driven timed automaton abstractions for proving liveness of continuous systems
- Formal Modeling and Analysis of Timed Systems
- Global hybrid modeling and control of a buck converter: a novel concept
- Group and Total Dissipativity and Stability of Multi-Equilibria Hybrid Automata
- Handling liveness properties in (-)regular model checking
- scientific article; zbMATH DE number 1642311 (Why is no real title available?)
- scientific article; zbMATH DE number 51424 (Why is no real title available?)
- scientific article; zbMATH DE number 1455625 (Why is no real title available?)
- scientific article; zbMATH DE number 5263038 (Why is no real title available?)
- scientific article; zbMATH DE number 3270127 (Why is no real title available?)
- Hybrid automata: an insight into the discrete abstraction of discontinuous systems
- Hybrid dynamical systems
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
- Lyapunov abstractions for inevitability of hybrid systems
- MetiTarski: An automatic theorem prover for real-valued special functions
- Multiple Lyapunov functions and other analysis tools for switched and hybrid systems
- Numerical Solution of the Stable, Non-negative Definite Lyapunov Equation Lyapunov Equation
- On practical stability
- On the regularization of Zeno hybrid automata
- ON THE STABILITY OF SYSTEMS DEFINED OVER A FINITE TIME INTERVAL
- Proving Liveness Properties of Concurrent Programs
- Proving stabilization of biological systems
- Safety and Liveness in Intelligent Intersections
- Sliding modes in control and optimization. Transl. from the Russian
- Switching in systems and control
- Temporal logic motion planning for dynamic robots
- The benefits of relaxing punctuality
- Understanding deadlock and livelock behaviors in hybrid control systems
- Verification of continuous dynamical systems by timed automata
- What's decidable about hybrid automata?
Cited in
(2)
Describes a project that uses
Uses Software
This page was built for publication: Deadness and how to disprove liveness in hybrid dynamical systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2629097)
