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

被引：15

作者：

Komenda, Jan ^{[2
]}

Masopust, Tomas ^{[1
,2
]}

van Schuppen, Jan H. ^{[1
]}

机构：

[1] CWI, NL-1090 GB Amsterdam, Netherlands

[2] Acad Sci Czech Republ, Inst Math, Brno 61662, Czech Republic

来源：

SYSTEMS & CONTROL LETTERS | 2011年 / 60卷 / 07期

关键词：

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

D O I：

10.1016/j.sysconle.2011.04.005

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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. (C) 2011 Elsevier B.V. All rights reserved.

引用

页码：492 / 502

页数：11

共 50 条

[1] Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages
Cai, Kai
Zhang, Renyuan
Wonham, W. M.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2015, 60 (03) : 659 - 670
[2] Correction to "Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages"
Cai, Kai
Zhang, Renyuan
Wonham, W. M.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2017, 62 (01) : 511 - 511
[3] ON CONTROLLABLE PREDICATES AND LANGUAGES IN DISCRETE-EVENT SYSTEMS
USHIO, T
PROCEEDINGS OF THE 28TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-3, 1989, : 123 - 124
[4] Computation of Supremal Controllable Sublanguages and Infimal Controllable Superlanguages for Fuzzy Discrete Event Systems
Schmidt, Klaus
Boutalis, Yiannis
2008 MEDITERRANEAN CONFERENCE ON CONTROL AUTOMATION, VOLS 1-4, 2008, : 209 - 214
[5] Supremal sublanguages of general specification languages arising in modular control of discrete-event systems
Komenda, J.
van Schuppen, J. H.
2005 44TH IEEE CONFERENCE ON DECISION AND CONTROL & EUROPEAN CONTROL CONFERENCE, VOLS 1-8, 2005, : 2775 - 2780
[6] ANALYSIS AND SYNTHESIS OF DISCRETE-EVENT SYSTEMS USING TEMPORAL LOGIC
LIN, F
CONTROL-THEORY AND ADVANCED TECHNOLOGY, 1993, 9 (01): : 341 - 350
[7] Opaque Superlanguages and Sublanguages in Discrete Event Systems
Ben-Kalefa, Majed
Lin, Feng
CYBERNETICS AND SYSTEMS, 2016, 47 (05) : 392 - 426
[8] Opaque Superlanguages and Sublanguages in Discrete Event Systems
Ben-Kalefa, Majed
Lin, Feng
PROCEEDINGS OF THE 48TH IEEE CONFERENCE ON DECISION AND CONTROL, 2009 HELD JOINTLY WITH THE 2009 28TH CHINESE CONTROL CONFERENCE (CDC/CCC 2009), 2009, : 199 - 204
[9] Verification and Synthesis for Secrecy in Discrete-Event Systems
Takai, Shigemasa
Kumar, Ratnesh
2009 AMERICAN CONTROL CONFERENCE, VOLS 1-9, 2009, : 4741 - +
[10] Discrete-Event Systems
Ge, Shuzhi Sam
IEEE CONTROL SYSTEMS MAGAZINE, 2010, 30 (06): : 25 - 26

← 1 2 3 4 5 →