Pages that link to "Item:Q2920146"
From MaRDI portal
The following pages link to Deductive Verification of Continuous Dynamical Systems (Q2920146):
Displayed 10 items.
- Barrier certificates revisited (Q507352) (← links)
- A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets (Q681340) (← links)
- Exact safety verification of hybrid systems using sums-of-squares representation (Q893625) (← links)
- Characterizing positively invariant sets: inductive and topological methods (Q2133909) (← links)
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants (Q2331077) (← links)
- Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems (Q2402231) (← links)
- Sufficient conditions for forward invariance and contractivity in hybrid inclusions using barrier functions (Q2663858) (← links)
- Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants (Q2842646) (← links)
- Formal Modelling, Analysis and Verification of Hybrid Systems (Q2948232) (← links)
- Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems (Q5206959) (← links)