Title :
Incorporating communication and knowledge into decentralized discrete-event systems
Author :
Ricker, S.L. ; Rudie, K.
Author_Institution :
Dept. of Comput. & Inf. Sci., Queen´´s Univ., Kingston, Ont., Canada
fDate :
6/21/1905 12:00:00 AM
Abstract :
Using a formal method for reasoning about knowledge, system states where supervisors do not know enough to solve the decentralized discrete-event control problem can be detected. Once such states are identified, procedures are derived for incorporating communication into the decentralized discrete-event system. The resulting augmented system gives supervisors enough knowledge to make the correct control decisions. Further, these procedures yield a minimal set of communications
Keywords :
decentralised control; discrete event systems; inference mechanisms; knowledge representation; state estimation; communications; decentralized control; discrete-event systems; formal method; reasoning; state estimation; supervisory control; Automata; Communication system control; Control systems; Discrete event systems; Formal languages; Information science; Knowledge engineering; Law; Legal factors; Multiagent systems;
Conference_Titel :
Decision and Control, 1999. Proceedings of the 38th IEEE Conference on
Conference_Location :
Phoenix, AZ
Print_ISBN :
0-7803-5250-5
DOI :
10.1109/CDC.1999.830127
