36 citations · 221 across the 44 of their papers we have counts for
15 papers · 1 filter
Synthesis of Lyapunov Functions using Formal Verification
Lukas Munser, Grigory Devadze, Stefan Streif
Recent employments of SMT solvers within the Lyapunov function synthesis provided effective tools for automated construction of Lyapunov functions alongside with sound computer-ass…
Formal verification of a controller implementation in fixed-point arithmetic
Lars Flessing, Grigory Devadze, Stefan Streif
For the implementations of controllers on digital processors, certain limitations, e.g. in the instruction set and register length, need to be taken into account, especially for sa…
Approximate infinite-horizon predictive control
Lukas Beckenbach, Stefan Streif
Predictive control is frequently used for control problems involving constraints. Being an optimization based technique utilizing a user specified so-called stage cost, performance…
Performance bounds of adaptive MPC with bounded parameter uncertainties
Francisco Moreno-Mora, Lukas Beckenbach, Stefan Streif
Model predictive control is a control approach that minimizes a stage cost over a predicted system trajectory based on a model of the system and is capable of handling state and in…
Model Predictive Control Tailored to Epidemic Models
Philipp Sauerteig, Willem Esterhuizen, Mitsuru Wilson +3
We propose a model predictive control (MPC) approach for minimising the social distancing and quarantine measures during a pandemic while maintaining a hard infection cap. To this…
Generating a robustly stabilizable class of nonlinear systems for the converse optimality problem
Rania Tafat, Thomas Göhrt, Stefan Streif
Converse optimality theory addresses an optimal control problem conversely where the system is unknown and the value function is chosen. Previous work treated this problem both in…