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 …

We study the logic of dynamical systems, that is, logics and proof principles for properties of
dynamical systems. Dynamical systems are mathematical models describing how the state …

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 …

We study SMT problems over the reals containing ordinary differential equations,. They are
important for formal verification of realistic hybrid systems and embedded software. We …

In this paper, we present an approach for finding violations of safety properties of hybrid
systems. Existing approaches search for complete system trajectories that begin from an …

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 …

We propose a new distributed-memory parallel algorithm for parameter synthesis from CTL
hypotheses. The algorithm colours the state space transitions by different parameterisations …

Hybrid dynamical systems describe the mixed discrete dynamics and continuous dynamics
of cyber-physical systems such as aircraft, cars, trains, and robots. To justify correctness …