Stefan Streif

According to our database1, Stefan Streif authored at least 79 papers between 2009 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
On Consistency, Viability, and Admissibility in Constrained Ensemble and Hierarchical Control Systems.
IEEE Trans. Autom. Control., August, 2023

Modelling and optimal control of growth, energy, and resource dynamics of <i>Hermetia illucens</i> in mass production environment.
Comput. Electron. Agric., March, 2023

Deep Neural Network based Optimal Control of Greenhouses.
CoRR, 2023

Comparison of Unscented Kalman Filter Design for Agricultural Anaerobic Digestion Model.
CoRR, 2023

Experimental verification of an online traction parameter identification method.
CoRR, 2023

Observability and Identifiability Analyses of Process Models for Agricultural Anaerobic Digestion Plants.
CoRR, 2023

A map-based model predictive control approach for train operation.
Proceedings of the European Control Conference, 2023

Formal proofs for Lyapunov stability theorems in exact real arithmetic.
Proceedings of the European Control Conference, 2023

Extraction of a computer-certified SMT solver for nonlinear theories.
Proceedings of the European Control Conference, 2023

Formal Verification of a Controller Implementation in Fixed-Point Arithmetic.
Proceedings of the European Control Conference, 2023

2022
Performance bounds of adaptive MPC with bounded parameter uncertainties.
Eur. J. Control, 2022

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

Process Optimization of Black Soldier Fly Egg Production via Model Based Control.
CoRR, 2022

Predictive Control with Learning-Based Terminal Costs Using Approximate Value Iteration.
CoRR, 2022

Critical Clearing Time Estimates of Power Grid Faults via a Set-Based Method.
CoRR, 2022

A stabilizing reinforcement learning approach for sampled systems with partially unknown models.
CoRR, 2022

High-gain observer for the nitrification process including sensor dynamics.
CoRR, 2022

Generating a robustly stabilizable class of nonlinear systems for a converse optimality problem.
Proceedings of the European Control Conference, 2022

Model Predictive Control Tailored to Epidemic Models.
Proceedings of the European Control Conference, 2022

Approximate infinite-horizon predictive control.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2021
On Inf-Convolution-Based Robust Practical Stabilization Under Computational Uncertainty.
IEEE Trans. Autom. Control., 2021

On Constructive Extractability of Measurable Selectors of Set-Valued Maps.
IEEE Trans. Autom. Control., 2021

Recursive Feasibility of Continuous-Time Model Predictive Control Without Stabilising Constraints.
IEEE Control. Syst. Lett., 2021

Synthesis of Lyapunov Functions using Formal Verification.
CoRR, 2021

A Performance Bound for Model Based Online Reinforcement Learning.
CoRR, 2021

Epidemic Management with Admissible and Robust Invariant Sets.
CoRR, 2021

Optimal control of centrifugal spreader.
CoRR, 2021

On performance bound estimation in NMPC with time-varying terminal cost.
CoRR, 2021

Interplay of MPC and the Viability Kernel.
CoRR, 2021

On the Turnpike to Design of Deep Neural Nets: Explicit Depth Bounds.
CoRR, 2021

Application of non-destructive sensors and big data analysis to predict physiological storage disorders and fruit firmness in 'Braeburn' apples.
Comput. Electron. Agric., 2021

Extraction of a computer-certified ODE solver.
Proceedings of the 2021 European Control Conference, 2021

Tracking of stabilizing, optimal control in fixed-time based on time-varying objective function.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Synthesis of interconnected control systems under reachability specifications.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Model Predictive Purge Control for PEM Fuel Cell Systems with Anode Recirculation.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020
Converse Optimality for Discrete-Time Systems.
IEEE Trans. Autom. Control., 2020

A Q-learning predictive control scheme with guaranteed stability.
Eur. J. Control, 2020

A comprehensive dynamic growth and development model of Hermetia illucens larvae.
CoRR, 2020

Prototypical Description and Controller Design for a Set of Systems Using v-gap Based Clustering.
CoRR, 2020

PoCET: a Polynomial Chaos Expansion Toolbox for Matlab.
CoRR, 2020

A Hierarchical Architecture for the Coordination of an Ensemble of Steam Generators.
CoRR, 2020

