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

Journal of Process Control

Volumn 20, Issue 9, 2010, Pages 1076-1083

  Hasenauer, J ^a   Rumschinski, P ^b   Waldherr, S ^a   Borchers, S ^b   Allgower F ^a   Findeisen, R ^b  

^a UNIVERSITY OF STUTTGART   (Germany)

^b OTTO VON GUERICKE UNIVERSITY   (Germany)

Author keywords

CSTR; Infeasibility certificates; Nonlinear differential algebraic systems; Parametric uncertainty; Semidefinite programming; Steady state

Indexed keywords

CSTR; INFEASIBILITY CERTIFICATES; NONLINEAR DIFFERENTIAL ALGEBRAIC SYSTEMS; PARAMETRIC UNCERTAINTIES; SEMI-DEFINITE PROGRAMMING; STEADY STATE;

ALGEBRA; CHEMICAL REACTORS; MATHEMATICAL PROGRAMMING; NONLINEAR ANALYSIS; NONLINEAR EQUATIONS; UNCERTAINTY ANALYSIS;

EQUATIONS OF STATE;

EID: 77956444019     PISSN: 09591524     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jprocont.2010.06.004     Document Type: Conference Paper

References (29)

1. S. Engell, S. Kowalewski, C. Schulz, and O. Stursberg Continuous-discrete interactions in chemical processing plants Proc. of the IEEE 88 7 2000 1050 1068
2. D.E. Seborg, T.F. Edgar, and D.A. Mellichamp Process Dynamics and Control 1989 Wiley
3. R. Murray-Smith, and T.A. Johansen Multiple Model Approaches to Modelling and Control 1997 Taylor and Francis London
4. B. Lennartson, M. Tittus, B. Ehardt, and S. Pettersson Hybrid systems in process control IEEE Control Syst. Mag. 16 5 1996 45 56
5. A. Girard, and C.L. Guernic Zonotope/hyperplane intersection for hybrid systems reachability analysis Proceedings of the 11th International Conference on Hybrid Systems: Computation and Control, vol. 4981, LNCS 2008 Springer Verlag Berlin/Heidelberg pp. 215-228
6. A. Girard Reachability of uncertain linear systems using zonotopes Proceedings of the 8th International Conference on Hybrid Systems: Computation and Control, vol. 3414, LNCS 2005 Springer Verlag Berlin/Heidelberg pp. 291-305
7. E. Asarin, T. Dang, and A. Girard Reachability analysis of non-linear systems using conservative approximations Proceedings of the 6th International Conference on Hybrid Systems: Computation and Control, vol. 2623, LNCS 2003 Springer Verlag Berlin/Heidelberg pp. 20-35
8. N. Ramdani, N. Meslem, and Y. Candau Reachability analysis of uncertain nonlinear systems using guaranteed set integration. pp. 8972-8977 Proceedings of the 17th IFAC World Congress 2008
9. C.P. Robert, and G. Casella Monte Carlo Statistical Methods 2004 Springer-Verlag
10. S. Waldherr, R. Findeisen, and F. Allgöwer Global sensitivity analysis of biochemical reaction networks via semidefinite programming. pp. 9701-9706 Proceedings of the 17th IFAC World Congress 2008
11. P.A. Parrilo, Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization, PhD thesis, California Institute of Technology, Pasadena, California, 2000.
12. G. Chesi, A. Garulli, A. Tesi, and A. Vicino Characterizing the solution set of polynomial systems in terms of homogeneous forms: an LMI approach Int. J. Robust Nonlinear Control 13 13 2003 1239 1257
13. L. Küpfer, U. Sauer, and P.A. Parrilo Efficient classification of complete parameter regions based on semidefinite programming BMC Bioinf. 8 2007 12
14. S. Borchers, P. Rumschinski, S. Bosio, R. Weismantel, and R. Findeisen Model discrimination and parameter estimation via infeasibility certificates for dynamical biochemical reaction networks. pp. 245-250 Proceedings of the 15th IFAC Symposium on Syst. Ident., vol. 15 2009
15. S. Borchers, P. Rumschinski, S. Bosio, R. Weismantel, and R. Findeisen A set-based framework for coherent model invalidation and parameter estimation of discrete time nonlinear systems pp. 6786-6792 Proceedings IEEE Conference on Dec. and Contr., CDC'09 2009
16. P. Rumschinski, S. Borchers, S. Bosio, R. Weismantel, and R. Findeisen Set-based dynamical parameter estimation and model invalidation for biochemical reaction networks BMC Syst. Biol. 4 69 2010
17. J. Hasenauer, S. Waldherr, K. Wagner, and F. Allgöwer Parameter identification, experimental design and model falsification for biological network models using semidefinite programming IET Syst. Biol. 4 2 2010 119 130
18. S. Waldherr, and F. Allgöwer Searching bifurcations in high-dimensional parameter space via a feedback loop breaking approach Int. J. Syst. Sci. 70 4 2009 769 782
19. M.S. Branicky, V.S. Borkar, and S.K. Mitter A unified framework for hybrid control: model and optimal control theory IEEE Trans. Autom. Control 43 1 1998 31 45
20. T. Ohtsuka Model structure simplification of nonlinear systems via immersion IEEE Trans. Autom. Control 55 5 2005 607 618
21. A. Papachristodoulou, S. Prajna, Analysis of non-polynomial systems using the sum of squares decomposition, in: D. Henrion, A. Garulli, (Eds.), Positive Polynomials in Control, vol. 312, LNCIS. Springer, Berlin/Heidelberg, 2005, pp. 23-43.
22. P.A. Parrilo Semidefinite programming relaxations for semialgebraic problems Math. Program., Ser. B 96 2 2003 293 320
23. L. Jaulin, M. Kieffer, O. Didrit, and E. Walter Applied Interval Analysis 2001 Springer Heidelberg
24. J.F. Sturm Using SeDuMi 1.02, a Matlab toolbox for optimization over symmetric cones Optim. Meth. Softw. 11 1999 625 653
25. S. Boyd, and L. Vandenberghe Convex Optimisation 2004 Cambridge University Press UK
26. J. Rawlings, and J. Ekerdt Chemical reactor Analysis and Design Fundamentals 2002 Nob Hill Publishing Madison, WI
27. A. Dhooge, W. Govaerts, and Y. Kuznetsov Matcont: a Matlab package for numerical bifurcation analysis of ODEs ACM Trans. Math. Softw. 29 2 2003 141 164
28. J. Hasenauer, P. Rumschinski, S. Waldherr, S. Borchers, F. Allgöwer, R. Findeisen, Guaranteed steady-state bounds for uncertain chemical processes, in: S. Engell, Y. Arkun (Eds.), Proceedings of International Symposium on Advanced Control of Chemical Processes, 2009, pp. 674-679.
29. S. Waldherr Uncertainty and robustness analysis of biochemical reaction networks via convex optimisation and robust control theory. Number 1163 in Fortschrittsberichte VDI Reihe 8 2009 VDI Verlag Düsseldorf, Germany