Current-state opacity and initial-state opacity of modular discrete event systems. Issue 11 (2nd November 2022)

• Record Type: Journal Article
• Authors: Yang, Jingkai; Deng, Weilin; Qiu, Daowen
• Is Part Of: International journal of control. Volume 95:Issue 11(2022)
• Page Start: 3037
• Page End: 3049
• Publication Date: 2022-11-02
• Subjects: Opacity -- discrete event systems -- automata -- modular methods; Automatic control -- Periodicals; Electronic journals; 629.8
• DOI: 10.1080/00207179.2021.1951357
• Languages: English
• ISSNs: 0020-7179

Abstract

ABSTRACT: The verifications of current-state opacity (CSO) and initial-state opacity (ISO) in discrete event systems (DESs) both suffer from the curse of dimensionality, as these issues were proved to be PSPACE-complete. Hence, how to reduce the state space is crucial. In this paper, we investigate CSO and ISO in modular DESs, which consist of several individual components. Necessary and sufficient conditions of CSO and ISO for modular DESs are derived under the assumption that all synchronous events are observable by each component of modular DESs. Moreover, we prove that the initial state estimator of modular system is isomorphic to the synchronous composition of initial state estimators for individual components. These results offer us the opportunity to reduce the complexity in verifying the opacity of modular DESs.