Pages that link to "Item:Q3512492"
From MaRDI portal
The following pages link to Computing Differential Invariants of Hybrid Systems as Fixedpoints (Q3512492):
Displayed 14 items.
- Barrier certificates revisited (Q507352) (← links)
- Specifications for decidable hybrid games (Q650914) (← links)
- Generating invariants for non-linear loops by linear algebraic methods (Q903492) (← links)
- Computing differential invariants of hybrid systems as fixed points (Q1039853) (← links)
- Computation of polytopic invariants for polynomial dynamical systems using linear programming (Q1932703) (← links)
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants (Q2331077) (← links)
- Generating invariants for non-linear hybrid systems (Q2355695) (← links)
- Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems (Q2402231) (← links)
- A compositional modelling and verification framework for stochastic hybrid systems (Q2403530) (← links)
- Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants (Q2842646) (← links)
- Formal Modelling, Analysis and Verification of Hybrid Systems (Q2948232) (← links)
- Computing Differential Invariants of Hybrid Systems as Fixedpoints (Q3512492) (← links)
- Real World Verification (Q5191121) (← links)
- Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems (Q5206959) (← links)