Knowledge is a terrible thing to waste: Using inference in discrete-event control problems

被引：29

作者：

Ricker, S. L. ^{[1
]}

Rudie, K.

机构：

[1] Mt Allison Univ, Dept Math & Comp Sci, Sackville, NB E4L 1E6, Canada

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

来源：

IEEE TRANSACTIONS ON AUTOMATIC CONTROL | 2007年 / 52卷 / 03期

基金：

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

关键词：

decentralized; discrete-event systems; knowledge; modal logic; supervisory control;

D O I：

10.1109/TAC.2007.892371

中图分类号：

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

学科分类号：

0812 ;

摘要：

The role of inference is added to the capabilities of decentralized supervisors in a modal logic setting for discrete-event systems. In previous work, a decentralized supervisor made a control decision through formal reasoning, using only information obtained from direct observation of a given system. The framework is extended so that when a supervisor cannot make a definitive control decision based on its own knowledge of the system, the supervisor may reason about whether other supervisors have sufficient knowledge to eventually make the correct control decision.

引用

页码：428 / 441

页数：14

共 27 条

[1] AGREEING TO DISAGREE [J].

AUMANN, RJ .

ANNALS OF STATISTICS, 1976, 4 (06) :1236-1239

[2]

BRAFMAN RI, 1995, P 14 INT JOINT C ART, P96

[3] Logic of authentication [J].

Burrows, Michael ;

Abadi, Martin ;

Needham, Roger .

Operating Systems Review (ACM), 1989, 23 (05) :1-13

[4]

Cassandras C.G., 2021, Introduction to Discrete Event Systems, V3rd, DOI 10.1007/978-3-030-72274-6

[5] SUPREMAL AND MAXIMAL SUBLANGUAGES ARISING IN SUPERVISOR SYNTHESIS PROBLEMS WITH PARTIAL OBSERVATIONS [J].

CHO, HJ ;

MARCUS, SI .

MATHEMATICAL SYSTEMS THEORY, 1989, 22 (03) :177-211

[6] SUPERVISORY CONTROL OF DISCRETE-EVENT PROCESSES WITH PARTIAL OBSERVATIONS [J].

CIESLAK, R ;

DESCLAUX, C ;

FAWAZ, AS ;

VARAIYA, P .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1988, 33 (03) :249-260

[7]

Fagin R., 1995, Reasoning About Knowledge, DOI DOI 10.7551/MITPRESS/5803.001.0001

[8]

GUAN XY, 1995, PROCEEDINGS OF THE 1995 AMERICAN CONTROL CONFERENCE, VOLS 1-6, P3151

[9]

Halpern J. Y., 1984, P 3 ACM S PRINC DIST, P50

[10] A GUIDE TO COMPLETENESS AND COMPLEXITY FOR MODAL-LOGICS OF KNOWLEDGE AND BELIEF [J].

HALPERN, JY ;

MOSES, Y .

ARTIFICIAL INTELLIGENCE, 1992, 54 (03) :319-379

← 1 2 3 →