Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
From MaRDI portal
Publication:2331077
Recommendations
- Safety verification of non-linear hybrid systems is quasi-semidecidable
- Safety verification of non-linear hybrid systems is quasi-decidable
- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
- Computing differential invariants of hybrid systems as fixed points
- Hybrid diagrams: a deductive-algorithmic approach to hybrid system verification
Cites work
- A computational method for determining quadratic Lyapunov functions for non-linear systems
- A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets
- A method for invariant generation for polynomial continuous systems
- Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
- Automatic invariant generation for hybrid systems using ideal fixed points
- Composing stability proofs for hybrid systems
- Computer aided verification. 20th international conference, CAV 2008, Princeton, NJ, USA, July 7--14, 2008. Proceedings
- Computer aided verification. 25th international conference, CAV 2013, Saint Petersburg, Russia, July 13--19, 2013. Proceedings
- Computing Differential Invariants of Hybrid Systems as Fixedpoints
- Constraint-Based Approach for Analysis of Hybrid Systems
- Constructing invariants for hybrid systems
- Cylindrical decomposition for systems transcendental in the first variable
- Deadness and how to disprove liveness in hybrid dynamical systems
- Deductive verification of continuous dynamical systems
- Differential dynamic logic for hybrid systems
- Direct formal verification of liveness properties in continuous and hybrid dynamical systems
- Dynamical properties of hybrid automata
- Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination
- Forward inner-approximated reachability of non-linear continuous systems
- Generating Box Invariants
- Generating invariants for non-linear hybrid systems
- scientific article; zbMATH DE number 3497890 (Why is no real title available?)
- scientific article; zbMATH DE number 1507210 (Why is no real title available?)
- Hybrid automata: an insight into the discrete abstraction of discontinuous systems
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid systems: computation and control. 10th international conference, HSCC 2007, Pisa, Italy, April 3--5, 2007. Proceedings.
- Hybrid tools for hybrid systems -- proving stability and safety at once
- Improving SAT modulo ODE for hybrid systems analysis by combining different enclosure methods
- KeYmaera X: an axiomatic tactical theorem prover for hybrid systems
- KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
- Lyapunov abstractions for inevitability of hybrid systems
- Maximal Lyapunov functions and domains of attraction for autonomous nonlinear systems
- MetiTarski
- MetiTarski: An automatic theorem prover for real-valued special functions
- MetiTarski: past and future
- Nonlinear systems.
- On Taylor Model Based Integration of ODEs
- Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions
- Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis
- Reachability Analysis of Nonlinear Systems Using Matrix Measures
- Recent advances in real geometric reasoning
- Region Stability Proofs for Hybrid Systems
- Set invariance in control
- Some undecidable problems involving elementary functions of a real variable
- Stabhyli -- a tool for automatic stability verification of non-linear hybrid systems
- Synthesizing switching controllers for hybrid systems by generating invariants
- Systematic Simulation Using Sensitivity Analysis
- Tools and algorithms for the construction and analysis of systems. 21st international conference, TACAS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11--18, 2015. Proceedings
- Validated solutions of initial value problems for parametric ODEs
- Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
Cited in
(4)
Describes a project that uses
Uses Software
This page was built for publication: Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2331077)
