Synthesis of controllable and normal sublanguages for
discrete-event systems using a coordinator

J 2011

Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator

KOMENDA, Jan; Tomáš MASOPUST a Jan H. VAN SCHUPPEN

Základní údaje

Originální název

Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator

Autoři

KOMENDA, Jan; Tomáš MASOPUST a Jan H. VAN SCHUPPEN

Vydání

Systems & Control Letters, Elsevier B.V. 2011, 0167-6911

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

10201 Computer sciences, information science, bioinformatics

Utajení

není předmětem státního či obchodního tajemství

Odkazy

URL

Impakt faktor

Impact factor: 1.222

Označené pro přenos do RIV

Organizační jednotka

Fakulta informatiky

UT WoS

000292950900008

Klíčová slova anglicky

Discrete-event system, Coordination control, Coordinator, Supervisory control, Conditional controllability, Conditional observability, Conditional normality, Supremal conditionally controllable and conditionally normal sublanguage

Příznaky

Mezinárodní význam, Recenzováno

Změněno: 6. 8. 2011 22:12, doc. RNDr. Tomáš Masopust, Ph.D., DSc.

Anotace

V originále

Synthesis of normal or controllable and normal sublanguages of global specification languages without computation of the global modular plant is a difficult problem. In this paper, these sublanguages are computed using a coordinator. We recall the notion of conditional controllability, introduce a notion of conditional normality, and prove necessary and sufficient conditions where such a computation is possible. Specifically, we show that conditionally controllable and conditionally normal languages computed by our method are controllable and normal with respect to the global plant. The optimality (supremality) of the resulting languages is also discussed.

Citovat

KOMENDA, Jan; Tomáš MASOPUST a Jan H. VAN SCHUPPEN. Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator. Systems & Control Letters. Elsevier B.V., 2011, roč. 60, č. 7, s. 492-502. ISSN 0167-6911.

@article{937181,
   author = {Komenda, Jan and Masopust, Tomáš and van Schuppen, Jan H.},
   article_number = {7},
   keywords = {Discrete-event system, Coordination control, Coordinator, Supervisory control, Conditional controllability, Conditional observability, Conditional normality, Supremal conditionally controllable and conditionally normal sublanguage},
   language = {eng},
   issn = {0167-6911},
   journal = {Systems & Control Letters},
   title = {Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator},
   url = {http://dx.doi.org/10.1016/j.sysconle.2011.04.005},
   volume = {60},
   year = {2011}
}

TY  - JOUR
ID  - 937181
AU  - Komenda, Jan - Masopust, Tomáš - van Schuppen, Jan H.
PY  - 2011
TI  - Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator
JF  - Systems & Control Letters
VL  - 60
IS  - 7
SP  - 492-502
EP  - 492-502
PB  - Elsevier B.V.
SN  - 01676911
KW  - Discrete-event system, Coordination control, Coordinator, Supervisory control, Conditional controllability, Conditional observability, Conditional normality, Supremal conditionally controllable and conditionally normal sublanguage
UR  - http://dx.doi.org/10.1016/j.sysconle.2011.04.005
N2  - Synthesis of normal or controllable and normal sublanguages of global specification languages without computation of the global modular plant is a difficult problem. In this paper, these sublanguages are computed using a coordinator. We recall the notion of conditional controllability, introduce a notion of conditional normality, and prove necessary and sufficient conditions where such a computation is possible. Specifically, we show that conditionally controllable and conditionally normal languages computed by our method are controllable and normal with respect to the global plant. The optimality (supremality) of the resulting languages is also discussed.
ER  -

KOMENDA, Jan; Tomáš MASOPUST a Jan H. VAN SCHUPPEN. Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator. \textit{Systems \&{} Control Letters}. Elsevier B.V., 2011, roč.~60, č.~7, s.~492-502. ISSN~0167-6911.

Přehled o publikaci