Andreas Rauh, Luise Senkel, Julia Kersten, Harald Aschemann. Verified Stability Analysis for Interval-Based Sliding Mode and Predictive Control Procedures with Applications to High-Temperature Fuel Cell Systems. In Sophie Tarbouriech, Miroslav Krstic, editors, 9th IFAC Symposium on Nonlinear Control Systems, NOLCOS 2013, Toulouse, France, September 4-6, 2013. pages 570-575, International Federation of Automatic Control, 2013. [doi]
@inproceedings{RauhSKA13, title = {Verified Stability Analysis for Interval-Based Sliding Mode and Predictive Control Procedures with Applications to High-Temperature Fuel Cell Systems}, author = {Andreas Rauh and Luise Senkel and Julia Kersten and Harald Aschemann}, year = {2013}, doi = {10.3182/20130904-3-FR-2041.00145}, url = {http://dx.doi.org/10.3182/20130904-3-FR-2041.00145}, researchr = {https://researchr.org/publication/RauhSKA13}, cites = {0}, citedby = {0}, pages = {570-575}, booktitle = {9th IFAC Symposium on Nonlinear Control Systems, NOLCOS 2013, Toulouse, France, September 4-6, 2013}, editor = {Sophie Tarbouriech and Miroslav Krstic}, publisher = {International Federation of Automatic Control}, isbn = {978-3-902823-47-2}, }