Pages that link to "Item:Q3523114"
From MaRDI portal
The following pages link to Dealing with Nondeterminism in Symbolic Control (Q3523114):
Displayed 6 items.
- A modal characterization of alternating approximate bisimilarity (Q479808) (← links)
- On fluidization of discrete event models: Observation and control of continuous Petri nets (Q763410) (← links)
- Dynamic hierarchical reactive controller synthesis (Q1693821) (← links)
- Automated generation of dynamics-based runtime certificates for high-level control (Q1693827) (← links)
- Time-constrained temporal logic control of multi-affine systems (Q2252961) (← links)
- LTL receding horizon control for finite deterministic systems (Q2628417) (← links)