Abstract The term Cyber-Physical Systems (CPS) typically refers to engineered, physical
and biological systems monitored and/or controlled by an embedded computational core …

In smart homes, when an actuator's state changes, it sends an event notification to the IoT
hub to report this change (eg, the door is unlocked). Prior works have shown that event …

In cyber-physical systems (CPS), physical behaviors are typically controlled by digital
hardware. As a consequence, continuous behaviors are discretized by sampling and …

Many modern autonomous systems, particularly multi-agent systems, are time-critical and
need to be robust against timing uncertainties. Previous works have studied left and right …

We review and compare three notions of conformance testing for cyber-physical systems.
We begin with a review of their underlying semantic models and present conformance …

Model-based development is an important paradigm for developing cyber-physical systems
(CPS). The underlying assumption is that the functional behavior of a model is related to the …

We study the temporal robustness of stochastic signals. This topic is of particular interest in
interleaving processes such as multi-agent systems where communication and individual …

Many important properties of cyber-physical systems (CPS) are defined upon the
relationship between multiple executions simultaneously in continuous time. Examples …

A hyperproperty is a property that requires two or more execution traces to check. This is in
contrast to properties expressed using temporal logics such as LTL, MTL and STL, which …

Smart homes contain diverse sensors and actuators controlled by IoT apps that provide
custom automation. Prior works showed that an adversary could exploit physical interaction …