default search action
Stefan Streif
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j22]Willem Esterhuizen
, Philipp Sauerteig, Stefan Streif, Karl Worthmann:
MPC without terminal ingredients tailored to the SEIR compartmental epidemic model. Syst. Control. Lett. 193: 105908 (2024) - [c35]Kiran Kumar Sathyanarayanan, Philipp Sauerteig, Stefan Streif:
Deep Neural Network Based Optimal Control of Greenhouses. ECC 2024: 394-399 - [c34]Kiran Kumar Sathyanarayanan, Philipp Sauerteig, Pablo Zometa, Stefan Streif:
Quantized Deep Neural Network Based Optimal Control of Greenhouses on a Microcontroller. ECC 2024: 400-405 - [c33]Rania Tafat, Jaime A. Moreno, Stefan Streif:
Global Observability Analysis of a Growth Model for Insects Farming. ECC 2024: 1294-1300 - [c32]Simon Hellmann, Terrance Wilms, Stefan Streif, Sören Weinrich:
Comparison of Unscented Kalman Filter Design for Agricultural Anaerobic Digestion Model. ECC 2024: 1729-1735 - [c31]Francisco Moreno-Mora, Stefan Streif:
Predictive Control with Terminal Costs Based on Online Learning Using Value Iteration. ECC 2024: 1837-1842 - [c30]Michael Hauck, Felix Petzke, Rania Tafat, Stefan Streif:
Observability Analysis of PEM Fuel Cell Systems with Anode Recirculation. ECC 2024: 2423-2428 - [i44]Pavel Osinenko, Stefan Streif:
On constructive extractability of measurable selectors of set-valued maps. CoRR abs/2403.05858 (2024) - [i43]Willem Esterhuizen, Philipp Sauerteig, Stefan Streif, Karl Worthmann:
MPC without Terminal Ingredients Tailored to the SEIR Compartmental Epidemic Model. CoRR abs/2403.09151 (2024) - [i42]Rania Tafat, Jaime A. Moreno, Stefan Streif:
Global Observability Analysis of a Growth Model for Insects Farming. CoRR abs/2408.02395 (2024) - [i41]Yang Guo, Manuel Schaller, Karl Worthmann, Stefan Streif:
Modularized data-driven approximation of the Koopman operator and generator. CoRR abs/2408.12277 (2024) - 2023
- [j21]Murali Padmanabha, Alexander Kobelski
Modelling and optimal control of growth, energy, and resource dynamics of Hermetia illucens in mass production environment. Comput. Electron. Agric. 206: 107649 (2023) - [j20]Tim Aschenbruck
On Consistency, Viability, and Admissibility in Constrained Ensemble and Hierarchical Control Systems. IEEE Trans. Autom. Control. 68(8): 4990-4997 (2023) - [c29]Grigory Devadze, Lars Flessing, Stefan Streif:
Formal Verification of a Controller Implementation in Fixed-Point Arithmetic. ECC 2023: 1-6 - [c28]Grigory Devadze, Lukas Munser, Stefan Streif:
Extraction of a computer-certified SMT solver for nonlinear theories. ECC 2023: 1-6 - [c27]Grigory Devadze, Stefan Streif:
Formal proofs for Lyapunov stability theorems in exact real arithmetic. ECC 2023: 1-6 - [c26]Michael Hauck, Patrick Schmidt
A map-based model predictive control approach for train operation. ECC 2023: 1-6 - [i40]Michael Hauck, Patrick Schmidt, Alexander Kobelski, Stefan Streif:
A map-based model predictive control approach for train operation. CoRR abs/2301.00614 (2023) - [i39]Simon Hellmann, Arne-Jens Hempel, Stefan Streif, Sören Weinrich:
Observability and Identifiability Analyses of Process Models for Agricultural Anaerobic Digestion Plants. CoRR abs/2301.05068 (2023) - [i38]Alexander Kobelski, Pavel Osinenko, Stefan Streif:
Experimental verification of an online traction parameter identification method. CoRR abs/2303.09860 (2023) - [i37]Simon Hellmann, Terrance Wilms, Stefan Streif, Sören Weinrich:
Comparison of Unscented Kalman Filter Design for Agricultural Anaerobic Digestion Model. CoRR abs/2310.15958 (2023) - [i36]Kiran Kumar Sathyanarayanan, Philipp Sauerteig, Stefan Streif:
Deep Neural Network based Optimal Control of Greenhouses. CoRR abs/2311.04077 (2023) - 2022
- [j19]Francisco Moreno-Mora
Performance bounds of adaptive MPC with bounded parameter uncertainties. Eur. J. Control 68: 100688 (2022) - [c25]Lukas Beckenbach, Stefan Streif:
Approximate infinite-horizon predictive control. CDC 2022: 3711-3717 - [c24]Philipp Sauerteig, Willem Esterhuizen, Mitsuru Wilson, Tobias K. S. Ritschel
Model Predictive Control Tailored to Epidemic Models. ECC 2022: 743-748 - [c23]Rania Tafat, Thomas Göhrt, Stefan Streif:
Generating a robustly stabilizable class of nonlinear systems for a converse optimality problem. ECC 2022: 1237-1242 - [i35]Patrick Schmidt, Arne-Jens Hempel, Stefan Streif:
High-gain observer for the nitrification process including sensor dynamics. CoRR abs/2208.04300 (2022) - [i34]Lukas Beckenbach, Pavel Osinenko, Stefan Streif:
A stabilizing reinforcement learning approach for sampled systems with partially unknown models. CoRR abs/2208.14714 (2022) - [i33]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 abs/2211.15198 (2022) - [i32]Francisco Moreno-Mora, Lukas Beckenbach, Stefan Streif:
Predictive Control with Learning-Based Terminal Costs Using Approximate Value Iteration. CoRR abs/2212.00361 (2022) - [i31]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 abs/2212.05776 (2022) - [i30]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 abs/2212.10348 (2022) - 2021
- [j18]Pavel Osinenko, Konni Biegert
Application of non-destructive sensors and big data analysis to predict physiological storage disorders and fruit firmness in 'Braeburn' apples. Comput. Electron. Agric. 183: 106015 (2021) - [j17]Willem Esterhuizen, Karl Worthmann
Recursive Feasibility of Continuous-Time Model Predictive Control Without Stabilising Constraints. IEEE Control. Syst. Lett. 5(1): 265-270 (2021) - [j16]Pavel Osinenko
On Constructive Extractability of Measurable Selectors of Set-Valued Maps. IEEE Trans. Autom. Control. 66(8): 3757-3764 (2021) - [j15]Patrick Schmidt
On Inf-Convolution-Based Robust Practical Stabilization Under Computational Uncertainty. IEEE Trans. Autom. Control. 66(11): 5530-5537 (2021) - [c22]Mohammad Al Khatib, Stefan Streif:
Synthesis of interconnected control systems under reachability specifications. CDC 2021: 1295-1300 - [c21]Patrick Schmidt
Tracking of stabilizing, optimal control in fixed-time based on time-varying objective function. CDC 2021: 6012-6017 - [c20]Michael Hauck, Felix Petzke, Stefan Streif:
Model Predictive Purge Control for PEM Fuel Cell Systems with Anode Recirculation. CDC 2021: 6359-6364 - [c19]Grigory Devadze, Lars Flessing, Stefan Streif:
Extraction of a computer-certified ODE solver. ECC 2021: 2676-2681 - [i29]Timm Faulwasser
On the Turnpike to Design of Deep Neural Nets: Explicit Depth Bounds. CoRR abs/2101.03000 (2021) - [i28]Tim Aschenbruck, Willem Esterhuizen, Stefan Streif:
Transient Stability Analysis of Power Grids with Admissible and Maximal Robust Positively Invariant Sets. CoRR abs/2101.03882 (2021) - [i27]Patrick Schmidt, Pavel Osinenko, Stefan Streif:
On inf-convolution-based robust practical stabilization under computational uncertainty. CoRR abs/2102.04309 (2021) - [i26]Franz Rußwurm, Willem Esterhuizen, Karl Worthmann, Stefan Streif:
Interplay of MPC and the Viability Kernel. CoRR abs/2102.09290 (2021) - [i25]Lukas Beckenbach, Stefan Streif:
On performance bound estimation in NMPC with time-varying terminal cost. CoRR abs/2103.01015 (2021) - [i24]Grigory Devadze, Lars Flessing, Stefan Streif:
Extraction of a computer-certified ODE solver. CoRR abs/2104.02536 (2021) - [i23]Franz Rußwurm, Pavel Osinenko, Stefan Streif:
Optimal control of centrifugal spreader. CoRR abs/2105.13124 (2021) - [i22]Willem Esterhuizen, Jean Lévine, Stefan Streif:
Epidemic Management with Admissible and Robust Invariant Sets. CoRR abs/2109.05754 (2021) - [i21]Patrick Schmidt, Thomas Göhrt, Stefan Streif:
Tracking of stabilizing, optimal control in fixed-time based on time-varying objective function. CoRR abs/2110.05203 (2021) - [i20]Rania Tafat, Thomas Göhrt, Stefan Streif:
Generating a robustly stabilizable class of nonlinear systems for the converse optimality problem. CoRR abs/2111.05730 (2021) - [i19]Francisco Moreno-Mora, Lukas Beckenbach, Stefan Streif:
Performance bounds of adaptive MPC with bounded parameter uncertainties. CoRR abs/2111.07896 (2021) - [i18]Lukas Beckenbach, Stefan Streif:
A Performance Bound for Model Based Online Reinforcement Learning. CoRR abs/2111.08319 (2021) - [i17]Lars Flessing, Grigory Devadze, Stefan Streif:
Formal verification of a controller implementation in fixed-point arithmetic. CoRR abs/2112.01204 (2021) - [i16]Lukas Munser, Grigory Devadze, Stefan Streif:
Synthesis of Lyapunov Functions using Formal Verification. CoRR abs/2112.01835 (2021) - 2020
- [j14]Tim Aschenbruck
Transient stability analysis of power grids with admissible and maximal robust positively invariant sets. Autom. 68(12): 1011-1021 (2020) - [j13]Willem Esterhuizen, Tim Aschenbruck, Stefan Streif
On maximal robust positively invariant sets in constrained nonlinear systems. Autom. 119: 109044 (2020) - [j12]Lukas Beckenbach, Pavel Osinenko
A Q-learning predictive control scheme with guaranteed stability. Eur. J. Control 56: 167-178 (2020) - [j11]Thomas Göhrt
Converse Optimality for Discrete-Time Systems. IEEE Trans. Autom. Control. 65(5): 2257-2264 (2020) - [c18]Lukas Beckenbach, Pavel Osinenko
On closed-loop stability of model predictive controllers with learning costs. ECC 2020: 184-189 - [i15]Gernot Herbst
Half-Gain Tuning for Active Disturbance Rejection Control. CoRR abs/2003.03986 (2020) - [i14]Tim Aschenbruck, Willem Esterhuizen, Murali Padmanabha, Stefan Streif:
Sustainability Analysis of Interconnected Food Production Systems via Theory of Barriers. CoRR abs/2003.09447 (2020) - [i13]Willem Esterhuizen, Tim Aschenbruck, Jean Lévine, Stefan Streif:
Maintaining Hard Infection Caps in Epidemics via the Theory of Barriers. CoRR abs/2003.10362 (2020) - [i12]Murali Padmanabha, Lukas Beckenbach, Stefan Streif:
Model Predictive Control of a Food Production Unit: A Case Study for Lettuce Production. CoRR abs/2006.07081 (2020) - [i11]Alexander Kobelski, Pavel Osinenko, Stefan Streif:
A method of online traction parameter identification and mapping. CoRR abs/2006.07344 (2020) - [i10]Grigory Devadze, Victor Magron, Stefan Streif:
Computer-assisted proofs for Lyapunov stability via Sums of Squares certificates and Constructive Analysis. CoRR abs/2006.09884 (2020) - [i9]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 abs/2006.12400 (2020) - [i8]Felix Petzke, Ali Mesbah, Stefan Streif:
PoCET: a Polynomial Chaos Expansion Toolbox for Matlab. CoRR abs/2007.05245 (2020) - [i7]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 abs/2007.07541 (2020) - [i6]Murali Padmanabha, Alexander Kobelski, Arne-Jens Hempel, Stefan Streif:
A comprehensive dynamic growth and development model of Hermetia illucens larvae. CoRR abs/2008.05888 (2020)
2010 – 2019
- 2019
- [j10]Thomas Göhrt
Adaptive Dynamic Programming Using Lyapunov Function Constraints. IEEE Control. Syst. Lett. 3(4): 901-906 (2019) - [j9]Pavel Osinenko
Analysis of extremum value theorems for function spaces in optimal control under numerical uncertainty. IMA J. Math. Control. Inf. 36(3): 1015-1032 (2019) - [c17]Lukas Beckenbach, Pavel Osinenko
Model predictive control with stage cost shaping inspired by reinforcement learning. CDC 2019: 7110-7115 - [i5]Willem Esterhuizen, Tim Aschenbruck, Stefan Streif:
On Maximal Robust Positively Invariant Sets in Constrained Nonlinear Systems. CoRR abs/1904.01985 (2019) - [i4]Lukas Beckenbach, Pavel Osinenko, Stefan Streif:
Model predictive control with stage cost shaping inspired by reinforcement learning. CoRR abs/1906.02580 (2019) - 2018
- [j8]Pavel Osinenko
Practical Sample-and-Hold Stabilization of Nonlinear Systems Under Approximate Optimizers. IEEE Control. Syst. Lett. 2(4): 569-574 (2018) - [j7]Pavel Osinenko
Analysis of the Caratheodory' s theorem on dynamical system trajectories under numerical uncertainty. IEEE CAA J. Autom. Sinica 5(4): 787-793 (2018) - [j6]Pavel Osinenko, Stefan Streif:
A constructive version of the extremum value theorem for spaces of vector-valued functions. J. Log. Anal. 10 (2018) - [c16]Felix Petzke, Marcello Farina, Stefan Streif
A Multirate Hierarchical MPC Scheme for Ensemble Systems. CDC 2018: 5874-5879 - [c15]Felix Petzke, Stefan Streif
Integer-Free Optimal Scheduling of Smart Appliances. ECC 2018: 64-69 - [c14]Lukas Beckenbach, Pavel Osinenko
Constrained and Stabilizing Stacked Adaptive Dynamic Programming and a Comparison with Model Predictive Control. ECC 2018: 1349-1354 - 2017
- [c13]Mouayad A. Sahib
Design of an active noise controller for reduction of tire/road interaction noise in environmentally friendly vehicles. SPA 2017: 59-62 - 2016
- [c12]Pavel Osinenko
Experimental results of slip control with a fuzzy-logic-assisted unscented Kalman filter for state estimation. FUZZ-IEEE 2016: 501-507 - 2015
- [c11]Joel A. Paulson
Stability for receding-horizon stochastic model predictive control. ACC 2015: 937-943 - 2014
- [j5]Matthias Rausch, Reinhardt Klein, Stefan Streif
Modellbasierte Zustandsschätzung für Lithium-Ionen-Batterien. Autom. 62(4): 296-311 (2014) - [c10]Matthias Rausch, Reinhardt Klein, Stefan Streif
Set-based state of charge estimation for lithium-ion batteries. ACC 2014: 1566-1571 - [c9]Ali Mesbah, Stefan Streif
Stochastic nonlinear model predictive control with probabilistic constraints. ACC 2014: 2413-2419 - [c8]Joel A. Paulson
Fast stochastic model predictive control of high-dimensional systems. CDC 2014: 2802-2809 - [c7]Joel A. Paulson
Guaranteed active fault diagnosis for uncertain nonlinear systems. ECC 2014: 926-931 - [i3]Stefan Streif, Matthias Karl, Ali Mesbah:
Stochastic Nonlinear Model Predictive Control with Efficient Sample Approximation of Chance Constraints. CoRR abs/1410.4535 (2014) - [i2]Ali Mesbah, Stefan Streif:
Stability for Receding-horizon Stochastic Model Predictive Control with Chance Constraints. CoRR abs/1410.5083 (2014) - [i1]Ali Mesbah, Stefan Streif:
A Probabilistic Approach to Robust Optimal Experiment Design with Chance Constraints. CoRR abs/1411.2683 (2014) - 2013
- [c6]Matthias Rausch, Stefan Streif
Nonlinear observability and identifiability of single cells in battery packs. CCA 2013: 401-406 - [c5]Daniel Hast, Stefan Streif
Guaranteed diagnosability of parametric faults in nonlinear systems. CDC 2013: 5662-5667 - [c4]Stefan Streif
Estimation of consistent parameter sets for continuous-time nonlinear systems using occupation measures and LMI relaxations. CDC 2013: 6379-6384 - [c3]Stefan Streif, Matthias Karl, Rolf Findeisen:
Outlier analysis in set-based estimation for nonlinear systems using convex relaxations. ECC 2013: 2921-2926 - 2012
- [j4]Stefan Streif
ADMIT: a toolbox for guaranteed model invalidation, estimation and qualitative-quantitative modeling. Bioinform. 28(9): 1290-1291 (2012) - 2010
- [j3]Stefan Streif
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: 27 (2010) - [c2]Monika Heiner
A comparative study of stochastic analysis techniques. CMSB 2010: 96-106
2000 – 2009
- 2009
- [j2]Toshiyuki Ohtsuka, Stefan Streif
Commutativity of Immersion and Linearization. IEEE Trans. Autom. Control. 54(4): 826-829 (2009) - [j1]Toshiyuki Ohtsuka
Correction to "Commutativity of Immersion and Linearization" [Apr 09 826-829]. IEEE Trans. Autom. Control. 54(5): 1176 (2009) - 2007
- [c1]Toshiyuki Ohtsuka
Commutativity of immersion and linearization. CDC 2007: 5606-5611
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 21:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: