Decentralized opacity of discrete event systems

Proceedings of the American Control Conference

Volumn , Issue , 2012, Pages 6083-6088

  Paoli, Andrea ^a   Lin, Feng ^b  

^a UNIVERSITY OF BOLOGNA   (Italy)

^b Wayne State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

NETWORK SECURITY; OPACITY;

CO-OBSERVABILITY; OTHER PROPERTIES; SECURITY PROBLEMS; SUPERVISORY CONTROL;

DISCRETE EVENT SIMULATION;

EID: 84869406791     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/acc.2012.6315028     Document Type: Conference Paper

References (20)

1. Eric Badouel, Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Benoît Caillaud, and Philippe Darondeau. Concurrent secrets. Discrete Event Dynamic Systems, 17(4):425-446, 2007.
2. J.W. Bryans, M. Koutny, L. Mazare, and P.Y.A. Ryan. Opacity generalised to transition systems. In Formal Aspects in Security and Trust, volume 3866 of Lecture Notes in Computer Science, pages 81-95. Springer, 2006.
3. J.W. Bryans, M. Koutny, and P.Y.A. Ryan. Modelling opacity using petri nets. Electronic Notes in Theoretical Computer Science, 121:101-115, 2005.
4. M.P. Cabasino, A. Giua, A. Paoli, and C. Seatzu. Decentralized diagnosis of Petri nets. In Proc. 2010 American Control Conference, 2010.
5. C.G. Cassandras and S. Lafortune. Introduction to discrete event systems, Second Edition. Springer, 2007.
6. R. Debouk, S. Lafortune, and D. Teneketzis. Coordinated decentralized protocols for failure diagnosis of discrete-event systems. Discrete Events Dynamic Systems, 10(1):33-86, 2000.
7. J. Dubreil, P. Darondeau, and H. Marchand. Opacity enforcing control synthesis. In Proc. WODES'08: 9th Work. on Discrete Event Systems (Göteborg, Sweden), 2008.
8. F. Lin. Diagnosability of discrete event systems and its applications. Discrete Events Dynamic Systems, 4(1):197-212, 1994.
9. F. Lin and W.M. Wonham. On observability of discrete-event systems. Information Sciences, 44(3):173-198, 1988.
10. Feng Lin. Opacity of discrete event systems and its applications. Automatica, 47(2):496-503, 2011.
11. A. Paoli and S. Lafortune. Safe diagnosability for fault tolerant supervision of discrete event systems. Automatica, 41(8):1335-1347, 2005.
12. Andrea Paoli and Feng Lin. Decentralized opacity of discrete event systems. Published at www.arxiv.com, 2011.
13. P.J. Ramadge and W.M. Wonham. The control of discrete event systems. Proceedings of the IEEE, 77(1):81-98, 1989.
14. R.J. Ramadge and W.M. Wonham. Supervisory control of a class of discrete event processes. SIAM Journal on Control and Optimization, 25(1):206-230, 1987.
15. M.K. Reiter and A.D. Rubin. Crowds: anonymity for web transactions. ACM Transactions on Information and System Security, 1(1):66-92, 1998.
16. K. Rudie and W.M.Wonham. Think globally, act locally: decentralized supervisory control. IEEE Trans. Automatic Control, 37(11):1692-1708, 1992.
17. A. Saboori and C. Hadjicostis. Notions of security and opacity in discrete event systems. In Proc. 46th IEEE Conf. on Decision and Control, 2007.
18. A. Saboori and C. Hadjicostis. Opacity-enforcing supervisory strategies for secure discrete event systems. In Proc. 47th IEEE Conf. on Decision and Control, 2008.
19. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis. Diagnosability of discrete event systems. IEEE Trans. Automatic Control, 40(9):1555-1575, 1995.
20. S. Shu, F. Lin, and H. Ying. Detectability of discrete event systems. IEEE Trans. Automatic Control, 52(12):2356-2359, 2007.