Pages that link to "Item:Q5347774"
From MaRDI portal
The following pages link to On Tractable Instances of Modular Supervisory Control (Q5347774):
Displaying 6 items.
- Verification complexity of a class of observational properties for modular discrete events systems (Q1679097) (← links)
- Complexity of detectability, opacity and A-diagnosability for modular discrete event systems (Q1737732) (← links)
- Modular supervisory control and coordination of state tree structures (Q2871681) (← links)
- Robust and nonlinear control literature survey (No. 26) (Q2882425) (← links)
- How selfish individuals achieve unselfish goals: majority-based progressive control of discrete event systems (Q5130091) (← links)
- Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution (Q5962026) (← links)