Verified Stability Analysis for Interval-Based Sliding Mode and Predictive Control Procedures with Applications to High-Temperature Fuel Cell Systems

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},
}