Local Opacity Verification for Distributed Discrete Event Systems
Systems and Control
2021-12-21 v1 Systems and Control
Abstract
This paper studies current-state opacity and initial-state opacity verification of distributed discrete event systems. The distributed system's global model is the parallel composition of multiple local systems: each of which represents a component. We propose sufficient conditions for verifying opacity of the global system model based only on the opacity of the local systems. We also present efficient approaches for the opacity verification problem that only rely on the intruder's observer automata of the local systems.
Keywords
Cite
@article{arxiv.2112.10416,
title = {Local Opacity Verification for Distributed Discrete Event Systems},
author = {Sasinee Pruekprasert and Kai Cai},
journal= {arXiv preprint arXiv:2112.10416},
year = {2021}
}
Comments
60th IEEE Conference on Decision and Control (CDC2021)