Datasets Activity Stream About Order by Relevance Name Ascending Name Descending Last Modified Go 1 dataset found Tags: Opacity Filter Results 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... Dataset JSON