Computer-assisted proofs for Lyapunov stability via Sums of Squares certificates and Constructive Analysis.
CoRR, 2020

A method of online traction parameter identification and mapping.
CoRR, 2020

Model Predictive Control of a Food Production Unit: A Case Study for Lettuce Production.
CoRR, 2020

Maintaining Hard Infection Caps in Epidemics via the Theory of Barriers.
CoRR, 2020

Sustainability Analysis of Interconnected Food Production Systems via Theory of Barriers.
CoRR, 2020

Half-Gain Tuning for Active Disturbance Rejection Control.
CoRR, 2020

On maximal robust positively invariant sets in constrained nonlinear systems.
Autom., 2020

Transient stability analysis of power grids with admissible and maximal robust positively invariant sets.
Autom., 2020

On closed-loop stability of model predictive controllers with learning costs.
Proceedings of the 18th European Control Conference, 2020

2019
Analysis of extremum value theorems for function spaces in optimal control under numerical uncertainty.
IMA J. Math. Control. Inf., 2019

Adaptive Dynamic Programming Using Lyapunov Function Constraints.
IEEE Control. Syst. Lett., 2019

Model predictive control with stage cost shaping inspired by reinforcement learning.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018
A constructive version of the extremum value theorem for spaces of vector-valued functions.
J. Log. Anal., 2018

Analysis of the Caratheodory' s theorem on dynamical system trajectories under numerical uncertainty.
IEEE CAA J. Autom. Sinica, 2018

Practical Sample-and-Hold Stabilization of Nonlinear Systems Under Approximate Optimizers.
IEEE Control. Syst. Lett., 2018

Integer-Free Optimal Scheduling of Smart Appliances.
Proceedings of the 16th European Control Conference, 2018

Constrained and Stabilizing Stacked Adaptive Dynamic Programming and a Comparison with Model Predictive Control.
Proceedings of the 16th European Control Conference, 2018

A Multirate Hierarchical MPC Scheme for Ensemble Systems.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2017
Design of an active noise controller for reduction of tire/road interaction noise in environmentally friendly vehicles.
Proceedings of the Signal Processing: Algorithms, 2017

2016
Experimental results of slip control with a fuzzy-logic-assisted unscented Kalman filter for state estimation.
Proceedings of the 2016 IEEE International Conference on Fuzzy Systems, 2016

2015
Stability for receding-horizon stochastic model predictive control.
Proceedings of the American Control Conference, 2015

2014
Stochastic Nonlinear Model Predictive Control with Efficient Sample Approximation of Chance Constraints.
CoRR, 2014

A Probabilistic Approach to Robust Optimal Experiment Design with Chance Constraints.
CoRR, 2014

Stability for Receding-horizon Stochastic Model Predictive Control with Chance Constraints.
CoRR, 2014

Modellbasierte Zustandsschätzung für Lithium-Ionen-Batterien.
Autom., 2014

Guaranteed active fault diagnosis for uncertain nonlinear systems.
Proceedings of the 13th European Control Conference, 2014

Fast stochastic model predictive control of high-dimensional systems.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Set-based state of charge estimation for lithium-ion batteries.
Proceedings of the American Control Conference, 2014

Stochastic nonlinear model predictive control with probabilistic constraints.
Proceedings of the American Control Conference, 2014

2013
Outlier analysis in set-based estimation for nonlinear systems using convex relaxations.
Proceedings of the 12th European Control Conference, 2013

Estimation of consistent parameter sets for continuous-time nonlinear systems using occupation measures and LMI relaxations.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Guaranteed diagnosability of parametric faults in nonlinear systems.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Nonlinear observability and identifiability of single cells in battery packs.
Proceedings of the IEEE International Conference on Control Applications, 2013

2012
ADMIT: a toolbox for guaranteed model invalidation, estimation and qualitative-quantitative modeling.
Bioinform., 2012

2010
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., 2010

A comparative study of stochastic analysis techniques.
Proceedings of the Computational Methods in Systems Biology, 8th International Conference, 2010

2009
Correction to "Commutativity of Immersion and Linearization" [Apr 09 826-829].
IEEE Trans. Autom. Control., 2009

Commutativity of Immersion and Linearization.
IEEE Trans. Autom. Control., 2009


  Loading...