Article3036: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Tomas Masopust (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Tomas Masopust (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 7: | Zeile 7: | ||
|Referiert=1 | |Referiert=1 | ||
|Title=Computation of Controllable and Coobservable Sublanguages in Decentralized Supervisory Control via Communication | |Title=Computation of Controllable and Coobservable Sublanguages in Decentralized Supervisory Control via Communication | ||
|To appear= | |To appear=0 | ||
|Year=2017 | |Year=2017 | ||
|Month=Dezember | |||
|Journal=Discrete Event Dynamic Systems | |Journal=Discrete Event Dynamic Systems | ||
|Volume=27 | |||
|Number=4 | |||
|Pages=585-608 | |||
|Publisher=Springer | |||
}} | }} | ||
{{Publikation Details | {{Publikation Details | ||
|Abstract=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. | |Abstract=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. | ||
|ISSN=0924-6703 | |||
|Download=Most extension.pdf | |Download=Most extension.pdf | ||
|Link=https://arxiv.org/abs/1512.03267 | |Link=https://arxiv.org/abs/1512.03267 | ||
Aktuelle Version vom 27. Oktober 2017, 13:59 Uhr
Computation of Controllable and Coobservable Sublanguages in Decentralized Supervisory Control via Communication
Jan KomendaJan Komenda, Tomáš MasopustTomáš Masopust
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
Computation of Controllable and Coobservable Sublanguages in Decentralized Supervisory Control via Communication
Discrete Event Dynamic Systems, 27(4):585-608, December 2017
- 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
@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}
}
