This paper proposes a new method for guaranteed integration of state equations. Within this
framework, the variables of interest are trajectories submitted to both arithmetic and …

This paper introduces a vision of Miking, a language framework for constructing efficient and
sound language environments and compilers for domain-specific modeling languages. In …

In this paper, we propose a new approach for improving significantly existing guaranteed
integration methods for state equations with uncertain initial conditions. We first find a tube …

Localization for underwater robots remains a challenging issue. Typical sensors, such as
Global Navigation Satellite System (GNSS) receivers, cannot be used under the surface and …

To decide whether a set of states is reachable in a hybrid system, over-approximative
symbolic successor computations can be used, where the symbolic representation of state …

This paper presents an integral algebra and shows how it can be used to simulate a
dynamical system with interval uncertainties. These uncertainties, can be either on the initial …

Hybrid Petri nets with general transitions (HPnGs) are a modeling formalism with discrete,
continuous and random variables, and have successfully been used to model critical …

A challenge is to develop cyber-physical system scenarios that reflect the diversity and
complexity of real-life cyber-physical systems in the research questions that they address …

Traditionally, extensive vehicle testing is applied to assure the robustness and safety of
automotive systems. This approach is highly challenged by increasing system complexity …

This dissertation presents a formalization of ordinary differential equations (ODEs) and the
verification of rigorous (with guaranteed error bounds) numerical algorithms in the …