Polynomial algorithms to check opacity in discrete event systems

Proceedings of the 2012 24th Chinese Control and Decision Conference, CCDC 2012

Volumn , Issue , 2012, Pages 763-769

  Zhang, Bo ^a,b   Shu, Shaolong ^a   Lin, Feng ^a,b  

^a TONGJI UNIVERSITY   (China)

^b Wayne State University   (United States)

Author keywords

anonymity; detectability; diagnosability; Discrete event systems; observability; opacity; secrecy

Indexed keywords

ANONYMITY; DETECTABILITY; DIAGNOSABILITY; POLYNOMIAL ALGORITHM; POLYNOMIAL COMPLEXITY; SECRECY;

ALGORITHMS; DISCRETE EVENT SIMULATION; OBSERVABILITY; POLYNOMIALS;

OPACITY;

EID: 84866658319     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CCDC.2012.6244117     Document Type: Conference Paper

References (18)

1. M. Ben-Kalefa and F. Lin. Opaque superlanguages and sublanguages in discrete event systems, Proceedings of the 48th IEEE Conference on Decision and Control, pp. 199-204, 2009.
2. M. Ben-Kalefa and F. Lin. Supervisory control for opacity of discrete event systems, Proceedings of the 49th Annual Allerton Conference on Communication, Control, and Computing, to appear.
3. J. W. Bryans, M. Koutny and P. Y. A. Ryan. Modelling opacity using Petri nets. Electronic Notes in Theoretical Computer Science 121, pp. 101115, 2005.
4. J. W. Bryans, M. Koutny, L. Mazare and P. Y. A. Ryan. Opacity generalised to transition systems. FAST 2005, LNCS 2860, pp. 81-95, 2006.
5. F. Cassez, J. Dubreil, H. Marchand: Dynamic Observers for the Synthesis of Opaque Systems. ATVA 2009, LNCS 5799, pp. 352-367, 2009.
6. J. Dubreil, Ph. Darondeau, and H. Marchand. Opacity enforcing control synthesis. Proc. of the 9th International Workshop on Discrete Event Systems, pp. 28-35, 2008.
7. F. Lin. Diagnosability of discrete event systems and its applications. Discrete Event Dynamic Systems: Theory and Applications, 4(1), pp. 197-212, 1994.
8. F. Lin. Opacity of discrete event systems and its applications, Automatica, 47, pp. 496-503, 2011.
9. F. Lin and W. M. Wonham. On observability of discrete-event systems. Information Sciences, 44, pp. 173-198, 1988.
10. R.J. Ramadge and W. M. Wonham. Supervisory control of a class of discrete event processes. SIAM J. Control and Optimization, 25(1), pp. 206-230, 1987.
11. M.K. Reiter and A.D. Rubin. Crowds: anonymity for Web transactions. ACM Transactions on Information and System Security, 1(1) pp. 66-92, 1998.
12. A. Saboori and C. Hadjicostis. Notions of security and opacity in discrete event systems. Proceedings of the 46th IEEE Conference on Decision and Control, pp. 5056-5061, 2007.
13. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis. Diagnosability of discrete event systems. IEEE Transactions on Automatic Control, 40(9), pp. 1555-1575, 1995.
14. A. Saboori and C. N. Hadjicostis. Opacity-enforcing supervisory strategies for secure discrete event systems. Proc. of the 46th IEEE Conference on Decision and Control, pp. 889-894, 2008.
15. S. Shu, F. Lin, and H. Ying. Detectability of discrete event systems. IEEE Transactions on Automatic Control, 52(12), pp. 2356-2359, 2007.
16. S. Shu, F. Lin, H. Ying, and X. Chen. State estimation and detectability of probabilistic discrete event systems. Automatica, 44(12), pp. 3054-3060, 2008.
17. S. Shu and F. Lin. Detectability of discrete event systems with dynamic event observation, Systems & Control Letters, 59(1), pp. 9-17, 2010.
18. Shu and F. Lin. Generalized detectability for discrete event systems, Systems & Control Letters, 60, pp,310-317, 2011.