Pages that link to "Item:Q2920146"
From MaRDI portal
The following pages link to Deductive verification of continuous dynamical systems (Q2920146):
Displaying 17 items.
- Barrier certificates revisited (Q507352) (← links)
- Model verification in dynamics through strict upper error bounds (Q649418) (← links)
- A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets (Q681340) (← links)
- Implicit semi-algebraic abstraction for polynomial dynamical systems (Q832202) (← links)
- Exact safety verification of hybrid systems using sums-of-squares representation (Q893625) (← links)
- Deductive verification of alternating systems (Q939163) (← links)
- Proving properties of continuous systems: Qualitative simulation and temporal logic (Q1402734) (← 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)
- Safety verification of nonlinear systems based on rational invariants (Q2819719) (← links)
- Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants (Q2842646) (← links)
- Formal Modelling, Analysis and Verification of Hybrid Systems (Q2948232) (← links)
- Convex Programs for Temporal Verification of Nonlinear Dynamical Systems (Q3506535) (← links)
- Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems (Q5206959) (← links)
- On converse zeroing barrier functions (Q6664828) (← links)
