Commutativity of Immersion and Linearization. - Toshiyuki Ohtsuka; Stefan Streif (IEEE Trans. Autom. Control., 2009)

Correction to "Commutativity of Immersion and Linearization" [Apr 09 826-829]. - Toshiyuki Ohtsuka; Stefan Streif (IEEE Trans. Autom. Control., 2009)

A comparative study of stochastic analysis techniques. - Monika Heiner; Christian Rohr; Martin Schwarick; Stefan Streif (CMSB, 2010)

A predictive computational model of the kinetic mechanism of stimulus-induced transducer methylation and feedback regulation through CheY in archaeal phototaxis and chemotaxis. - Stefan Streif; Dieter Oesterhelt; Wolfgang Marwan (BMC Syst. Biol., 2010)

ADMIT: a toolbox for guaranteed model invalidation, estimation and qualitative-quantitative modeling. - Stefan Streif; Anton Savchenko; Philipp Rumschinski; Steffen Borchers; Rolf Findeisen (Bioinform., 2012)

Nonlinear observability and identifiability of single cells in battery packs. - Matthias Rausch; Stefan Streif; Christian Pankiewitz; Rolf Findeisen (CCA, 2013)

Guaranteed diagnosability of parametric faults in nonlinear systems. - Daniel Hast; Stefan Streif; Rolf Findeisen (CDC, 2013)

Estimation of consistent parameter sets for continuous-time nonlinear systems using occupation measures and LMI relaxations. - Stefan Streif; Philipp Rumschinski; Didier Henrion; Rolf Findeisen (CDC, 2013)

Outlier analysis in set-based estimation for nonlinear systems using convex relaxations. - Stefan Streif; Matthias Karl; Rolf Findeisen (ECC, 2013)

Stochastic nonlinear model predictive control with probabilistic constraints. - Ali Mesbah 002; Stefan Streif; Rolf Findeisen; Richard D. Braatz (ACC, 2014)

Set-based state of charge estimation for lithium-ion batteries. - Matthias Rausch; Reinhardt Klein; Stefan Streif; Christian Pankiewitz; Rolf Findeisen (ACC, 2014)

Fast stochastic model predictive control of high-dimensional systems. - Joel A. Paulson; Ali Mesbah 002; Stefan Streif; Rolf Findeisen; Richard D. Braatz (CDC, 2014)

Guaranteed active fault diagnosis for uncertain nonlinear systems. - Joel A. Paulson; Davide Martino Raimondo; Rolf Findeisen; Richard D. Braatz; Stefan Streif (ECC, 2014)

Modellbasierte Zustandsschätzung für Lithium-Ionen-Batterien. - Matthias Rausch; Reinhardt Klein; Stefan Streif; Christian Pankiewitz; Rolf Findeisen (Autom., 2014)

Stability for Receding-horizon Stochastic Model Predictive Control with Chance Constraints. - Ali Mesbah 002; Stefan Streif (CoRR, 2014)

A Probabilistic Approach to Robust Optimal Experiment Design with Chance Constraints. - Ali Mesbah 002; Stefan Streif (CoRR, 2014)

Stochastic Nonlinear Model Predictive Control with Efficient Sample Approximation of Chance Constraints. - Stefan Streif; Matthias Karl; Ali Mesbah 002 (CoRR, 2014)

Stability for receding-horizon stochastic model predictive control. - Joel A. Paulson; Stefan Streif; Ali Mesbah 002 (ACC, 2015)

Experimental results of slip control with a fuzzy-logic-assisted unscented Kalman filter for state estimation. - Pavel Osinenko; Mike Geissler; Thomas Herlitzius; Stefan Streif (FUZZ-IEEE, 2016)

Design of an active noise controller for reduction of tire/road interaction noise in environmentally friendly vehicles. - Mouayad A. Sahib; Stefan Streif (SPA, 2017)

A Multirate Hierarchical MPC Scheme for Ensemble Systems. - Felix Petzke; Marcello Farina; Stefan Streif (CDC, 2018)

Constrained and Stabilizing Stacked Adaptive Dynamic Programming and a Comparison with Model Predictive Control. - Lukas Beckenbach; Pavel Osinenko; Thomas Göhrt; Stefan Streif (ECC, 2018)

