2013 IEEE 52nd Annual Conference on Decision and Control (CDC) Conference

Scholarly Activity

related documents

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