As the amount of biological data in the public domain grows, so does the range of modeling
and analysis techniques employed in systems biology. In recent years, a number of …

It is widely held that debugging cyber-physical systems (CPS) is challenging; many strongly
held beliefs exist regarding how CPS are currently debugged and tested and the suitability …

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

Monitoring transient behaviors of real-time systems plays an important role in model-based
systems design. Signal Temporal Logic (STL) emerges as a convenient and powerful …

The Internet of Things (IoT) is a ubiquitous system connecting many different devices-the
things-which can be accessed from the distance. The cyber-physical systems (CPSs) …

Runtime verification is an area of formal methods that studies the dynamic analysis of
execution traces against formal specifications. Typically, the two main activities in runtime …

Industrial control systems are often hybrid systems that are required to satisfy strict
performance requirements. Verifying designs against requirements is a difficult task, and …

Runtime verification is concerned with monitoring program traces. In particular, stream
runtime verification (SRV) takes the program trace as input streams and incrementally …

Networked dynamical systems are increasingly used as models for a variety of processes
ranging from robotic teams to collections of genetically engineered living cells. As the …

We present a novel approach to learn logical formulae characterising the emergent
behaviour of a dynamical system from system observations. At a high level, the approach …