The complexity of morphogenesis poses a fundamental challenge to understanding the
mechanisms governing the formation of biological patterns and structures. Over the past …

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 …

We present the use of a novel spatio-temporal model checker to detect problems in the data
and operation of a collective adaptive system. Data correctness is important to ensure …

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

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

With the development of the Internet of Things, millions of sensors are being deployed in
cities to collect real-time data. This leads to a need for checking city states against city …

Spatial and spatio-temporal model checking techniques have a wide range of application
domains, among which large scale distributed systems and signal and image analysis. We …

In this paper, we study the control and communication co-design for networked vehicles that
coordinate with each other to achieve safe operations. We propose a control-theoretical …

In this paper, we study the problem of controlling a two-dimensional robotic swarm with the
purpose of achieving high level and complex spatio-temporal patterns. We use a rich spatio …