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

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

Basic information

Original name

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

Authors

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

Edition

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

---

Other information

Language

English

Type of outcome

Article in a journal

Field of Study

10201 Computer sciences, information science, bioinformatics

Confidentiality degree

is not subject to a state or trade secret

References:

URL

Impact factor

Impact factor: 1.222

Organization unit

Faculty of Informatics

UT WoS

000292950900008

Keywords in English

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

Tags

International impact, Reviewed

---

Abstract

In the original language

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.