메뉴 건너뛰기




Volumn , Issue , 2012, Pages 6722-6728

Enforcement of opacity properties using insertion functions

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC IDENTIFICATION; DISCRETE EVENT SIMULATION;

EID: 84874238258     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2012.6426760     Document Type: Conference Paper
Times cited : (19)

References (15)
  • 6
    • 84874222510 scopus 로고    scopus 로고
    • Various notions of opacity verified and enforced at runtime
    • Y. Falcone and H. Marchand. Various notions of opacity verified and enforced at runtime. Technical Report 7349, INRIA, 2010.
    • (2010) Technical Report 7349 INRIA
    • Falcone, Y.1    Marchand, H.2
  • 9
    • 79952485063 scopus 로고    scopus 로고
    • Opacity of discrete event systems and its applications
    • F. Lin. Opacity of discrete event systems and its applications. Automatica, 47(3):496-503, 2011.
    • (2011) Automatica , vol.47 , Issue.3 , pp. 496-503
    • Lin, F.1
  • 10
    • 13544269120 scopus 로고    scopus 로고
    • Using unification for opacity properties
    • L. Mazaré. Using unification for opacity properties. Proceedings of the 4th IFIP WG1, 7:165-176, 2003.
    • (2003) Proceedings of the 4th IFIP WG1 , vol.7 , pp. 165-176
    • Mazaré, L.1
  • 13
    • 84860457127 scopus 로고    scopus 로고
    • Opacity-enforcing supervisory strategies via state estimator constructions
    • A. Saboori and C. N. Hadjicostis. Opacity-enforcing supervisory strategies via state estimator constructions. IEEE Transactions on Automatic Control, 57(5):1155-1165, 2012.
    • (2012) IEEE Transactions on Automatic Control , vol.57 , Issue.5 , pp. 1155-1165
    • Saboori, A.1    Hadjicostis, C.N.2


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