Undecidable problems of decentralized observation and control on regular languages
From MaRDI portal
Publication:2390212
Recommendations
Cites work
- A normality theorem for decentralized control of discrete-event systems
- A survey of computational complexity results in systems and control
- Centralized and Decentralized Supervisory Control of Nondeterministic Systems Under Partial Observation
- Coordinated decentralized protocols for failure diagnosis of discrete event systems
- Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication
- Decentralized supervisory control of discrete-event systems
- Effective control synthesis for partially observed discrete-event systems
- scientific article; zbMATH DE number 1820086 (Why is no real title available?)
- scientific article; zbMATH DE number 3660804 (Why is no real title available?)
- scientific article; zbMATH DE number 3639144 (Why is no real title available?)
- scientific article; zbMATH DE number 1927560 (Why is no real title available?)
- scientific article; zbMATH DE number 1754607 (Why is no real title available?)
- On the complexity of decentralized decision making and detection problems
- On the control of discrete-event dynamical systems
- Supervisory Control of a Class of Discrete Event Processes
- Supervisory control of concurrent discrete-event systems
- Supervisory control of discrete-event processes with partial observations
- The computational complexity of decentralized discrete-event control problems
- Think globally, act locally: decentralized supervisory control
- Undecidable problems of decentralized observation and control on regular languages
Cited in
(22)- Games for synthesis of controllers with partial observation.
- Decentralized observability of discrete event systems with synchronizations
- Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication
- Supervisory control and reactive synthesis: a comparative introduction
- Symbolic synthesis of masking fault-tolerant distributed programs
- The computational complexity of scenario-based agent verification and design
- Undecidable problems of decentralized observation and control on regular languages
- Control of discrete-event systems with modular or distributed structure
- Partial order techniques for distributed discrete event systems: why you cannot avoid using them
- Undecidability in decentralized supervision
- State Estimation and Fault Detection Using Petri Nets
- A summary of some discrete-event system control problems
- 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
- Relative coobservability for decentralised supervisory control of discrete-event systems
- A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems
- Privacy-preserving co-synthesis against sensor-actuator eavesdropping intruder
- Information tracking in games on graphs
- Distributed controller synthesis for deadlock avoidance
- Joint opacity and opacity against state-estimate-intersection-based intrusion of discrete-event systems
- 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)
