Arabidopsis thaliana serves as a model organism for the study of fundamental physiological,
cellular, and molecular processes. It has also greatly advanced our understanding of …

Hybrid systems are models for complex physical systems and are defined as dynamical
systems with interacting discrete transitions and continuous evolutions along differential …

Despite advances in sequencing, the goal of obtaining a comprehensive view of genetic
variation in populations is still far from reached. We sequenced 180 lines of A. thaliana from …

Hybrid systems are models for complex physical systems and have become a widely used
concept for understanding their behavior. Many applications are safety-critical, including car, …

Hybrid systems are a fusion of continuous dynamical systems and discrete dynamical systems.
They freely combine dynamical features from both worlds. For that reason, it has often …

KeYmaera X is a theorem prover for differential dynamic logic ( ), a logic for specifying and
verifying properties of hybrid systems. Reasoning about complicated hybrid systems models …

Cyber-physical systems combine cyber capabilities with physical capabilities to solve
problems that neither part could solve alone. This chapter provides an informal introduction to …

This paper is a tutorial on how to model hybrid systems as hybrid programs in differential
dynamic logic and how to prove complex properties about these complex hybrid systems in …

Car safety measures can be most effective when the cars on a street coordinate their control
actions using distributed cooperative control. While each car optimizes its navigation …

Formal verification provides a high degree of confidence in safe system operation, but only
if reality matches the verified model. Although a good model will be accurate most of the time, …