Title :
Generalized Projections in Finite State Automata & Decidability of State Determinacy
Author :
Chattopadhyay, Ishanu ; Ray, Asok
Author_Institution :
Pennsylvania State Univ., University Park
Abstract :
Under loss of sensors and communication links in discrete event systems (DES), an event may conceivably be observable at one state and unobservable at another state and the observability may become dependent on the history of event occurrences. This paper presents a framework for analysis of generalized projection maps in DES, including the maps that introduce possibly unbounded memory.
Keywords :
decentralised control; discrete event systems; communication links; discrete event systems; finite state automata; generalized projection maps; sensors; state determinacy; Automata; Cities and towns; Communication system control; Control systems; Discrete event systems; Formal languages; History; Hydrogen; Observability; Sensor systems; Discrete Event Systems; Formal Language Theory; Nonregular languages; Partial Observation;
Conference_Titel :
American Control Conference, 2007. ACC '07
Conference_Location :
New York, NY
Print_ISBN :
1-4244-0988-8
Electronic_ISBN :
0743-1619
DOI :
10.1109/ACC.2007.4282235
