Pages that link to "Item:Q1773103"
From MaRDI portal
The following pages link to PSPACE-completeness of modular supervisory control problems (Q1773103):
Displaying 5 items.
- Active fault tolerant control of discrete event systems using online diagnostics (Q534270) (← links)
- Verification complexity of a class of observational properties for modular discrete events systems (Q1679097) (← links)
- Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication (Q1686848) (← links)
- Complexity of detectability, opacity and A-diagnosability for modular discrete event systems (Q1737732) (← links)
- Distributed computation of supremal conditionally controllable sublanguages (Q2792732) (← links)
