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 …

In control theory, complex models of physical processes, such as systems of differential or
difference equations, are usually checked against simple specifications, such as stability …

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

Signal temporal logic (STL) is a formalism used to rigorously specify requirements of
cyberphysical systems (CPS), ie, systems mixing digital or discrete components in …

This paper introduces a framework for inference of timed temporal logic properties from data.
The dataset is given as a finite set of pairs of finite-time system traces and labels, where the …

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

We are interested in predicting failures of cyber-physical systems during their operation.
Particularly, we consider stochastic systems and signal temporal logic specifications, and we …

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 …

In this article, we focus on inferring high-level descriptions of a system from its execution
traces. Specifically, we consider a classification problem where system behaviors are …

With the rapid development of software and distributed computing, Cyber-Physical Systems
(CPS) are widely adopted in many application areas, eg, smart grid, autonomous …