Know means no: Incorporating knowledge into discrete-event control systems

被引：59

作者：

Ricker, SL ^{[1
]}

Rudie, K

机构：

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

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

来源：

IEEE TRANSACTIONS ON AUTOMATIC CONTROL | 2000年 / 45卷 / 09期

基金：

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

关键词：

automata; discrete-event systems; modal logic;

D O I：

10.1109/9.880616

中图分类号：

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

学科分类号：

0812 ;

摘要：

Modal logic is introduced into the modeling of discrete-event systems. Analysis within this framework includes formal reasoning about what supervisors know or do not know about a given system. This model can be used to develop control strategies that solve decentralized discrete-event control problems. When a problem cannot be solved using fully decentralized supervisors, reasoning about knowledge may provide guidelines for incorporating communication and pooled information into the model.

引用

页码：1656 / 1668

页数：13

共 30 条

[1] AGREEING TO DISAGREE [J].