The predictability of discrete event systems

Perturbation analysis and the automaton and language model are two recently developed approaches for discrete event systems (DES’s). The prediction of a trajectory of a new system is the essential idea of perturbation analysis. The automaton theory models a trajectory of a DES by a string in a particular language. This note formulates the trajectory prediction as a projection of a string to a language. A sufficient condition is found for one language to be predictable from another language. Examples are given to show the application of this concept.