The predictability of discrete event systems

Perturbation analysis and the automaton and language model are approaches developed recently for the study of discrete-event systems (DESs). 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. The author formulates the trajectory prediction as a projection of a string onto 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