Integer-Free Optimal Scheduling of Smart Appliances. - Felix Petzke; Stefan Streif (ECC, 2018)

Practical Sample-and-Hold Stabilization of Nonlinear Systems Under Approximate Optimizers. - Pavel Osinenko; Lukas Beckenbach; Stefan Streif (IEEE Control. Syst. Lett., 2018)

Analysis of the Caratheodory' s theorem on dynamical system trajectories under numerical uncertainty. - Pavel Osinenko; Grigory Devadze; Stefan Streif (IEEE CAA J. Autom. Sinica, 2018)

A constructive version of the extremum value theorem for spaces of vector-valued functions. - Pavel Osinenko; Stefan Streif (J. Log. Anal., 2018)

Model predictive control with stage cost shaping inspired by reinforcement learning. - Lukas Beckenbach; Pavel Osinenko; Stefan Streif (CDC, 2019)

Adaptive Dynamic Programming Using Lyapunov Function Constraints. - Thomas Göhrt; Pavel Osinenko; Stefan Streif (IEEE Control. Syst. Lett., 2019)

Analysis of extremum value theorems for function spaces in optimal control under numerical uncertainty. - Pavel Osinenko; Stefan Streif (IMA J. Math. Control. Inf., 2019)

On closed-loop stability of model predictive controllers with learning costs. - Lukas Beckenbach; Pavel Osinenko; Stefan Streif (ECC, 2020)

Transient stability analysis of power grids with admissible and maximal robust positively invariant sets. - Tim Aschenbruck; Willem Esterhuizen; Stefan Streif (Autom., 2020)

On maximal robust positively invariant sets in constrained nonlinear systems. - Willem Esterhuizen; Tim Aschenbruck; Stefan Streif (Autom., 2020)

Half-Gain Tuning for Active Disturbance Rejection Control. - Gernot Herbst; Arne-Jens Hempel; Thomas Göhrt; Stefan Streif (CoRR, 2020)

Sustainability Analysis of Interconnected Food Production Systems via Theory of Barriers. - Tim Aschenbruck; Willem Esterhuizen; Murali Padmanabha; Stefan Streif (CoRR, 2020)

Maintaining Hard Infection Caps in Epidemics via the Theory of Barriers. - Willem Esterhuizen; Tim Aschenbruck; Jean Lévine; Stefan Streif (CoRR, 2020)

Model Predictive Control of a Food Production Unit: A Case Study for Lettuce Production. - Murali Padmanabha; Lukas Beckenbach; Stefan Streif (CoRR, 2020)

A method of online traction parameter identification and mapping. - Alexander Kobelski; Pavel Osinenko; Stefan Streif (CoRR, 2020)

A Hierarchical Architecture for the Coordination of an Ensemble of Steam Generators. - Stefano Spinelli; Elia Longoni; Marcello Farina; Felix Petzke; Stefan Streif; Andrea Ballarino (CoRR, 2020)

PoCET: a Polynomial Chaos Expansion Toolbox for Matlab. - Felix Petzke; Ali Mesbah 002; Stefan Streif (CoRR, 2020)

Prototypical Description and Controller Design for a Set of Systems Using v-gap Based Clustering. - Lukas Munser; Arne-Jens Hempel; Grigory Devadze; Stefan Streif (CoRR, 2020)

A comprehensive dynamic growth and development model of Hermetia illucens larvae. - Murali Padmanabha; Alexander Kobelski; Arne-Jens Hempel; Stefan Streif (CoRR, 2020)

A Q-learning predictive control scheme with guaranteed stability. - Lukas Beckenbach; Pavel Osinenko; Stefan Streif (Eur. J. Control, 2020)

Converse Optimality for Discrete-Time Systems. - Thomas Göhrt; Pavel Osinenko; Stefan Streif (IEEE Trans. Autom. Control., 2020)

Model Predictive Purge Control for PEM Fuel Cell Systems with Anode Recirculation. - Michael Hauck; Felix Petzke; Stefan Streif (CDC, 2021)

Synthesis of interconnected control systems under reachability specifications. - Mohammad Al Khatib; Stefan Streif (CDC, 2021)

Tracking of stabilizing, optimal control in fixed-time based on time-varying objective function. - Patrick Schmidt; Thomas Göhrt; Stefan Streif (CDC, 2021)

