Discrete abstractions have become a standard approach to assist control synthesis under
complex specifications. Most techniques for the construction of discrete abstractions are …

Diagnosis in the broadest sense is the determination of the cause and nature of behaviours
or observations that deviate from the expected norm. Diagnostic processes identify …

In this note we present some influential contributions of Oded Maler in hybrid systems
research, with a focus on his pioneering results in reachability analysis and applications to …

Optimising Operations and Plantwide Control of Biobased Process Systems — Welcome to
DTU Research Database Skip to main navigation Skip to search Skip to main content Welcome …

Cyber-physical systems mix continuous physical behaviors, eg the velocity of a vehicle, and
discrete behaviors, eg the cruise-controller of the vehicle. They are pervasive in our society …

Satisfaction of both safety and reachability in dynamic environments is a complex problem
due to the competitive interactions of the system with its environments. The presence of …

Constructive Formal Control Synthesis through Abstraction and Decomposition by Eric Shinwon
Kim A dissertation submitted in part Page 1 Constructive Formal Control Synthesis through …

As robots become more integrated into everyday society, an increasing emphasis is being
placed on their ability to execute complex tasks while maintaining safety. One of the most …

Biological systems are complex networks of interacting biological components that change
their properties with time in response to external and internal stimuli. Building suitable …

Este artigo apresenta uma primeira proposta da diagnosticabilidade de Sistemas Híbridos
(SHs) usando a análise de alcançabilidade, uma técnica amplamente empregada na …