Title :
Know means no: incorporating knowledge into decentralized discrete-event control
Author :
Ricker, S.L. ; Rudie, K.
Author_Institution :
Dept. of Comput. & Inf. Sci., Queen´´s Univ., Kingston, Ont., Canada
Abstract :
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 controllers 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
Keywords :
decentralised control; discrete event systems; formal logic; inference mechanisms; intelligent control; decentralized discrete-event control; formal reasoning; knowledge; modal logic; pooled information; Centralized control; Communication system control; Control systems; Discrete event systems; Guidelines; Information science; Knowledge engineering; Logic; Supervisory control; Terminology;
Conference_Titel :
American Control Conference, 1997. Proceedings of the 1997
Conference_Location :
Albuquerque, NM
Print_ISBN :
0-7803-3832-4
DOI :
10.1109/ACC.1997.609077
