Marco Kletting

Verified Online State and Parameter Estimation for a Nonlinear Tank System

Felix Antritter, Marco Kletting, 2012 .

Modelling the glucose metabolism with backpropagation through time trained Elman nets

Hans-Jörg Pfleiderer, Edgar Teufel, Werner G. Teich, 2003, 2003 IEEE XIII Workshop on Neural Networks for Signal Processing (IEEE Cat. No.03TH8718).

Robust analysis of flatness based control using interval methods

Marco Kletting, Felix Antritter, Eberhard P. Hofer, 2007, Int. J. Control.

INTERVAL ANALYSIS AND NONLINEAR CONTROL OF WASTEWATER PLANTS WITH PARAMETER UNCERTAINTY

Andreas Rauh, Harald Aschemann, Marco Kletting, 2005 .

Robustness Comparison of Tracking Controllers Using Verified Integration

Felix Antritter, Marco Kletting, 2011 .

Verified Simulation for Robustness Evaluation of Tracking Controllers

Felix Antritter, Marco Kletting, 2012 .

CONSISTENCY TECHNIQUES FOR SIMULATION OF WASTEWATER TREATMENT PROCESSES WITH UNCERTAINTIES

Andreas Rauh, Harald Aschemann, Marco Kletting, 2005 .

Verified methods for state and parameter estimators for nonlinear uncertain systems with applications in engineering

Marco Kletting, 2009 .

Consistency tests in guaranteed simulation of nonlinear uncertain systems with application to an activated sludge process

Andreas Rauh, Harald Aschemann, Marco Kletting, 2007 .

Reduction of overestimation in interval arithmetic simulation of biological wastewater treatment processes

Andreas Rauh, Harald Aschemann, Marco Kletting, 2007 .

Two Approaches for Guaranteed State Estimation of Nonlinear Continuous-Time Models

Eric Walter, Michel Kieffer, Marco Kletting, 2011 .