Set-Based Methods for Verification, Control, and State Estimation of Dynamic Systems

Andreas Rauh

Verteilte Regelung in Vernetzten Systemen , Carl von Ossietzky Universität Oldenburg

Thursday, June 18, 2026, 11:00 - 11:59

Building 102 - SR 02-012

After a brief introduction of selected research and teaching activities of the group "Distributed Control in Interconnected Systems" of the Carl von Ossietzky Universität Oldenburg, this presentation gives an overview of recent achievements in the fields of verification, control, and state estimation for uncertain dynamic systems with the help of set-based methods. These methods are demonstrated on the basis of decentralized reachability analysis methods for interconnected system models. Moreover, we will discuss how the outcome of a set-based reachability analysis can be integrated into a robust predictive control framework. As a conclusion, the design of interval observers for a verified state estimation of battery systems is presented.