A cyber physical system (CPS) is a complex system that integrates sensing, computation,
control and networking into physical processes and objects over Internet. It plays a key role …

Correct-by-construction synthesis is a cornerstone of the confluence of formal methods and
control theory towards designing safety-critical systems. Instead of following the time-tested …

Abstract System resilience captures the ability of the system to withstand a major disruption
within acceptable performance degradation and to recover within an acceptable time frame …

This paper investigates the enforcement of opacity by insertion functions subject to multiple
quantitative constraints capturing resource or energy limitations. There is a malicious …

Opacity is an important information-flow security property in the analysis of cyber-physical
systems. It captures the plausible deniability of the system's secret behavior in the presence …

Opacity is a central concept in the issue of privacy security and has been studied extensively
in fields such as finite automata, probabilistic automata, and stochastic automata. Here, we …

Opacity, as an important property in information-flow security, characterizes the ability of a
system to keep some secret information from an intruder. In discrete-event systems, based …

We investigate the problem of synthesizing dynamic masks that preserve the infinite-step
opacity in the context of discrete-event systems. Dynamic mask is an information acquisition …

In this paper, we investigate the problem of planning an optimal infinite path for a single
robot to achieve a linear temporal logic (LTL) task with security guarantee. We assume that …

Opacity is an important information-flow property concerning the security and privacy of
cyber–physical systems. We investigate the synthesis problem of infinite-step opacity and K …