Search Results for author: Stefan Streif

Found 27 papers, 1 papers with code

On constructive extractability of measurable selectors of set-valued maps

no code implementations9 Mar 2024 Pavel Osinenko, Stefan Streif

Finally, a viable control law can be seen, in general, as a selector.

Deep Neural Network based Optimal Control of Greenhouses

no code implementations7 Nov 2023 Kiran Kumar Sathyanarayanan, Philipp Sauerteig, Stefan Streif

Then, the references are tracked using the trained Deep Neural Network (DNN) to reduce the computational burden.

Model Predictive Control

Comparison of Unscented Kalman Filter Design for Agricultural Anaerobic Digestion Model

no code implementations24 Oct 2023 Simon Hellmann, Terrance Wilms, Stefan Streif, Sören Weinrich

Dynamic operation of biological processes, such as anaerobic digestion (AD), requires reliable process monitoring to guarantee stable operating conditions at all times.

Experimental verification of an online traction parameter identification method

no code implementations17 Mar 2023 Alexander Kobelski, Pavel Osinenko, Stefan Streif

In this work, we validate such a method in field experiments with a mobile robot.

A map-based model predictive control approach for train operation

no code implementations2 Jan 2023 Michael Hauck, Patrick Schmidt, Alexander Kobelski, Stefan Streif

The developed method is simulated along a track with fast-changing traction conditions for different scenarios, like changing weather conditions and unexpected delays.

Model Predictive Control

Modeling and optimal control of growth, energy, and resource dynamics of Hermetia illucens in mass production environment

no code implementations20 Dec 2022 Murali Padmanabha, Alexander Kobelski, Arne-Jens Hempel, Stefan Streif

Despite abundant literature on factors that affect larvae growth and the optimal static parameters identified in laboratory setup, for an industrial production process it is necessary to identify the trajectories such that the growth as well as the production process is optimal.

Process Optimization of Black Soldier Fly Egg Production via Model Based Control

no code implementations12 Dec 2022 Alexander Kobelski, Arne-Jens Hempel, Murali Padmanabha, Luiz-Carlos Wille, Stefan Streif

Therefore, control must be applied in a careful way, which requires knowledge of the egg production cycle.

Predictive Control with Learning-Based Terminal Costs Using Approximate Value Iteration

no code implementations1 Dec 2022 Francisco Moreno-Mora, Lukas Beckenbach, Stefan Streif

Learning-based methods may be used to construct the terminal cost by relating it to, for instance, an infinite-horizon optimal control problem in which the optimal cost is a Lyapunov function.

Model Predictive Control

Critical Clearing Time Estimates of Power Grid Faults via a Set-Based Method

no code implementations28 Nov 2022 Willem Esterhuizen, Gyula Molnár, Tim Aschenbruck, Franz Rußwurm, Halil Askan, Stefan Streif

This paper is concerned with estimating critical clearing times in the transient stability problem of power grids without extensive time-domain simulations.

High-gain observer for the nitrification process including sensor dynamics

no code implementations8 Aug 2022 Patrick Schmidt, Arne-Jens Hempel, Stefan Streif

Point measurements of adjacent sensors in coarse sensor networks can be used to infer upon the state of nitrate concentrations in the sensor surroundings.

Vocal Bursts Intensity Prediction

Synthesis of Lyapunov Functions using Formal Verification

no code implementations3 Dec 2021 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-assisted certificates.

Formal verification of a controller implementation in fixed-point arithmetic

no code implementations2 Dec 2021 Lars Flessing, Grigory Devadze, Stefan Streif

This work aims to provide a computer-certified inductive definition for the control functions that are implemented on such processors accompanied with the fixed-point data type in a proof assistant.

Approximate infinite-horizon predictive control

no code implementations16 Nov 2021 Lukas Beckenbach, Stefan Streif

Using a parametric terminal cost trained via approximate dynamic programming, a stabilizing predictive controller is proposed whose performance can directly be related to cost approximation errors.

Model-based Reinforcement Learning

Performance bounds of adaptive MPC with bounded parameter uncertainties

no code implementations15 Nov 2021 Francisco Moreno-Mora, Lukas Beckenbach, Stefan Streif

Because the system model is used to calculate the control law, the closed-loop behavior of the system and thus its performance, measured by the sum of the stage costs, are related to the model used.

Model Predictive Control

Tracking of stabilizing, optimal control in fixed-time based on time-varying objective function

no code implementations11 Oct 2021 Patrick Schmidt, Thomas Göhrt, Stefan Streif

The controller of an input-affine system is determined through minimizing a time-varying objective function, where stabilization is ensured via a Lyapunov function decay condition as constraint.

Optimal control of centrifugal spreader

no code implementations27 May 2021 Franz Rußwurm, Pavel Osinenko, Stefan Streif

The presented work is concerned with the development of a predictive control scheme for optimized fertilizer application using modeling of the tractor moving on the field and the spread pattern in form of a crescent behind the tractor.

Model Predictive Control

Extraction of a computer-certified ODE solver

no code implementations6 Apr 2021 Grigory Devadze, Lars Flessing, Stefan Streif

To this end, an initial value problem has to be usually solved via numerical algorithms which rely on a certain software realization.

On inf-convolution-based robust practical stabilization under computational uncertainty

no code implementations8 Feb 2021 Patrick Schmidt, Pavel Osinenko, Stefan Streif

It is a fairly general stabilization technique based on a generic non-smooth control Lyapunov function (CLF) and robust to actuator uncertainty, measurement noise, etc.

Transient Stability Analysis of Power Grids with Admissible and Maximal Robust Positively Invariant Sets

no code implementations11 Jan 2021 Tim Aschenbruck, Willem Esterhuizen, Stefan Streif

In this paper a set-based approach is presented to assess the transient stability of power systems.

Optimization and Control Systems and Control Systems and Control 93A15, 93-08, 93D99

On the Turnpike to Design of Deep Neural Nets: Explicit Depth Bounds

no code implementations8 Jan 2021 Timm Faulwasser, Arne-Jens Hempel, Stefan Streif

It is well-known that the training of Deep Neural Networks (DNN) can be formalized in the language of optimal control.

PoCET: a Polynomial Chaos Expansion Toolbox for Matlab

1 code implementation10 Jul 2020 Felix Petzke, Ali Mesbah, Stefan Streif

We introduce PoCET: a free and open-scource Polynomial Chaos Expansion Toolbox for Matlab, featuring the automatic generation of polynomial chaos expansion (PCE) for linear and nonlinear dynamic systems with time-invariant stochastic parameters or initial conditions, as well as several simulation tools.

Systems and Control Systems and Control

A method of online traction parameter identification and mapping

no code implementations12 Jun 2020 Alexander Kobelski, Pavel Osinenko, Stefan Streif

A case study is provided with the actual and estimated ground condition maps.

Recursive feasibility of continuous-time model predictive control without stabilising constraints

no code implementations17 Mar 2020 Willem Esterhuizen, Karl Worthmann, Stefan Streif

We consider sampled-data Model Predictive Control (MPC) of nonlinear continuous-time control systems.

Optimization and Control Dynamical Systems 93C15 (primary), 93C10, 34H05, 49N10 (secondary)

Half-Gain Tuning for Active Disturbance Rejection Control

no code implementations9 Mar 2020 Gernot Herbst, Arne-Jens Hempel, Thomas Göhrt, Stefan Streif

A new tuning rule is introduced for linear active disturbance rejection control (ADRC), which results in similar closed-loop dynamics as the commonly employed bandwidth parameterization design, but with lower feedback gains.

Cannot find the paper you are looking for? You can Submit a new open access paper.