Enforcing opacity of regular predicates on modal transition systems

Discrete Event Dynamic Systems: Theory and Applications

Volumn 25, Issue 1-2, 2015, Pages 251-270

  Darondeau, Philippe ^a   Marchand, Hervé ^a   Ricker, Laurie ^b  

^a INRIA   (France)

^b MOUNT ALLISON UNIVERSITY   (Canada)

Author keywords

Modal automata; Opacity; Partial observation; Supervisory control

Indexed keywords

COMPUTER AIDED ANALYSIS; OPACITY;

LABELLED TRANSITION SYSTEMS; MODAL AUTOMATA; MODAL TRANSITION SYSTEMS; PARTIAL OBSERVATION; PERMISSIVE CONTROLLERS; REGULAR CONTROLLERS; SUPERVISORY CONTROL; SUPERVISORY CONTROLLERS;

CONTROLLERS;

EID: 84926278391     PISSN: 09246703     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10626-014-0193-7     Document Type: Article

References (22)

1. Badouel, E, Bednarczyk A, Borzyszkowski A, Caillaud B, Darondeau P: Concurrent secrets. Discrete Event Dynamic Syst2007, 17:425–446.
2. Ben-Kalefa, M, Lin F: Proc 45th annual allerton conference on communication control, and computing: Allerton House; 2011.
3. Bryans, JW, Koutny M, Mazare L, Ryan PYA: Opacity generalized to transition systems. J Comput Secur2008, 7(6):421–435.
4. Darondeau, Ph, Dubreil J, Marchand H: Workshop on discrete event systems, WODES’10: Berlin, Germany; 2010.
5. Dubreil, J, Darondeau Ph, Marchand H: Opacity enforcing control synthesis, Gothenburg: Workshop on discrete event systems, WODES’08; 2008.
6. Dubreil, J, Darondeau Ph, Marchand H: Supervisory control for opacity. IEEE Trans Autom Control2010, 55(5):1089–1100.
7. Feuillade, G, Pinchinat S: Modal specifications for the control theory of discrete event systems. Discrete event dynamic: Syst theory appl2007, 17:211–232.
8. Hadjicostis, CN: Supervisory control strategies for enhancing system security and privacy, Allerton House: Proc 48th annual allerton conference on communication Control, and Computing; 2010.
9. Larsen, K.G.: Modal specifications. Autom Verification Methods Finite State Syst1990, 407:232–246.
10. Lin, F: Opacity of discrete event systems and its applications. Automatica2011, 47(4):496–503.
11. Lohmann, N, Massuth P, Wolf K: Proc ICATPN2007, volume 4546:321–341.
12. Mazare, L: Proc FAST’04; 2004.
13. Mazare, L: Using unification for opacity properties, Barcelona: Proceedings of the 4th IFIP WG1.7 workshop on issues in the Theory of Security (WITS’04); 2004.
14. Ramadge, PJ, Wonham WM: On the supremal controllable language of a given language. SIAM J Control Optim1987, 25:637–659.
15. Ramadge, PJ, Wonham WM: Supervisory control of a class of discrete event processes. SIAM J Control Optim1987, 25(1):206–230.
16. Ramadge, PJ, Wonham WM: The control of discrete event systems. 771989, 1:.
17. Saboori, A, Hadjicostis C: Opacity-enforcing supervisory strategies for secure discrete event systems, Cancun: Proc 47th IEEE conference on decision and control; 2008.
18. Saboori, A, Hadjicostis C: Verification of initial-state opacity in security applications of DES. 9th International workshop on discrete event systems, 2008 WODES 2008; 2008.
19. Saboori, A, Hadjicostis C: Opacity-enforcing supervisory strategies via state estimator constructions. IEEE Trans Autom Control2012, 57(5):1155–1165.
20. Takai, S, Oka Y: A formula for the supremal controllable and opaque sublanguage arising in supervisory control. SICE J ControlMeas Syst Integr2008, 1(4):307–312.
21. Takai, S, Kumar R: Proc American Control Conference; 2009.
22. Wu, Y, Lafortune S: Enforcement of opacity properties using insertion functions, Maui: 51st IEEE Conference on Decision and Control; 2012.