Extraction of a computer-certified ODE solver. - Grigory Devadze; Lars Flessing; Stefan Streif (ECC, 2021)

Application of non-destructive sensors and big data analysis to predict physiological storage disorders and fruit firmness in 'Braeburn' apples. - Pavel Osinenko; Konni Biegert; Roy J. McCormick; Thomas Göhrt; Grigory Devadze; Josef Streif; Stefan Streif (Comput. Electron. Agric., 2021)

On the Turnpike to Design of Deep Neural Nets: Explicit Depth Bounds. - Timm Faulwasser; Arne-Jens Hempel; Stefan Streif (CoRR, 2021)

Interplay of MPC and the Viability Kernel. - Franz Rußwurm; Willem Esterhuizen; Karl Worthmann; Stefan Streif (CoRR, 2021)

On performance bound estimation in NMPC with time-varying terminal cost. - Lukas Beckenbach; Stefan Streif (CoRR, 2021)

Optimal control of centrifugal spreader. - Franz Rußwurm; Pavel Osinenko; Stefan Streif (CoRR, 2021)

Epidemic Management with Admissible and Robust Invariant Sets. - Willem Esterhuizen; Jean Lévine; Stefan Streif (CoRR, 2021)

A Performance Bound for Model Based Online Reinforcement Learning. - Lukas Beckenbach; Stefan Streif (CoRR, 2021)

Synthesis of Lyapunov Functions using Formal Verification. - Lukas Munser; Grigory Devadze; Stefan Streif (CoRR, 2021)

Recursive Feasibility of Continuous-Time Model Predictive Control Without Stabilising Constraints. - Willem Esterhuizen; Karl Worthmann; Stefan Streif (IEEE Control. Syst. Lett., 2021)

On Constructive Extractability of Measurable Selectors of Set-Valued Maps. - Pavel Osinenko; Stefan Streif (IEEE Trans. Autom. Control., 2021)

On Inf-Convolution-Based Robust Practical Stabilization Under Computational Uncertainty. - Patrick Schmidt; Pavel Osinenko; Stefan Streif (IEEE Trans. Autom. Control., 2021)

Approximate infinite-horizon predictive control. - Lukas Beckenbach; Stefan Streif (CDC, 2022)

Model Predictive Control Tailored to Epidemic Models. - Philipp Sauerteig; Willem Esterhuizen; Mitsuru Wilson; Tobias K. S. Ritschel; Karl Worthmann; Stefan Streif (ECC, 2022)

Generating a robustly stabilizable class of nonlinear systems for a converse optimality problem. - Rania Tafat; Thomas Göhrt; Stefan Streif (ECC, 2022)

High-gain observer for the nitrification process including sensor dynamics. - Patrick Schmidt; Arne-Jens Hempel; Stefan Streif (CoRR, 2022)

A stabilizing reinforcement learning approach for sampled systems with partially unknown models. - Lukas Beckenbach; Pavel Osinenko; Stefan Streif (CoRR, 2022)

Critical Clearing Time Estimates of Power Grid Faults via a Set-Based Method. - Willem Esterhuizen; Gyula Molnár; Tim Aschenbruck; Franz Rußwurm; Halil Askan; Stefan Streif (CoRR, 2022)

Predictive Control with Learning-Based Terminal Costs Using Approximate Value Iteration. - Francisco Moreno-Mora; Lukas Beckenbach; Stefan Streif (CoRR, 2022)

Process Optimization of Black Soldier Fly Egg Production via Model Based Control. - Alexander Kobelski; Arne-Jens Hempel; Murali Padmanabha; Luiz-Carlos Wille; Stefan Streif (CoRR, 2022)

Modeling and optimal control of growth, energy, and resource dynamics of Hermetia illucens in mass production environment. - Murali Padmanabha; Alexander Kobelski; Arne-Jens Hempel; Stefan Streif (CoRR, 2022)

Performance bounds of adaptive MPC with bounded parameter uncertainties. - Francisco Moreno-Mora; Lukas Beckenbach; Stefan Streif (Eur. J. Control, 2022)

Formal Verification of a Controller Implementation in Fixed-Point Arithmetic. - Grigory Devadze; Lars Flessing; Stefan Streif (ECC, 2023)

