Generalized Projections in Finite State Automata Decidability of State Determinacy

摘要

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.