Abstract The goal of System Level Formal Verification is to show system correctness
notwithstanding uncontrollable events (disturbances), as for example faults, variations in …

Biological models typically depend on many parameters. Assigning suitable values to such
parameters enables model individualisation. In our clinical setting, this means finding a …

In management tasks for modern electricity networks the stakeholders face typically two
conflicting objectives: maximization of income (increasing demand) and reduction of …

In order to optimally manage a modern electricity distribution network, peaks in residential
users demand should be avoided, as this can reduce energy and network asset …

Abstract Cyber Physical Systems (CPSs) consist of hardware and software components. To
verify that the whole (ie, software+ hardware) system meets the given specifications …

One of the main goals of systems biology models in a health-care context is to individualise
models in order to compute patient-specific predictions for the time evolution of species (eg …

Model-based design approaches for embedded systems aim at generating correct-by-
construction control software, guaranteeing that the closed-loop system (controller and …

This paper presents a Directed Controller Synthesis (DCS) technique for discrete event
systems. This DCS method explores the solution space for reactive controllers guided by a …

This paper presents a Directed Controller Synthesis (DCS) technique for discrete event
systems. The DCS method explores the solution space for reactive controllers guided by a …

El problema de construir automáticamente un componente de software que al ser ejecutado
en un ambiente dado satisfaga un objetivo, es recurrente en la ingeniería del software y en …