Pages that link to "Item:Q3512492"
From MaRDI portal
The following pages link to Computing Differential Invariants of Hybrid Systems as Fixedpoints (Q3512492):
Displayed 6 items.
- Specifications for decidable hybrid games (Q650914) (← 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)
- Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants (Q2842646) (← links)
- Computing Differential Invariants of Hybrid Systems as Fixedpoints (Q3512492) (← links)
- Real World Verification (Q5191121) (← links)