High-Order Opacity in Discrete-Event Systems

The dataset used in this paper is a discrete-event system (DES) modeled by a deterministic finite-state automaton (DFA). The system has a set of observable events and a set of unobservable events. The dataset contains the DFA model of the system, the set of observable events, and the set of unobservable events.