User: Guest  Login
Title:

Compositional Verification of Initial-State Opacity for Switched Systems

Document type:
Konferenzbeitrag
Author(s):
Liu, S.; Swikir, A.; Zamani, M.
Abstract:
In this work, we propose a compositional framework for the verification of approximate initial-state opacity for networks of discrete-time switched systems. The proposed approach is based on a notion of approximate initial-state opacity-preserving simulation functions (InitSOPSFs), which characterize how close concrete networks and their finite abstractions are in terms of the satisfaction of approximate initialstate opacity. We show that such InitSOPSFs can be obtained compositionally by assumi...     »
Keywords:
Switched systems; Switches; Security; Control systems; Trajectory; Stability analysis; Toy manufacturing industry
Book / Congress title:
2020 59th IEEE Conference on Decision and Control (CDC)
Year:
2020
Month:
Dec
Pages:
2146-2151
Fulltext / DOI:
doi:10.1109/CDC42340.2020.9304322
 BibTeX