Supervisory control on opacity-margin of discrete event systems
WANG Fei
DAI Yin-yin
JIN Fu-jiang
Abstract：The synthesis problem of supervisory control and verification of k-opacity on opacity-margin is formulated.Firstly,two definitions of opacity-margin based on languages and based on(estimated)states are given respectively.By presenting the equivalent relations about the two definitions,we show that opacity-margin on states is equivalent to opacity-margin on languages.Secondly,a sufficient condition that secret is k-opaque with respect to the plant can be obtained by counting of opacity-margin on states.Based on the sufficient condition,algorithms to get opacity-margin and verify k-opacity are given.Thirdly,if the plant is not k-opaque,an algorithm is given to design a supervisor to assure the k-opacity.And,a conclusion is shown that the supervisor obtained by the algorithm is not only to preserve the k-opacity,but also to be maximal permissive.Finally,an illustration example is formulated to show the validity of the k-opacity's verification and method of achieving maximal permissive supervisor to keep the k-opacity.
Keywords：opacity-margink-opaquesupervisorsdiscrete event systems
Publication Date：2025-03-31
Online Publishing Date：2025-08-15(First online date of this platform, not the publication date of the document)
Pages：9( 618-626 )