Benutzer: Gast  Login
Titel:

Verification of approximate opacity for switched systems: A compositional approach

Dokumenttyp:
Zeitschriftenaufsatz
Autor(en):
Liu, Siyuan; Swikir, Abdalla; Zamani, Majid
Abstract:
The security in information-flow has become a major concern for cyber–physical systems (CPSs). In this work, we focus on the analysis of an information-flow security property, called opacity. Opacity characterizes the plausible deniability of a system’s secret in the presence of a malicious outside intruder. We propose a methodology of checking a notion of opacity, called approximate opacity, for networks of discrete-time switched systems. Our framework relies on compositional constructions of f...     »
Stichworte:
Switched systems, Opacity, Compositionality, Large-scale systems
Zeitschriftentitel:
Nonlinear Analysis: Hybrid Systems
Jahr:
2021
Band / Volume:
42
Seitenangaben Beitrag:
101084
Volltext / DOI:
doi:https://doi.org/10.1016/j.nahs.2021.101084
WWW:
https://www.sciencedirect.com/science/article/pii/S1751570X21000741
Print-ISSN:
1751-570X
 BibTeX