Epistemic interpretations of decentralized discrete-event system problems

被引：3

作者：

Ean, Richard ^{[1
,2
]}

Rudie, Karen ^{[1
,2
]}

机构：

[1] Queens Univ, Dept Elect & Comp Engn, Kingston, ON K7L 3N6, Canada

[2] Queens Univ, Ingenu Labs Res Inst, Kingston, ON K7L 3N6, Canada

来源：

DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS | 2022年 / 32卷 / 03期

基金：

加拿大自然科学与工程研究理事会;

关键词：

Discrete-event systems; Supervisory control; Epistemic logic; SUPERVISORY CONTROL; KNOWLEDGE;

D O I：

10.1007/s10626-022-00363-7

中图分类号：

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

学科分类号：

0812 ;

摘要：

This paper presents epistemic characterizations to co-observability conditions in decentralized supervisory control of discrete-event systems. The logical characterizations provide more intuitive interpretations of the various co-observability conditions, and make immediately apparent the relations between the conditions. Closures under set union of some of the conditions are also discussed.

引用

页码：359 / 398

页数：40

共 20 条

[1] Cassandras C.G., 2009, INTRO DISCRETE EVENT, V2nd ed.
[2] SUPERVISORY CONTROL OF DISCRETE-EVENT PROCESSES WITH PARTIAL OBSERVATIONS
CIESLAK, R
DESCLAUX, C
FAWAZ, AS
VARAIYA, P
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1988, 33 (03) : 249 - 260
[3] Ean R, 2021, P 60 IEEE C DECISION, V2021, P1062, DOI [10.1109/CDC45484.2021.9683210, DOI 10.1109/CDC45484.2021.9683210]
[4] Ean R., 2022, DO WHAT YOU KN UNPUB
[5] Fagin R., 1995, REASONING KNOWLEDGE
[6] KNOWLEDGE AND COMMON KNOWLEDGE IN A DISTRIBUTED ENVIRONMENT
HALPERN, JY
MOSES, Y
[J]. JOURNAL OF THE ACM, 1990, 37 (03) : 549 - 587
[7] Kumar R, 2005, P 44 TH IEEE C DECIS, DOI 10.1109/CDC.2005.1582701
[8] ON OBSERVABILITY OF DISCRETE-EVENT SYSTEMS
LIN, F
WONHAM, WM
[J]. INFORMATION SCIENCES, 1988, 44 (03) : 173 - 198
[9] Prosser JH, 1997, P AMER CONTR CONF, P2251, DOI 10.1109/ACC.1997.608978
[10] SUPERVISORY CONTROL OF A CLASS OF DISCRETE EVENT PROCESSES
RAMADGE, PJ
WONHAM, WM
[J]. SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 1987, 25 (01) : 206 - 230

← 1 2 →