Pages that link to "Item:Q681340"
From MaRDI portal
The following pages link to A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets (Q681340):
Displaying 9 items.
- Implicit semi-algebraic abstraction for polynomial dynamical systems (Q832202) (← links)
- A formal proof in Coq of Lasalle's invariance principle (Q1687728) (← links)
- Vector barrier certificates and comparison systems (Q2024361) (← links)
- Characterizing positively invariant sets: inductive and topological methods (Q2133909) (← links)
- Pegasus: sound continuous invariant generation (Q2147687) (← links)
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants (Q2331077) (← links)
- Deductive verification of continuous dynamical systems (Q2920146) (← links)
- A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets (Q5172656) (← links)
- Pegasus: a framework for sound continuous invariant generation (Q6535946) (← links)