Pages that link to "Item:Q6162103"
From MaRDI portal
The following pages link to State equivalences for rectangular hybrid automata (Q6162103):
Displaying 6 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Inclusion dynamics hybrid automata (Q999262) (← links)
- Discrete-time control for rectangular hybrid automata (Q1960531) (← links)
- Unwinding biological systems (Q2348024) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- Hybrid Systems: Computation and Control (Q5307451) (← links)