Undecidable problems of decentralized observation and control on regular languages
From MaRDI portal
Publication:2390212
DOI10.1016/J.IPL.2004.01.004zbMATH Open1178.68327OpenAlexW2157364367MaRDI QIDQ2390212FDOQ2390212
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
Recommendations
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Supervisory Control of a Class of Discrete Event Processes
- A survey of computational complexity results in systems and control
- On the control of discrete-event dynamical systems
- Decentralized supervisory control of discrete-event systems
- Supervisory control of concurrent discrete-event systems
- Think globally, act locally: decentralized supervisory control
- Coordinated decentralized protocols for failure diagnosis of discrete event systems
- Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication
- Effective Control Synthesis for Partially Observed Discrete-Event Systems
- Undecidable problems of decentralized observation and control on regular languages
- Supervisory control of discrete-event processes with partial observations
- Centralized and Decentralized Supervisory Control of Nondeterministic Systems Under Partial Observation
- Title not available (Why is that?)
- On the complexity of decentralized decision making and detection problems
- The computational complexity of decentralized discrete-event control problems
- Title not available (Why is that?)
- A normality theorem for decentralized control of discrete-event systems
- Title not available (Why is that?)
Cited In (20)
- Information tracking in games on graphs
- Symbolic synthesis of masking fault-tolerant distributed programs
- The computational complexity of scenario-based agent verification and design
- Games for synthesis of controllers with partial observation.
- Partial order techniques for distributed discrete event systems: why you cannot avoid using them
- Supervisory control and reactive synthesis: a comparative introduction
- Relative coobservability for decentralised supervisory control of discrete-event systems
- Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems
- Achieving distributed control through model checking
- Priority scheduling of distributed systems based on model checking
- A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems
- A Summary of Some Discrete-Event System Control Problems
- Control of discrete-event systems with modular or distributed structure
- Decentralized observability of discrete event systems with synchronizations
- Privacy-preserving co-synthesis against sensor-actuator eavesdropping intruder
- Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication
- Undecidable problems of decentralized observation and control on regular languages
- State Estimation and Fault Detection Using Petri Nets
- Undecidability in decentralized supervision
- Codiagnosability and coobservability under dynamic observations: transformation and verification
This page was built for publication: Undecidable problems of decentralized observation and control on regular languages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2390212)
