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 …

This paper presents historical remarks on key projects and papers that led to the
development of a theory of event diagnosis for discrete event systems modeled by finite …

A system is said to be opaque if a given secret behavior remains opaque (uncertain) to an
intruder who can partially observe system activities. This work addresses the verification of …

One of the major challenges about cyber–physical systems is how to protect system integrity
from cyber attacks. There has been a large number of different types of attacks discussed in …

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 the context of security analysis for information flow properties, where a potentially
malicious observer (intruder) tracks the observed behavior of a given system, infinite-step …

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 …

Cyber-physical systems (CPSs) integrate computing and communication capabilities to
monitor and control physical processes. In order to do so, communication networks are …

One of the most important challenges for the application of cyber-physical systems (CPS) in
smart industries is ensuring its security against cyber attacks. In this paper, we consider that …