Synthesis of Safe Sublanguages satisfying Global Specification using Coordination Scheme for Discrete-Event Systems

KOMENDA, Jan; Tomáš MASOPUST a Jan H. VAN SCHUPPEN. Synthesis of Safe Sublanguages satisfying Global Specification using Coordination Scheme for Discrete-Event Systems. In 10th International Workshop on Discrete Event Systems (WODES 2010). Berlin, 2010, s. 436-441.

Základní údaje

Originální název

Synthesis of Safe Sublanguages satisfying Global Specification using Coordination Scheme for Discrete-Event Systems

Autoři

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

Vydání

Berlin, 10th International Workshop on Discrete Event Systems (WODES 2010), od s. 436-441, 2010

---

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Česká republika

Utajení

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

Odkazy

URL

Označené pro přenos do RIV

Ne

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

Discrete-event system; coordination control; coordinator; supervisory control; decentralized control; conditional controllability.

Příznaky

Mezinárodní význam, Recenzováno

---

Anotace

V originále

Modular control of discrete-event systems with a global specification and with only local supervisors is a difficult problem. For global specifications, however, the equivalent conditions may not be met. This paper formulates and solves a control synthesis problem for a generator with a global specification and with a combination of a coordinator and local controllers. Conditional controllability is proven to be an equivalent condition for the existence of such a coordinated controller. A procedure to compute a coordinated controller is provided.