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
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
