TY - JOUR
T1 - Generalised projections in finite state automata and decidability of state determinacy
AU - Chattopadhyay, Ishanu
AU - Ray, Asok
N1 - Funding Information:
This work has been supported in part by the U.S. Army Research Laboratory and the U.S. Army Research Office under Grant Nos. W911NF-07-1-0376 and W911NF-06-1-0469.
PY - 2008/10
Y1 - 2008/10
N2 - Loss of sensors and communication links may lead to incomplete observation at the supervisory level of discrete event systems (DES). Under these circumstances, 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 generalised projection maps in DES, including the maps that introduce possibly unbounded memory.
AB - Loss of sensors and communication links may lead to incomplete observation at the supervisory level of discrete event systems (DES). Under these circumstances, 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 generalised projection maps in DES, including the maps that introduce possibly unbounded memory.
UR - http://www.scopus.com/inward/record.url?scp=49449098773&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=49449098773&partnerID=8YFLogxK
U2 - 10.1080/00207170801888837
DO - 10.1080/00207170801888837
M3 - Article
AN - SCOPUS:49449098773
SN - 0020-7179
VL - 81
SP - 1626
EP - 1644
JO - International Journal of Control
JF - International Journal of Control
IS - 10
ER -