Affiliation:
1. College of Information Science and Engineering, Huaqiao University, Xiamen 361021, China
Abstract
To ensure opacity, it is optimal to retain as many as possible occurring event sequences. Contrary to this problem, the other optimal goal is to preserve the minimal occurring event sequences. Based on the choosing cost, an optimal opacity-enforcing problem with minimal discount choosing cost is presented under two constraints in this paper. The first constraint is the opacity of the controlled system. The second is the retention of the secret to the maximum. To solve the model, two scenarios on opacity are considered. For the two scenarios, some algorithms are presented to achieve the optimal solution for the model by using the method of dynamic programming. Then, the solutions produced by the algorithms are proved to be correct by theoretical proof. Finally, some illustrations and an application example on location privacy protection for the algorithms are given.
Funder
national natural science foundation of fujian Province
Reference33 articles.
1. Supervisory control for opacity;Dubreil;IEEE Trans. Autom. Control,2010
2. A formula for the supremal controllable and opaque sublanguage arising in supervisory control;Takai;SICE J. Control. Meas. Syst. Integr.,2008
3. Modular synthesis of maximally permissive opacity-enforcing supervisors for discrete event systems;Takai;IEICE Trans. Fundam. Electron. Commun. Comput. Sci.,2011
4. Using subobservers to synthesize opacity enforcing supervisors;Moulton;Discret. Event Dyn. Syst.,2022
5. Mazare, L. (2004, January 16–18). Using unification for opacity properties. Proceedings of the Workshop on Information Technology&Systems, Las Vegas, LV, USA.