PREDICTABILITY IN DISCRETE-EVENT SYSTEMS UNDER PARTIAL OBSERVATION 1

This paper studies the problem of predicting occurrences of a significant event in a discrete-event system. The predictability of occurrences of an event in a system is defined in the context of formal languages. The predictability of a language is a stronger condition than the diagnosability of the language. An implementable necessary and sufficient condition for predictability of occurrences of an event in systems modeled by regular languages...