Stefan Streif - RankMe

118 papers B 1C 5Journal 81Unranked 31

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