Pages that link to "Item:Q5703940"
From MaRDI portal
The following pages link to Hybrid Systems: Computation and Control (Q5703940):
Displaying 4 items.
- Computing differential invariants of hybrid systems as fixed points (Q1039853) (← links)
- Taylor approximation for hybrid systems (Q2461793) (← links)
- Relating syntactic and semantic perturbations of hybrid automata (Q5009441) (← links)
- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra (Q5458327) (← links)
