Pages that link to "Item:Q2504549"
From MaRDI portal
The following pages link to Undecidability in decentralized supervision (Q2504549):
Displayed 6 items.
- Priority scheduling of distributed systems based on model checking (Q453501) (← links)
- Achieving distributed control through model checking (Q453529) (← links)
- Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication (Q1686848) (← links)
- A Summary of Some Discrete-Event System Control Problems (Q3073615) (← links)
- Distributed Control of Discrete-Event Systems: A First Step (Q4909348) (← links)
- Privacy-preserving co-synthesis against sensor-actuator eavesdropping intruder (Q6100443) (← links)