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