Pages that link to "Item:Q2504549"
From MaRDI portal
The following pages link to Undecidability in decentralized supervision (Q2504549):
Displaying 9 items.
- Priority scheduling of distributed systems based on model checking (Q453501) (← links)
- Achieving distributed control through model checking (Q453529) (← links)
- On the complexity of synthesizing a minimum-weighted supervisor under partial observation (Q458885) (← links)
- Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication (Q1686848) (← links)
- Undecidable problems of decentralized observation and control on regular languages (Q2390212) (← links)
- Distributed synthesis is simply undecidable (Q2445907) (← 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)