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, complicated dynamics such as systems of (nonlinear) differential equations
are controlled mostly to achieve stability. This fundamental property, which can be with …

The aim of this chapter is to act as a primer for those wanting to learn about Runtime
Verification (RV). We start by providing an overview of the main specification languages …

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

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 …

The increased complexity of modern systems necessitates automated anomaly detection
methods to detect possible anomalous behavior determined by malfunctions or external …

Recent research on spatial and spatio-temporal model checking provides novel image
analysis methodologies, rooted in logical methods for topological spaces. Medical imaging …

Cyber-Physical Systems (CPS) consist of collaborative, networked and tightly intertwined
computational (logical) and physical components, each operating at different spatial and …

Perception algorithms in autonomous vehicles are vital for the vehicle to understand the
semantics of its surroundings, including detection and tracking of objects in the environment …

Stochastic models such as Continuous-Time Markov Chains (CTMC) and Stochastic Hybrid
Automata (SHA) are powerful formalisms to model and to reason about the dynamics of …