5 citations · 6 across the 11 of their papers we have counts for
12 papers
Structural Baselines Matter for Agent Failure Detection and Attribution
Ramesh Arvind Naagarajan, Stefan Streif
An LLM agent using tools can fail silently. It stops before the task is done, raises no error, and answers fluently. Two kinds of monitor address this, one deciding whether a run f…
A constraint dissolving inexact penalty method for optimization problems with geometric constraints
Xiaoxi Jia, Leander Lerch, Stefan Streif +1
Optimization problems with geometric constraints have a broad range of applications, including machine learning, finance, and control. A powerful algorithmic tool to resolve these…
Hierarchical Causal Abduction: A Foundation Framework for Explainable Model Predictive Control
Ramesh Arvind Naagarajan, Zühal Wagner, Stefan Streif
Model Predictive Control (MPC) is widely used to operate safety-critical infrastructure by predicting future trajectories and optimizing control actions. However, nonlinear dynamic…
Time-varying optimal control under measurement errors
Patrick Schmidt, Stefan Streif
Solving optimal control problems to determine a stabilizing controller involves a significant computational effort. Time-varying optimal control provides a remedy by designing a tr…
A Tutorial to Multirate Extended Kalman Filter Design for Monitoring of Agricultural Anaerobic Digestion Plants
Simon Hellmann, Terrance Wilms, Stefan Streif +1
In many applications of biotechnology, measurements are available at different sampling rates, e.g., due to online sensors and offline lab analysis. Offline measurements typically…
Strong nonlinear detectability and moving horizon estimation for nonlinear systems with unknown inputs
Yang Guo, Jaime A. Moreno, Stefan Streif
This paper considers state estimation for general nonlinear discrete-time systems subject to measurement noise and possibly unbounded unknown inputs. To approach this problem, we f…
MHE in Output Feedback Control of Uncertain Nonlinear Systems via IQCs
Yang Guo, Stefan Streif
We propose a moving horizon estimation (MHE) scheme for general nonlinear constrained systems with parametric or static nonlinear uncertainties and a predetermined state feedback c…
On the Boundary of the Robust Admissible Set in State and Input Constrained Nonlinear Systems
Franz Rußwurm, Jean Lévine, Stefan Streif
In this paper, we consider nonlinear control systems subject to bounded disturbances and to both state and input constraints. We introduce the definition of robust admissible set -…
Modularized data-driven approximation of the Koopman operator and generator
Yang Guo, Manuel Schaller, Karl Worthmann +1
Extended Dynamic Mode Decomposition (EDMD) is a widely-used data-driven approach to learn an approximation of the Koopman operator. Consequently, it provides a powerful tool for da…
MPC without Terminal Ingredients Tailored to the SEIR Compartmental Epidemic Model
Willem Esterhuizen, Philipp Sauerteig, Stefan Streif +1
We consider the SEIR compartmental epidemic model subject to state and input constraints (a cap on the proportion of infectious individuals and limits on the allowed social distanc…
Deep Neural Network based Optimal Control of Greenhouses
Kiran Kumar Sathyanarayanan, Philipp Sauerteig, Stefan Streif
Automatic control of greenhouse crop production is of great interest owing to the increasing energy and labor costs. In this work, we use two-level control, where the upper level g…
Comparison of Unscented Kalman Filter Design for Agricultural Anaerobic Digestion Model
Simon Hellmann, Terrance Wilms, Stefan Streif +1
Dynamic operation of biological processes, such as anaerobic digestion (AD), requires reliable process monitoring to guarantee stable operating conditions at all times. Unscented K…