Maximum information release while ensuring opacity in discrete event systems

Proceedings - IEEE International Conference on Robotics and Automation

Volumn , Issue , 2014, Pages 3285-3290

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

^a TONGJI UNIVERSITY   (China)

^b Wayne State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROLLERS; OPACITY;

CONTROL INFORMATION; CONTROL POLICY; GENERAL SYSTEMS;

DISCRETE EVENT SIMULATION;

EID: 84929156572     PISSN: 10504729     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICRA.2014.6907331     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 49th Annual Allerton Conference on Communication, Control, and Computing, pp. 1113-1119, 2011.
3. 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.
4. F. Cassez, J. Dubreil and H. Marchand, "Dynamic Observers for the Synthesis of Opaque Systems, " ATVA 2009, LNCS 5799, pp. 352-367, 2009.
5. F. Cassez, J. Dubreil and H. Marchand, "Synthesis of opaque system with static and dynamic masks, " Formal Methods in System Design, 40, pp. 88-115, 2012.
6. D. Chaum. The dining cryptographers problem: Unconditional sender and recipient untraceability. Journal of Cryptology, 1: 6575, 1988.
7. J. Dubreil, Ph. Darondeau and H. Marchand, "Opacity enforcing control synthesis, " Proceedings of the 9th International Workshop on Discrete Event Systems, pp. 28-35, 2008.
8. J. Dubreil, Ph. Darondeau and H. Marchand, "Supervisory control for opacity, " IEEE Transactions on Automatic Control, 55 (5), pp. 1089-1100, 2010.
9. F. Lin, "Opacity of discrete event systems and its applications, " Auto-matica, 47, pp. 496-503, 2011.
10. F. Lin and W. M. Wonham, "On observability of discrete-event systems, " Information Sciences, 44, pp. 173-198, 1988.
11. 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.
12. A. Saboori and C. Hadjicostis, "Verification of initial-state opacity in security applications of DES, " Proceedings of the 9th International Workshop on Discrete Event Systems, pp. 328-333, 2008.
13. A. Saboori and C. Hadjicostis, "Verification of infinite-step opacity and complexity considerations, " IEEE Transactions on Automatic Control, 57 (5) pp. 1265-1269, 2012.
14. A. Saboori and C. Hadjicostis, "Opacity-enforcing supervisory strate-gies via state estimator constructions, " IEEE Transactions on Automatic Control, 57 (5) pp. 1155-1165, 2012.
15. 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.
16. S. Shu and F. Lin, "Detectability of discrete event systems with dynamic event observation, " Systems & Control Letters, 59 (1), pp. 9-17, 2010.
17. Y. Wu and S. Lafortune, "Enforcement of opacity properties using insertion functions, " 51st IEEE Conference on Decision and Control, pp. 6722-6728, 2012.
18. B. Zhang, S. Shu and F. Lin, "Polynomial algorithm to check opacity in discrete event system, " Proceedings of 24th Chinese Control and Decision Conference, pp. 763-769, 2012.