Francesco Basile, Gianmaria De Tommasi, Carlo Motta, Claudio Sterle. Necessary and Sufficient Condition to Assess Initial-State-Opacity in Live Bounded and Reversible Discrete Event Systems. IEEE Control Systems Letters, 6:2683-2688, 2022. [doi]
Abstract is missing.