Pages that link to "Item:Q3612972"
From MaRDI portal
The following pages link to Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications (Q3612972):
Displaying 6 items.
- Maximally permissive controlled system synthesis for non-determinism and modal logic (Q513185) (← links)
- Specifications for decidable hybrid games (Q650914) (← links)
- Robustness of temporal logic specifications for continuous-time signals (Q732015) (← links)
- Approximate simulation relations for hybrid systems (Q939013) (← links)
- Temporal logic motion planning for dynamic robots (Q1012729) (← links)
- Hierarchical control system design using approximate simulation (Q1012892) (← links)
