Pages that link to "Item:Q3523114"
From MaRDI portal
The following pages link to Dealing with Nondeterminism in Symbolic Control (Q3523114):
Displaying 8 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)
- Effects of controlling parameter on symbolic nonlinear complexity detection (Q2161942) (← links)
- Time-constrained temporal logic control of multi-affine systems (Q2252961) (← links)
- LTL receding horizon control for finite deterministic systems (Q2628417) (← links)
- Abstraction-based control synthesis using partial information (Q2667508) (← links)