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, complex models of physical processes, such as systems of differential or
difference equations, are usually checked against simple specifications, such as stability …

A fundamental step in synthetic biology and systems biology is to derive appropriate
mathematical models for the purposes of analysis and design. For example, to synthesize a …

We propose formal means for synthesizing switching protocols that determine the sequence
in which the modes of a switched system are activated to satisfy certain high-level …

We present a computational framework for automatic synthesis of a feedback control
strategy for a discrete-time piecewise affine (PWA) system from a specification given as a …

A fundamental question in the treatment of cardiac disorders, such as tachycardia and
fibrillation, is under what circumstances does such a disorder arise? To answer to this …

This paper develops a novel approach for the falsification of safety properties given by a
syntactically safe linear temporal logic (LTL) formula ϕ for hybrid systems with nonlinear …

This work is motivated by the problem of synthesizing switching protocols for continuous
switched systems described by differential or difference equations, in a way that guarantees …

In this paper we show that incrementally stable nonlinear time-delay systems admit symbolic
models which are approximately equivalent, in the sense of approximate bisimulation, to the …

We present a novel method for the safety verification of nonlinear dynamical models that
uses neural networks to represent abstractions of their dynamics. Neural networks have …