메뉴 건너뛰기




Volumn 57, Issue 5, 2012, Pages 1155-1165

Opacity-enforcing supervisory strategies via state estimator constructions

Author keywords

Discrete event systems; opacity; security; supervisory control

Indexed keywords

CONTROLLABLE SYSTEMS; NONDETERMINISTIC FINITE AUTOMATON; SECURITY; SECURITY APPLICATION; STATE ESTIMATORS; STATE-BASED; SUPERVISORY CONTROL; SYSTEM BEHAVIORS;

EID: 84860457127     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2011.2170453     Document Type: Article
Times cited : (131)

References (19)
  • 3
    • 54549090072 scopus 로고    scopus 로고
    • Opacity generalised to transition systems
    • Nov
    • J. Bryans, M. Koutny, L. Mazare, and P. Ryan, "Opacity generalised to transition systems," Int. J. Inf. Security, vol. 7, no. 6, pp. 421-435, Nov. 2008.
    • (2008) Int. J. Inf. Security , vol.7 , Issue.6 , pp. 421-435
    • Bryans, J.1    Koutny, M.2    Mazare, L.3    Ryan, P.4
  • 4
    • 79960119043 scopus 로고    scopus 로고
    • Verification of -step opacity and analysis of its complexity
    • Jul
    • A. Saboori and C. N. Hadjicostis, "Verification of -step opacity and analysis of its complexity," IEEE Trans. Autom. Sci. Eng., vol. 8, no. 3, pp. 549-559, Jul. 2011.
    • (2011) IEEE Trans. Autom. Sci. Eng. , vol.8 , Issue.3 , pp. 549-559
    • Saboori, A.1    Hadjicostis, C.N.2
  • 6
    • 84860430528 scopus 로고    scopus 로고
    • Verification of infinite-step opacity and complexity considerations
    • to be published
    • A. Saboori and C. N. Hadjicostis, "Verification of infinite-step opacity and complexity considerations," IEEE Trans. Autom. Control, to be published.
    • IEEE Trans. Autom. Control
    • Saboori, A.1    Hadjicostis, C.N.2
  • 10
    • 84860492177 scopus 로고    scopus 로고
    • Synthesis of non-interferent distributed systems
    • Aug
    • F. Cassez, J. Mullins, and O. Roux, "Synthesis of non-interferent distributed systems," Comput. Netw. Security, vol. 1, pp. 159-170, Aug. 2007.
    • (2007) Comput. Netw. Security , vol.1 , pp. 159-170
    • Cassez, F.1    Mullins, J.2    Roux, O.3
  • 14
    • 0025750056 scopus 로고
    • Classical and logic-based dynamic observers for finite automata
    • Mar
    • P. E. Caines, R. Greiner, and S. Wang, "Classical and logic-based dynamic observers for finite automata," IMA J. Math. Control Inf., vol. 8, no. 1, pp. 45-80, Mar. 1991.
    • (1991) IMA J. Math. Control Inf. , vol.8 , Issue.1 , pp. 45-80
    • Caines, P.E.1    Greiner, R.2    Wang, S.3
  • 15
    • 0023104549 scopus 로고
    • Supervisory control of a class of discrete event processes
    • Jan
    • P. J. Ramadge and W. M. Wonham, "Supervisory control of a class of discrete event processes," SIAM J. Control Optim., vol. 25, pp. 206-230, Jan. 1987.
    • (1987) SIAM J. Control Optim. , vol.25 , pp. 206-230
    • Ramadge, P.J.1    Wonham, W.M.2
  • 16
    • 79960890426 scopus 로고    scopus 로고
    • Coverage analysis of mobile agent trajectory via state-based opacity formulations Control Eng. Practice (Special Iss. Sel
    • A. Saboori and C. N. Hadjicostis, "Coverage analysis of mobile agent trajectory via state-based opacity formulations," Control Eng. Practice (Special Iss. Sel. Papers 2nd Int. Workshop Depend. Control Discrete Syst.), vol. 19, pp. 967-977, 2011.
    • (2011) Papers 2nd Int. Workshop Depend. Control Discrete Syst.) , vol.19 , pp. 967-977
    • Saboori, A.1    Hadjicostis, C.N.2
  • 18
    • 0025475618 scopus 로고
    • Formulas for calculating supremal controllable and normal sublanguages
    • R. D. Brandt, V. Garg, R. Kumar, F. Lin, S. I. Marcus, and W. M. Wonham, "Formulas for calculating supremal controllable and normal sublanguages," Syst. Control Lett., vol. 15, no. 2, pp. 111-117, 1990.
    • (1990) Syst. Control Lett. , vol.15 , Issue.2 , pp. 111-117
    • Brandt, R.D.1    Garg, V.2    Kumar, R.3    Lin, F.4    Marcus, S.I.5    Wonham, W.M.6
  • 19
    • 0032122101 scopus 로고    scopus 로고
    • Active diagnosis of discrete event systems
    • Jul
    • M. Sampath, S. Lafortune, and D. Teneketzis, "Active diagnosis of discrete event systems," IEEE Trans. Autom. Control, vol. 43, no. 7, pp. 908-929, Jul. 1998.
    • (1998) IEEE Trans. Autom. Control , vol.43 , Issue.7 , pp. 908-929
    • Sampath, M.1    Lafortune, S.2    Teneketzis, D.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.