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 …

In recent years, cybersecurity has received increasing attention due to the demand from a
large class of networked systems for resilience against cyberattacks that may compromise …

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 …

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, 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 …

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 …

The verification and enforcement problem of opacity that falls into the category of security
properties of information flows in a cyber-physical system has been extensively studied from …

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 …