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

This survey investigates modeling and control of hybrid systems. These systems exhibit a
variety of continuous and discrete behaviour, thus leading to a variety of modeling …

3. Duration Calculus Page 1 3. Duration Calculus In this chapter we present the syntax,
semantics and proof system of duration calculus. In addition, we present some theorems …

The goal of the Provably Correct Systems project (ProCoS) is to develop a mathematical
basis for development of embedded, real-time, computer systems. This survey paper …

Introduction 4.1 Programming dynamic real-time systems 4.2 Issues in dynamic scheduling
4.3 Dynamic priority assignment 4.4 Dynamic best-effort approaches 4.5 Dynamic planning …

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 …

Abstract Inspired by [He94], a language to describe hybrid systems, ie networks of
communicating discrete and continuous processes, is proposed. A semantics of the …

We generalize dynamic logic to a logic for differential-algebraic (DA) programs, ie discrete
programs augmented with first-order differential-algebraic formulas as continuous evolution …

We survey main developments, results, and open problems on interval temporal logics and
duration calculi. We present various formal systems studied in the literature and discuss their …

Hybrid systems are heterogenous dynamical systems characterized by interacting
continuous and discrete dynamics. Such mathematical models have proved fruitful in a great …