Pages that link to "Item:Q3612972"

The following pages link to Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications (Q3612972):

Displaying 2 items.

• Maximally permissive controlled system synthesis for non-determinism and modal logic (Q513185) (← links)
• Hierarchical control system design using approximate simulation (Q1012892) (← links)