The following pages link to (Q4953395):
Displaying 6 items.
- Continuity controlled hybrid automata (Q2368692) (← links)
- Discussion on: ``Switched integrator control schemes for integrating plants'' (Q2512316) (← links)
- Reachability Problems for Hybrid Automata (Q3172861) (← links)
- Minimalilty of Finite Automata Representation in Hybrid Systems Control (Q3612983) (← links)
- Conservative and non‐conservative arbitrary Lagrangian–Eulerian forms for ventricular flows (Q5451388) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5897961) (← links)