Opacity of Fuzzy Discrete Event Systems

Opacity of discrete event systems (DESs) has been well investigated in recent years. However, all the existing researches only focus on crisp models. Note that a lot of practical systems are filled with uncertainties that cannot be accurately characterized by crisp models but can be well handled by fuzzy models. Therefore, the researches of opacity of DESs should be extended to fuzzy models. In this paper, we investigate the opacity of fuzzy DESs, in which both system behaviors and secrets are fuzzy sets rather than crisp sets, and intruders make inferences by means of fuzzy logic instead of classic logic.

[1]  Laurent Mazare,et al.  Using Unification For Opacity Properties , 2004 .

[2]  Feng Lin,et al.  Modeling and control of fuzzy discrete event systems , 2002, IEEE Trans. Syst. Man Cybern. Part B.

[3]  Maciej Koutny,et al.  Modelling Opacity Using Petri Nets , 2005, WISP@ICATPN.

[4]  Stéphane Lafortune,et al.  Synthesis of insertion functions for enforcement of opacity security properties , 2014, Autom..

[5]  Jean-Jacques Lesage,et al.  Overview of discrete event systems opacity: Models, validation, and quantification , 2016, Annu. Rev. Control..

[6]  Stéphane Lafortune,et al.  Comparative analysis of related notions of opacity in centralized and coordinated architectures , 2013, Discret. Event Dyn. Syst..

[7]  Philippe Darondeau,et al.  Supervisory Control for Opacity , 2010, IEEE Transactions on Automatic Control.

[8]  Christoforos N. Hadjicostis,et al.  Verification of initial-state opacity in security applications of discrete event systems , 2013, Inf. Sci..

[9]  Feng Lin,et al.  Opacity of discrete event systems and its applications , 2011, Autom..

[10]  Daowen Qiu,et al.  Supervisory control of fuzzy discrete event systems: a formal approach , 2005, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[11]  Christoforos N. Hadjicostis,et al.  Notions of security and opacity in discrete event systems , 2007, 2007 46th IEEE Conference on Decision and Control.

[12]  Feng Lin,et al.  Decentralized opacity of discrete event systems , 2012, 2012 American Control Conference (ACC).

[13]  Maciej Koutny,et al.  Opacity Generalised to Transition Systems , 2005, Formal Aspects in Security and Trust.