One of the biggest boosts for innovation in engineering has been the ongoing improvement
of digital processor technology. Connections between physical systems and computing …

This thesis is devoted to the problem of computing reachable sets of linear and hybrid
systems. In the first part, after exposing existing approaches for reachability analysis of linear …

Sufficiently accurate finite state models, also called symbolic models or discrete
abstractions, allow one to apply fully automated methods, originally developed for purely …

In this paper we describe reachability computation for continuous and hybrid systems and its
potential contribution to the process of building and debugging biological models. We then …

Abstract Model checking together with other formal methods and techniques is being
adapted for applications to biological systems. We present a selection of approaches used …

Timed automata are state-machine-like structures used to model real-time systems. Since
their invention in the early 1990s, a number of often subtly differing variants have appeared …

Living cells are constantly subjected to a plethora of environmental stimuli that require
integration into an appropriate cellular response. This integration takes place through signal …

In this paper, we describe reachability computation for continuous and hybrid systems and
its potential contribution to the process of building and debugging biological models. We …

Complex systems modeling and simulation are critical in many industrial and research
fields, specifically to predict, prove, verify, and understand the behavior of cyber-physical …

In the engineering of heterogeneous systems, there have always been challenges related to
ensuring a common understanding of the interfaces between the constituent systems. In …