Relative coobservability for decentralised supervisory control of discrete-event systems
From MaRDI portal
Publication:4967658
DOI10.1080/00207179.2017.1397754zbMATH Open1417.93082arXiv1604.03267OpenAlexW2766630495MaRDI QIDQ4967658FDOQ4967658
Authors: Kai Cai, Renyuan Zhang, W. Murray Wonham 
Publication date: 3 July 2019
Published in: International Journal of Control (Search for Journal in Brave)
Abstract: We study the new concept of relative coobservability in decentralized supervisory control of discrete-event systems under partial observation. This extends our previous work on relative observability from a centralized setup to a decentralized one. A fundamental concept in decentralized supervisory control is coobservability (and its several variations); this property is not, however, closed under set union, and hence there generally does not exist the supremal element. Our proposed relative coobservability, although stronger than coobservability, is algebraically well-behaved, and the supremal relatively coobservable sublanguage of a given language exists. We present an algorithm to compute this supremal sublanguage. Moreover, relative coobservability is weaker than conormality, which is also closed under set union; unlike conormality, relative coobservability imposes no constraint on disabling unobservable controllable events.
Full work available at URL: https://arxiv.org/abs/1604.03267
Recommendations
- Characterizations and effective computation of supremal relatively observable sublanguages
- A general architecture for decentralized supervisory control of discrete-event systems
- Decentralized control and coordination of discrete-event systems with partial observation
- Formulae relating controllability, observability, and co-observability
- Supervisor localization of discrete-event systems under partial observation
Decentralized systems (93A14) Observability (93B07) Discrete event control/observation systems (93C65)
Cites Work
- A general architecture for decentralized supervisory control of discrete-event systems
- Decentralized supervisory control of discrete-event systems
- Fully decentralized solutions of supervisory control problems
- Think globally, act locally: decentralized supervisory control
- Supervisory Control Architecture for Discrete-Event Systems
- On observability of discrete-event systems
- Undecidable problems of decentralized observation and control on regular languages
- Supervisory control of discrete-event processes with partial observations
- Supervisory control of timed discrete-event systems
- Decentralized Supervisory Control With Conditional Decisions: Supervisor Existence
- On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation
- The computational complexity of decentralized discrete-event control problems
- On the synthesis of safe control policies in decentralized control of discrete-event systems
- Characterization of co-observable languages and formulas for their super/sublanguages
- Supervisor localization. A top-down approach to distributed control of discrete-event systems
- Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages
- Relative Observability and Coobservability of Timed Discrete-Event Systems
- A modified normality condition for decentralized supervisory control of discrete event systems
Cited In (7)
- Characterizations and effective computation of supremal relatively observable sublanguages
- Optimal non-blocking decentralized supervisory control with unobservable controllable events
- Delay-coobservability and its algebraic properties for the decentralized supervisory control of discrete event systems with communication delays
- Decentralized observability of discrete event systems with synchronizations
- Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication
- Epistemic interpretations of decentralized discrete-event system problems
- Codiagnosability and coobservability under dynamic observations: transformation and verification
This page was built for publication: Relative coobservability for decentralised supervisory control of discrete-event systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4967658)
