Pages that link to "Item:Q3512492"
From MaRDI portal
The following pages link to Computing Differential Invariants of Hybrid Systems as Fixedpoints (Q3512492):
Displaying 22 items.
- Barrier certificates revisited (Q507352) (← links)
- Specifications for decidable hybrid games (Q650914) (← links)
- Synthesizing invariant barrier certificates via difference-of-convex programming (Q832194) (← links)
- Generating invariants for non-linear loops by linear algebraic methods (Q903492) (← links)
- Computing differential invariants of hybrid systems as fixed points (Q1039853) (← links)
- Augmented complex zonotopes for computing invariants of affine hybrid systems (Q1683442) (← links)
- Computation of polytopic invariants for polynomial dynamical systems using linear programming (Q1932703) (← links)
- Automated and formal synthesis of neural barrier certificates for dynamical models (Q2044214) (← links)
- Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming (Q2105455) (← 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 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)
- Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coefficients (Q2819624) (← 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)
- (Q4658726) (← links)
- Real World Verification (Q5191121) (← links)
- Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems (Q5206959) (← links)
- Programming Languages and Systems (Q5902360) (← links)
