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 …

Formal specifications play an essential role in the life-cycle of modern systems, both at the
time of their design and during their operation. Despite their importance, formal …

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 …

Symbolic learning is the logic-based approach to machine learning, and its mission is to
provide algorithms and methodologies to extract logical information from data and express it …

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 …

A methodology for automatic simulation-based testing of control systems for autonomous
vessels is proposed. The work is motivated by the need for increased test coverage and …

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 …

Rolling element bearings are widely used components in modern rotary machines, and
accurate diagnosis and interpretation for faults of bearings are significant for equipment …