Undecidable problems of decentralized observation and control on regular languages
From MaRDI portal
Publication:2390212
DOI10.1016/j.ipl.2004.01.004zbMath1178.68327OpenAlexW2157364367MaRDI QIDQ2390212
Publication date: 21 July 2009
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ipl.2004.01.004
Related Items (20)
The computational complexity of scenario-based agent verification and design ⋮ Undecidable problems of decentralized observation and control on regular languages ⋮ Decentralized observability of discrete event systems with synchronizations ⋮ Information tracking in games on graphs ⋮ Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication ⋮ Privacy-preserving co-synthesis against sensor-actuator eavesdropping intruder ⋮ Symbolic synthesis of masking fault-tolerant distributed programs ⋮ Games for synthesis of controllers with partial observation. ⋮ Supervisory control and reactive synthesis: a comparative introduction ⋮ Codiagnosability and coobservability under dynamic observations: transformation and verification ⋮ Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems ⋮ Priority scheduling of distributed systems based on model checking ⋮ Achieving distributed control through model checking ⋮ Control of discrete-event systems with modular or distributed structure ⋮ Partial order techniques for distributed discrete event systems: why you cannot avoid using them ⋮ State Estimation and Fault Detection Using Petri Nets ⋮ A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems ⋮ Undecidability in decentralized supervision ⋮ A Summary of Some Discrete-Event System Control Problems ⋮ Relative coobservability for decentralised supervisory control of discrete-event systems
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the control of discrete-event dynamical systems
- Decentralized supervisory control of discrete-event systems
- Coordinated decentralized protocols for failure diagnosis of discrete event systems
- Undecidable problems of decentralized observation and control on regular languages
- On the complexity of decentralized decision making and detection problems
- Effective Control Synthesis for Partially Observed Discrete-Event Systems
- Supervisory Control of a Class of Discrete Event Processes
- Supervisory control of discrete-event processes with partial observations
- Supervisory control of concurrent discrete-event systems
- Think globally, act locally: decentralized supervisory control
- A normality theorem for decentralized control of discrete-event systems
- Centralized and Decentralized Supervisory Control of Nondeterministic Systems Under Partial Observation
- The computational complexity of decentralized discrete-event control problems
- Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication
- A survey of computational complexity results in systems and control
This page was built for publication: Undecidable problems of decentralized observation and control on regular languages
