Parameter and Insertion Function Co-synthesis for Opacity Enhancement in Parametric Stochastic Discrete Event Systems

Bo Wu 0005, Zhiyu Liu, Hai Lin 0002. Parameter and Insertion Function Co-synthesis for Opacity Enhancement in Parametric Stochastic Discrete Event Systems. In 2018 Annual American Control Conference, ACC 2018, Milwaukee, WI, USA, June 27-29, 2018. pages 3032-3037, IEEE, 2018. [doi]

Abstract

Abstract is missing.