Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F17%3A00480052" target="_blank" >RIV/67985840:_____/17:00480052 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1007/s10626-017-0249-6" target="_blank" >http://dx.doi.org/10.1007/s10626-017-0249-6</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/s10626-017-0249-6" target="_blank" >10.1007/s10626-017-0249-6</a>
Alternative languages
Result language
angličtina
Original language name
Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
<a href="/en/project/GA15-02532S" target="_blank" >GA15-02532S: Modular and Decentralized Control of Discrete-Event and Hybrid Systems with Communication</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2017
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Discrete Event Dynamic Systems-Theory and Applications
ISSN
0924-6703
e-ISSN
—
Volume of the periodical
27
Issue of the periodical within the volume
4
Country of publishing house
US - UNITED STATES
Number of pages
24
Pages from-to
585-608
UT code for WoS article
000412951200001
EID of the result in the Scopus database
2-s2.0-85018677592