Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication

Kód výsledku v IS VaVaI

RIV/67985840:_____/17:00480052 - isvavai.cz

Výsledek na webu

http://dx.doi.org/10.1007/s10626-017-0249-6

DOI - Digital Object Identifier

10.1007/s10626-017-0249-6

Jazyk výsledku

angličtina

Název v původním jazyce

Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication

Popis výsledku anglicky

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.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

GA15-02532S: Modulární a Decentralizované Řízení Diskrétních a Hybridních systémů s Komunikací

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2017

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Discrete Event Dynamic Systems-Theory and Applications

ISSN

0924-6703

e-ISSN

—

Svazek periodika

27

Číslo periodika v rámci svazku

4

Stát vydavatele periodika

US - Spojené státy americké

Počet stran výsledku

24

Strana od-do

585-608

Kód UT WoS článku

000412951200001

EID výsledku v databázi Scopus

2-s2.0-85018677592