Stefan Streif

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 79

Top Topics

Lyapunov Stability

Parameter Identification

Reinforcement Learning

Predictive Control

Top Venues

IEEE Trans. Autom. Control.

Publications

Kiran Kumar Sathyanarayanan, Philipp Sauerteig, Stefan Streif
Deep Neural Network Based Optimal Control of Greenhouses. ECC (2024)
Michael Hauck, Felix Petzke, Rania Tafat, Stefan Streif
Observability Analysis of PEM Fuel Cell Systems with Anode Recirculation. ECC (2024)
Simon Hellmann, Terrance Wilms, Stefan Streif, Sören Weinrich
Comparison of Unscented Kalman Filter Design for Agricultural Anaerobic Digestion Model. ECC (2024)
Pavel Osinenko, Stefan Streif
On constructive extractability of measurable selectors of set-valued maps. CoRR (2024)
Rania Tafat, Jaime A. Moreno, Stefan Streif
Global Observability Analysis of a Growth Model for Insects Farming. ECC (2024)
Francisco Moreno-Mora, Stefan Streif
Predictive Control with Terminal Costs Based on Online Learning Using Value Iteration. ECC (2024)
Kiran Kumar Sathyanarayanan, Philipp Sauerteig, Pablo Zometa, Stefan Streif
Quantized Deep Neural Network Based Optimal Control of Greenhouses on a Microcontroller. ECC (2024)
Willem Esterhuizen, Philipp Sauerteig, Stefan Streif, Karl Worthmann
MPC without Terminal Ingredients Tailored to the SEIR Compartmental Epidemic Model. CoRR (2024)
Michael Hauck, Patrick Schmidt, Alexander Kobelski, Stefan Streif
A map-based model predictive control approach for train operation. ECC (2023)
Grigory Devadze, Stefan Streif
Formal proofs for Lyapunov stability theorems in exact real arithmetic. ECC (2023)
Simon Hellmann, Arne-Jens Hempel, Stefan Streif, Sören Weinrich
Observability and Identifiability Analyses of Process Models for Agricultural Anaerobic Digestion Plants. CoRR (2023)
Simon Hellmann, Terrance Wilms, Stefan Streif, Sören Weinrich
Comparison of Unscented Kalman Filter Design for Agricultural Anaerobic Digestion Model. CoRR (2023)
Grigory Devadze, Lukas Munser, Stefan Streif
Extraction of a computer-certified SMT solver for nonlinear theories. ECC (2023)
Alexander Kobelski, Pavel Osinenko, Stefan Streif
Experimental verification of an online traction parameter identification method. CoRR (2023)
Michael Hauck, Patrick Schmidt, Alexander Kobelski, Stefan Streif
A map-based model predictive control approach for train operation. CoRR (2023)
Tim Aschenbruck, Felix Petzke, Philipp Rumschinski, Stefan Streif
On Consistency, Viability, and Admissibility in Constrained Ensemble and Hierarchical Control Systems. IEEE Trans. Autom. Control. 68 (8) (2023)
Kiran Kumar Sathyanarayanan, Philipp Sauerteig, Stefan Streif
Deep Neural Network based Optimal Control of Greenhouses. CoRR (2023)
Murali Padmanabha, Alexander Kobelski, Arne-Jens Hempel, Stefan Streif
in mass production environment. Comput. Electron. Agric. 206 (2023)
Grigory Devadze, Lars Flessing, Stefan Streif
Formal Verification of a Controller Implementation in Fixed-Point Arithmetic. ECC (2023)
Willem Esterhuizen, Gyula Molnár, Tim Aschenbruck, Franz Rußwurm, Halil Askan, Stefan Streif
Critical Clearing Time Estimates of Power Grid Faults via a Set-Based Method. CoRR (2022)
Francisco Moreno-Mora, Lukas Beckenbach, Stefan Streif
Performance bounds of adaptive MPC with bounded parameter uncertainties. Eur. J. Control 68 (2022)
Murali Padmanabha, Alexander Kobelski, Arne-Jens Hempel, Stefan Streif
Modeling and optimal control of growth, energy, and resource dynamics of Hermetia illucens in mass production environment. CoRR (2022)
Francisco Moreno-Mora, Lukas Beckenbach, Stefan Streif
Predictive Control with Learning-Based Terminal Costs Using Approximate Value Iteration. CoRR (2022)
Patrick Schmidt, Arne-Jens Hempel, Stefan Streif
High-gain observer for the nitrification process including sensor dynamics. CoRR (2022)
Rania Tafat, Thomas Göhrt, Stefan Streif
Generating a robustly stabilizable class of nonlinear systems for a converse optimality problem. ECC (2022)
Lukas Beckenbach, Stefan Streif
Approximate infinite-horizon predictive control. CDC (2022)
Lukas Beckenbach, Pavel Osinenko, Stefan Streif
A stabilizing reinforcement learning approach for sampled systems with partially unknown models. CoRR (2022)
Alexander Kobelski, Arne-Jens Hempel, Murali Padmanabha, Luiz-Carlos Wille, Stefan Streif
Process Optimization of Black Soldier Fly Egg Production via Model Based Control. CoRR (2022)
Philipp Sauerteig, Willem Esterhuizen, Mitsuru Wilson, Tobias K. S. Ritschel, Karl Worthmann, Stefan Streif
Model Predictive Control Tailored to Epidemic Models. ECC (2022)
Patrick Schmidt, Pavel Osinenko, Stefan Streif
On inf-convolution-based robust practical stabilization under computational uncertainty. CoRR (2021)
Lukas Munser, Grigory Devadze, Stefan Streif
Synthesis of Lyapunov Functions using Formal Verification. CoRR (2021)
Timm Faulwasser, Arne-Jens Hempel, Stefan Streif
On the Turnpike to Design of Deep Neural Nets: Explicit Depth Bounds. CoRR (2021)
Willem Esterhuizen, Jean Lévine, Stefan Streif
Epidemic Management with Admissible and Robust Invariant Sets. CoRR (2021)
Grigory Devadze, Lars Flessing, Stefan Streif
Extraction of a computer-certified ODE solver. ECC (2021)
Patrick Schmidt, Thomas Göhrt, Stefan Streif
Tracking of stabilizing, optimal control in fixed-time based on time-varying objective function. CDC (2021)
Patrick Schmidt, Thomas Göhrt, Stefan Streif
Tracking of stabilizing, optimal control in fixed-time based on time-varying objective function. CoRR (2021)
Francisco Moreno-Mora, Lukas Beckenbach, Stefan Streif
Performance bounds of adaptive MPC with bounded parameter uncertainties. CoRR (2021)
Pavel Osinenko, Konni Biegert, Roy J. McCormick, Thomas Göhrt, Grigory Devadze, Josef Streif, Stefan Streif
Application of non-destructive sensors and big data analysis to predict physiological storage disorders and fruit firmness in 'Braeburn' apples. Comput. Electron. Agric. 183 (2021)
Franz Rußwurm, Pavel Osinenko, Stefan Streif
Optimal control of centrifugal spreader. CoRR (2021)
Lukas Beckenbach, Stefan Streif
On performance bound estimation in NMPC with time-varying terminal cost. CoRR (2021)
Michael Hauck, Felix Petzke, Stefan Streif
Model Predictive Purge Control for PEM Fuel Cell Systems with Anode Recirculation. CDC (2021)
Tim Aschenbruck, Willem Esterhuizen, Stefan Streif
Transient Stability Analysis of Power Grids with Admissible and Maximal Robust Positively Invariant Sets. CoRR (2021)
Franz Rußwurm, Willem Esterhuizen, Karl Worthmann, Stefan Streif
Interplay of MPC and the Viability Kernel. CoRR (2021)
Lukas Beckenbach, Stefan Streif
A Performance Bound for Model Based Online Reinforcement Learning. CoRR (2021)
Mohammad Al Khatib, Stefan Streif
Synthesis of interconnected control systems under reachability specifications. CDC (2021)
Pavel Osinenko, Stefan Streif
On Constructive Extractability of Measurable Selectors of Set-Valued Maps. IEEE Trans. Autom. Control. 66 (8) (2021)
Patrick Schmidt, Pavel Osinenko, Stefan Streif
On Inf-Convolution-Based Robust Practical Stabilization Under Computational Uncertainty. IEEE Trans. Autom. Control. 66 (11) (2021)
Rania Tafat, Thomas Göhrt, Stefan Streif
Generating a robustly stabilizable class of nonlinear systems for the converse optimality problem. CoRR (2021)
Willem Esterhuizen, Karl Worthmann, Stefan Streif
Recursive Feasibility of Continuous-Time Model Predictive Control Without Stabilising Constraints. IEEE Control. Syst. Lett. 5 (1) (2021)
Grigory Devadze, Lars Flessing, Stefan Streif
Extraction of a computer-certified ODE solver. CoRR (2021)
Lars Flessing, Grigory Devadze, Stefan Streif
Formal verification of a controller implementation in fixed-point arithmetic. CoRR (2021)
Tim Aschenbruck, Willem Esterhuizen, Stefan Streif
Transient stability analysis of power grids with admissible and maximal robust positively invariant sets. Autom. 68 (12) (2020)
Grigory Devadze, Victor Magron, Stefan Streif
Computer-assisted proofs for Lyapunov stability via Sums of Squares certificates and Constructive Analysis. CoRR (2020)
Stefano Spinelli, Elia Longoni, Marcello Farina, Felix Petzke, Stefan Streif, Andrea Ballarino
A Hierarchical Architecture for the Coordination of an Ensemble of Steam Generators. CoRR (2020)
Lukas Munser, Arne-Jens Hempel, Grigory Devadze, Stefan Streif
Prototypical Description and Controller Design for a Set of Systems Using v-gap Based Clustering. CoRR (2020)
Alexander Kobelski, Pavel Osinenko, Stefan Streif
A method of online traction parameter identification and mapping. CoRR (2020)
Willem Esterhuizen, Tim Aschenbruck, Stefan Streif
On maximal robust positively invariant sets in constrained nonlinear systems. Autom. 119 (2020)
Tim Aschenbruck, Willem Esterhuizen, Murali Padmanabha, Stefan Streif
Sustainability Analysis of Interconnected Food Production Systems via Theory of Barriers. CoRR (2020)
Gernot Herbst, Arne-Jens Hempel, Thomas Göhrt, Stefan Streif
Half-Gain Tuning for Active Disturbance Rejection Control. CoRR (2020)
Willem Esterhuizen, Tim Aschenbruck, Jean Lévine, Stefan Streif
Maintaining Hard Infection Caps in Epidemics via the Theory of Barriers. CoRR (2020)
Thomas Göhrt, Pavel Osinenko, Stefan Streif
Converse Optimality for Discrete-Time Systems. IEEE Trans. Autom. Control. 65 (5) (2020)
Lukas Beckenbach, Pavel Osinenko, Stefan Streif
On closed-loop stability of model predictive controllers with learning costs. ECC (2020)
Felix Petzke, Ali Mesbah, Stefan Streif
PoCET: a Polynomial Chaos Expansion Toolbox for Matlab. CoRR (2020)
Murali Padmanabha, Alexander Kobelski, Arne-Jens Hempel, Stefan Streif
A comprehensive dynamic growth and development model of Hermetia illucens larvae. CoRR (2020)
Murali Padmanabha, Lukas Beckenbach, Stefan Streif
Model Predictive Control of a Food Production Unit: A Case Study for Lettuce Production. CoRR (2020)
Lukas Beckenbach, Pavel Osinenko, Stefan Streif
A Q-learning predictive control scheme with guaranteed stability. Eur. J. Control 56 (2020)
Pavel Osinenko, Stefan Streif
Analysis of extremum value theorems for function spaces in optimal control under numerical uncertainty. IMA J. Math. Control. Inf. 36 (3) (2019)
Thomas Göhrt, Pavel Osinenko, Stefan Streif
Adaptive Dynamic Programming Using Lyapunov Function Constraints. IEEE Control. Syst. Lett. 3 (4) (2019)
Lukas Beckenbach, Pavel Osinenko, Stefan Streif
Model predictive control with stage cost shaping inspired by reinforcement learning. CDC (2019)
Willem Esterhuizen, Tim Aschenbruck, Stefan Streif
On Maximal Robust Positively Invariant Sets in Constrained Nonlinear Systems. CoRR (2019)
Lukas Beckenbach, Pavel Osinenko, Stefan Streif
Model predictive control with stage cost shaping inspired by reinforcement learning. CoRR (2019)
Felix Petzke, Marcello Farina, Stefan Streif
A Multirate Hierarchical MPC Scheme for Ensemble Systems. CDC (2018)
Pavel Osinenko, Lukas Beckenbach, Stefan Streif
Practical Sample-and-Hold Stabilization of Nonlinear Systems Under Approximate Optimizers. IEEE Control. Syst. Lett. 2 (4) (2018)
Felix Petzke, Stefan Streif
Integer-Free Optimal Scheduling of Smart Appliances. ECC (2018)
Pavel Osinenko, Grigory Devadze, Stefan Streif
Analysis of the Caratheodory' s theorem on dynamical system trajectories under numerical uncertainty. IEEE CAA J. Autom. Sinica 5 (4) (2018)
Pavel Osinenko, Stefan Streif
A constructive version of the extremum value theorem for spaces of vector-valued functions. J. Log. Anal. 10 (2018)
Lukas Beckenbach, Pavel Osinenko, Thomas Göhrt, Stefan Streif
Constrained and Stabilizing Stacked Adaptive Dynamic Programming and a Comparison with Model Predictive Control. ECC (2018)
Mouayad A. Sahib, Stefan Streif
Design of an active noise controller for reduction of tire/road interaction noise in environmentally friendly vehicles. SPA (2017)
Pavel Osinenko, Mike Geissler, Thomas Herlitzius, Stefan Streif
Experimental results of slip control with a fuzzy-logic-assisted unscented Kalman filter for state estimation. FUZZ-IEEE (2016)
Joel A. Paulson, Stefan Streif, Ali Mesbah
Stability for receding-horizon stochastic model predictive control. ACC (2015)
Stefan Streif, Matthias Karl, Ali Mesbah
Stochastic Nonlinear Model Predictive Control with Efficient Sample Approximation of Chance Constraints. CoRR (2014)
Joel A. Paulson, Ali Mesbah, Stefan Streif, Rolf Findeisen, Richard D. Braatz
Fast stochastic model predictive control of high-dimensional systems. CDC (2014)
Matthias Rausch, Reinhardt Klein, Stefan Streif, Christian Pankiewitz, Rolf Findeisen
Set-based state of charge estimation for lithium-ion batteries. ACC (2014)
Matthias Rausch, Reinhardt Klein, Stefan Streif, Christian Pankiewitz, Rolf Findeisen
Modellbasierte Zustandsschätzung für Lithium-Ionen-Batterien. Autom. 62 (4) (2014)
Joel A. Paulson, Davide Martino Raimondo, Rolf Findeisen, Richard D. Braatz, Stefan Streif
Guaranteed active fault diagnosis for uncertain nonlinear systems. ECC (2014)
Ali Mesbah, Stefan Streif
A Probabilistic Approach to Robust Optimal Experiment Design with Chance Constraints. CoRR (2014)
Ali Mesbah, Stefan Streif
Stability for Receding-horizon Stochastic Model Predictive Control with Chance Constraints. CoRR (2014)
Ali Mesbah, Stefan Streif, Rolf Findeisen, Richard D. Braatz
Stochastic nonlinear model predictive control with probabilistic constraints. ACC (2014)
Stefan Streif, Matthias Karl, Rolf Findeisen
Outlier analysis in set-based estimation for nonlinear systems using convex relaxations. ECC (2013)
Daniel Hast, Stefan Streif, Rolf Findeisen
Guaranteed diagnosability of parametric faults in nonlinear systems. CDC (2013)
Stefan Streif, Philipp Rumschinski, Didier Henrion, Rolf Findeisen
Estimation of consistent parameter sets for continuous-time nonlinear systems using occupation measures and LMI relaxations. CDC (2013)
Matthias Rausch, Stefan Streif, Christian Pankiewitz, Rolf Findeisen
Nonlinear observability and identifiability of single cells in battery packs. CCA (2013)
Stefan Streif, Anton Savchenko, Philipp Rumschinski, Steffen Borchers, Rolf Findeisen
ADMIT: a toolbox for guaranteed model invalidation, estimation and qualitative-quantitative modeling. Bioinform. 28 (9) (2012)
Stefan Streif, Dieter Oesterhelt, Wolfgang Marwan
A predictive computational model of the kinetic mechanism of stimulus-induced transducer methylation and feedback regulation through CheY in archaeal phototaxis and chemotaxis. BMC Syst. Biol. 4 (2010)
Monika Heiner, Christian Rohr, Martin Schwarick, Stefan Streif
A comparative study of stochastic analysis techniques. CMSB (2010)
Toshiyuki Ohtsuka, Stefan Streif
Commutativity of Immersion and Linearization. IEEE Trans. Autom. Control. 54 (4) (2009)
Toshiyuki Ohtsuka, Stefan Streif
Correction to "Commutativity of Immersion and Linearization" [Apr 09 826-829]. IEEE Trans. Autom. Control. 54 (5) (2009)
Toshiyuki Ohtsuka, Stefan Streif
Commutativity of immersion and linearization. CDC (2007)