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

arXiv:2307.03870 · cs.FL, cs.SY, eess.SY · Submitted 2023-07-08 · Read on arXiv