Set-theoretic approaches in analysis, estimation and control of nonlinear systems

B Chachuat, B Houska, R Paulen, N Peri'c… - IFAC-PapersOnLine, 2015 - Elsevier
This paper gives an overview of recent developments in set-theoretic methods for nonlinear
systems, with a particular focus on the activities in our own research group. Central to these …

Set-base dynamical parameter estimation and model invalidation for biochemical reaction networks

P Rumschinski, S Borchers, S Bosio, R Weismantel… - BMC systems …, 2010 - Springer
Background Mathematical modeling and analysis have become, for the study of biological
and cellular processes, an important complement to experimental research. However, the …

Parameter identification, experimental design and model falsification for biological network models using semidefinite programming

J Hasenauer, S Waldherr, K Wagner, F Allgöwer - IET systems biology, 2010 - IET
One of the most challenging tasks in systems biology is parameter identification from
experimental data. In particular, if the available data are noisy, the resulting parameter …

A set-based framework for coherent model invalidation and parameter estimation of discrete time nonlinear systems

S Borchers, P Rumschinski, S Bosio… - Proceedings of the …, 2009 - ieeexplore.ieee.org
This work introduces a unified framework for model invalidation and parameter estimation
for nonlinear systems. We consider a model given by implicit nonlinear difference equations …

Falsified model-invariant safety-preserving control with application to closed-loop anesthesia

M Yousefi, K van Heusden, IM Mitchell… - … on Control Systems …, 2018 - ieeexplore.ieee.org
This brief introduces a novel safety-preserving control scheme with minimal conservatism for
uncertain systems. We have recently introduced the model-invariant safety verification …

Complete fault diagnosis of uncertain polynomial systems

P Rumschinski, J Richter, A Savchenko… - IFAC Proceedings …, 2010 - Elsevier
The increase in complexity in process control goes along with an increasing need for
complete and guaranteed fault diagnosis. In this contribution, we propose a set-based …

Model-invariant safety-preserving control

M Yousefi, K van Heusden, GA Dumont… - 2016 American …, 2016 - ieeexplore.ieee.org
Employing viability techniques to preserve safety in safety-critical control applications has
recently attracted much attention. The techniques rely on a conservative approximation of …

Guaranteed steady state bounds for uncertain (bio-) chemical processes using infeasibility certificates

J Hasenauer, P Rumschinski, S Waldherr… - Journal of Process …, 2010 - Elsevier
Analysis and safety considerations of chemical and biological processes require complete
knowledge of the set of all feasible steady states. Nonlinearities, uncertain parameters, and …

On the estimation of the equilibrium points of uncertain nonlinear systems

G Chesi - International Journal of Robust and Nonlinear …, 2013 - Wiley Online Library
The analysis and control of nonlinear systems often require information about the location of
their equilibrium points. This paper addresses the problem of estimating the set of …

Model discrimination and parameter estimation via infeasibility certificates for dynamical biochemical reaction networks

S Borchers, P Rumschinski, S Bosio… - IFAC Proceedings …, 2009 - Elsevier
Current approaches to parameter estimation and model invalidation are often inappropriate
for biochemical reaction networks. This is because often only noisy measurements and …