Pages that link to "Item:Q2390212"
From MaRDI portal
The following pages link to Undecidable problems of decentralized observation and control on regular languages (Q2390212):
Displayed 10 items.
- Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems (Q445939) (← links)
- Information tracking in games on graphs (Q616037) (← links)
- Games for synthesis of controllers with partial observation. (Q1401346) (← links)
- The computational complexity of scenario-based agent verification and design (Q2372186) (← links)
- Undecidable problems of decentralized observation and control on regular languages (Q2390212) (← links)
- Control of discrete-event systems with modular or distributed structure (Q2464943) (← links)
- Partial order techniques for distributed discrete event systems: why you cannot avoid using them (Q2465674) (← links)
- Undecidability in decentralized supervision (Q2504549) (← links)
- State Estimation and Fault Detection Using Petri Nets (Q3011880) (← links)
- A Summary of Some Discrete-Event System Control Problems (Q3073615) (← links)