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 …

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 a novel approach to learn logical formulae characterising the emergent
behaviour of a dynamical system from system observations. At a high level, the approach …

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 …

In January 2016 the US National Library of Medicine announced a challenge competition
calling for the development and discovery of high-quality algorithms and software that rank …

We develop a model-based framework which supports approximate quantitative verification
of implantable cardiac pacemaker models over hybrid heart models. The framework is …

Multiaffine hybrid automata (MHA) represent a powerful formalism to model complex
dynamical systems. This formalism is particularly suited for the representation of biological …

Advanced capabilities planned for the next generation of autonomous and increasingly
autonomous air vehicles will include non-traditional components based on artificial …

Verification algorithms for networks of nonlinear hybrid automata (HA) can aid us
understand and control biological processes such as cardiac arrhythmia, formation of …