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]

Authors

Boris Houska

This author has not been identified. Look up 'Boris Houska' in Google

Mario Eduardo Villanueva

This author has not been identified. Look up 'Mario Eduardo Villanueva' in Google

Benoît Chachuat

This author has not been identified. Look up 'Benoît Chachuat' in Google