Computation of Controllable and Coobservable Sublanguages in Decentralized Supervisory Control via Communication

Jan KomendaJan Komenda, Tomáš MasopustTomáš Masopust

ISSN: 0924-6703
Download
DOI Link

Jan Komenda, Tomáš Masopust
Computation of Controllable and Coobservable Sublanguages in Decentralized Supervisory Control via Communication
Discrete Event Dynamic Systems, 27(4):585-608, December 2017

Details
Bibtex

KurzfassungAbstract
In decentralized supervisory control, several local supervisors cooperate to accomplish a common goal (specification). Controllability and coobservability are the key conditions to achieve a specification in the controlled system. We construct a controllable and coobservable sublanguage of the specification by using additional communications between supervisors. Namely, we extend observable events of local supervisors via communication and apply a fully decentralized computation of local supervisors. Coobservability is then guaranteed by construction. Sufficient conditions to achieve the centralized optimal solution are discussed. Our approach can be used for both prefix-closed and non-prefix-closed specifications.
Weitere Informationen unter:Further Information: Link
Projekt:Project: DIAMOND
Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems

The final publication is available at Springer via http://dx.doi.org/10.1007/s10626-017-0249-6.

@article{KM2017,
  author    = {Jan Komenda and Tom{\'{a}}{\v{s}} Masopust},
  title     = {Computation of Controllable and Coobservable Sublanguages in
               Decentralized Supervisory Control via Communication},
  journal   = {Discrete Event Dynamic Systems},
  volume    = {27},
  number    = {4},
  publisher = {Springer},
  year      = {2017},
  month     = {December},
  pages     = {585-608},
  doi       = {10.1007/s10626-017-0249-6}
}