Opacity of Parametric Discrete Event Systems: Models, Decidability, and Algorithms

Weilin Deng, Daowen Qiu, Jingkai Yang

Finite automata (FAs) model is a popular tool to characterize discrete event systems (DESs) due to its succinctness. However, for some complex systems, it is difficult to describe…