Abstraction-Based Verification of Approximate Preopacity for Control Systems

Hou, Junyao; Liu, Siyuan; Yin, Xiang

doi:10.1109/lcsys.2022.3230770

Cited by 5 publications

(1 citation statement)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Related work. Over the past years, there has been a growing interest in analyzing opacity for continuous-space control systems [2,[31][32][33][34][35][36][37][38]. Concretely, [33] extended the concept of opacity in discrete-event systems (DES) to continuous-space cyber-physical systems (CPS) by introducing the notion of approximate opacity for metric systems, which takes into account the imprecision of external observations.…”

Section: Introductionmentioning

confidence: 99%

Synthesizing Safety Controllers for Uncertain Linear Systems: A Direct Data-driven Approach

Zhong

Caccamo

2022

2022 IEEE Conference on Control Technology and Applications (CCTA)

View full text Add to dashboard Cite

In this paper, we present the synthesis of secure-by-construction controllers that address safety and security properties simultaneously in cyber-physical systems. Our focus is on studying a specific security property called opacity, which characterizes the system's ability to maintain plausible deniability of its secret behavior in the presence of an intruder. These controllers are synthesized based on a concept of so-called (augmented) control barrier functions, which we introduce and discuss in detail. We propose conditions that facilitate the construction of the desired (augmented) control barrier functions and their corresponding secure-by-construction controllers. To compute these functions, we propose an iterative scheme that leverages iterative sum-of-square programming techniques. This approach enables efficient computation of these functions, particularly for polynomial systems. Moreover, we demonstrate the flexibility of our approach by incorporating user-defined cost functions into the construction of secure-by-construction controllers. Finally, we validate the effectiveness of our results through two case studies, illustrating the practical applicability and benefits of our proposed approach.

show abstract