Title :
Know means no: Incorporating knowledge into discrete-event control systems
Author :
Ricker, S. Laurie ; Rudie, Karen
Author_Institution :
CWI, Amsterdam, Netherlands
fDate :
9/1/2000 12:00:00 AM
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 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
Keywords :
decentralised control; discrete event systems; formal logic; intelligent control; decentralized discrete-event control; discrete-event control systems; discrete-event systems modeling; formal reasoning; fully decentralized supervisors; knowledge incorporation; modal logic; Communication system control; Control system synthesis; Control systems; Discrete event systems; Distributed control; Formal languages; Guidelines; Law; Legal factors; Logic;
Journal_Title :
Automatic Control, IEEE Transactions on