Extraction of a computer-certified SMT solver for nonlinear theories. - Grigory Devadze; Lukas Munser; Stefan Streif (ECC, 2023)

Formal proofs for Lyapunov stability theorems in exact real arithmetic. - Grigory Devadze; Stefan Streif (ECC, 2023)

A map-based model predictive control approach for train operation. - Michael Hauck; Patrick Schmidt; Alexander Kobelski; Stefan Streif (ECC, 2023)

Observability and Identifiability Analyses of Process Models for Agricultural Anaerobic Digestion Plants. - Simon Hellmann; Arne-Jens Hempel; Stefan Streif; Sören Weinrich (CoRR, 2023)

Experimental verification of an online traction parameter identification method. - Alexander Kobelski; Pavel Osinenko; Stefan Streif (CoRR, 2023)

Modelling and optimal control of growth, energy, and resource dynamics of Hermetia illucens in mass production environment. - Murali Padmanabha; Alexander Kobelski; Arne-Jens Hempel; Stefan Streif (Comput. Electron. Agric., 2023)

On Consistency, Viability, and Admissibility in Constrained Ensemble and Hierarchical Control Systems. - Tim Aschenbruck; Felix Petzke; Philipp Rumschinski; Stefan Streif (IEEE Trans. Autom. Control., 2023)

Tube-based MPC for Two-Timescale Discrete-Time Nonlinear Processes with Robust Control Contraction Metrics. - Yang Guo; Philipp Sauerteig; Stefan Streif (CDC, 2024)

Observability Analysis of PEM Fuel Cell Systems with Anode Recirculation. - Michael Hauck; Felix Petzke; Rania Tafat; Stefan Streif (ECC, 2024)

Comparison of Unscented Kalman Filter Design for Agricultural Anaerobic Digestion Model. - Simon Hellmann; Terrance Wilms; Stefan Streif; Sören Weinrich (ECC, 2024)

Predictive Control with Terminal Costs Based on Online Learning Using Value Iteration. - Francisco Moreno-Mora; Stefan Streif (ECC, 2024)

Deep Neural Network Based Optimal Control of Greenhouses. - Kiran Kumar Sathyanarayanan; Philipp Sauerteig; Stefan Streif (ECC, 2024)

Quantized Deep Neural Network Based Optimal Control of Greenhouses on a Microcontroller. - Kiran Kumar Sathyanarayanan; Philipp Sauerteig; Pablo Zometa; Stefan Streif (ECC, 2024)

Global Observability Analysis of a Growth Model for Insects Farming. - Rania Tafat; Jaime A. Moreno; Stefan Streif (ECC, 2024)

Modularized data-driven approximation of the Koopman operator and generator. - Yang Guo; Manuel Schaller; Karl Worthmann; Stefan Streif (CoRR, 2024)

Some Remarks on Robustness of Sample-and-Hold Stabilization. - Patrick Schmidt; Pavel Osinenko; Stefan Streif (IEEE Control. Syst. Lett., 2024)

On the turnpike to design of deep neural networks: Explicit depth bounds. - Timm Faulwasser; Arne-Jens Hempel; Stefan Streif (IFAC J. Syst. Control., 2024)

MPC without terminal ingredients tailored to the SEIR compartmental epidemic model. - Willem Esterhuizen; Philipp Sauerteig; Stefan Streif; Karl Worthmann (Syst. Control. Lett., 2024)

Some Remarks on Practical Stabilization via CLF-Based Control Under Measurement Noise. - Patrick Schmidt; Pavel Osinenko; Stefan Streif (IEEE Access, 2025)

Generalized Super-Twisting Observer for a Class of Interconnected Nonlinear Systems With Uncertainties. - Rania Tafat; Jaime A. Moreno; Stefan Streif (IEEE Control. Syst. Lett., 2025)

Generating Informative Benchmarks for Reinforcement Learning. - Grigory Yamerenko; Sinan Ibrahim; Francisco Moreno-Mora; Pavel Osinenko; Stefan Streif (IEEE Control. Syst. Lett., 2025)

Computer-Assisted Proofs for Lyapunov Stability via Sums of Squares Certificates and Constructive Analysis. - Grigory Devadze; Victor Magron; Stefan Streif (J. Autom. Reason., 2025)