Pages that link to "Item:Q3523114"
From MaRDI portal
The following pages link to Dealing with Nondeterminism in Symbolic Control (Q3523114):
Displaying 4 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)
