A validated integration algorithm for nonlinear ODEs using Taylor models and ellipsoidal calculus

Boris Houska, Mario Eduardo Villanueva, Benoît Chachuat. A validated integration algorithm for nonlinear ODEs using Taylor models and ellipsoidal calculus. In Proceedings of the 52nd IEEE Conference on Decision and Control, CDC 2013, December 10-13, 2013, Firenze, Italy. pages 484-489, IEEE, 2013. [doi]

@inproceedings{HouskaVC13,
  title = {A validated integration algorithm for nonlinear ODEs using Taylor models and ellipsoidal calculus},
  author = {Boris Houska and Mario Eduardo Villanueva and Benoît Chachuat},
  year = {2013},
  doi = {10.1109/CDC.2013.6759928},
  url = {http://dx.doi.org/10.1109/CDC.2013.6759928},
  researchr = {https://researchr.org/publication/HouskaVC13},
  cites = {0},
  citedby = {0},
  pages = {484-489},
  booktitle = {Proceedings of the 52nd IEEE Conference on Decision and Control, CDC 2013, December 10-13, 2013, Firenze, Italy},
  publisher = {IEEE},
  isbn = {978-1-4673-5714-2},
}