Imperial College London

DrBenoitChachuat

Faculty of EngineeringDepartment of Chemical Engineering

Reader in Process Systems Engineering
 
 
 
//

Contact

 

b.chachuat Website

 
 
//

Location

 

609Roderic Hill BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Houska:2013:10.1109/CDC.2013.6759928,
author = {Houska, B and Villanueva, ME and Chachuat, B},
doi = {10.1109/CDC.2013.6759928},
pages = {484--489},
publisher = {IEEE},
title = {A validated Integration algorithm for nonlinear ODEs using Taylor models and ellipsoidal calculus},
url = {http://dx.doi.org/10.1109/CDC.2013.6759928},
year = {2013}
}

RIS format (EndNote, RefMan)

TY  - CPAPER
AB - his paper presents a novel algorithm for bounding the reachable set of parametric nonlinear differential equations. This algorithm is based on a first-discretize-then-bound approach to enclose the reachable set via propagation of a Taylor model with ellipsoidal remainder, and it accounts for truncation errors that are inherent to the discretization. In contrast to existing algorithms that proceed in two phases-an a priori enclosure phase, followed by a tightening phase-the proposed algorithm first predicts a continuous-time enclosure and then seeks a maximal step-size for which validity of the predicted enclosure can be established. It is shown that this reversed approach leads to a natural step-size control mechanism, which no longer relies on the availability of an a priori enclosure. Also described in the paper is an open-source implementation of the algorithm in ACADO Toolkit. A simple numerical case study is presented to illustrate the performance and stability of the algorithm.
AU - Houska,B
AU - Villanueva,ME
AU - Chachuat,B
DO - 10.1109/CDC.2013.6759928
EP - 489
PB - IEEE
PY - 2013///
SN - 0191-2216
SP - 484
TI - A validated Integration algorithm for nonlinear ODEs using Taylor models and ellipsoidal calculus
UR - http://dx.doi.org/10.1109/CDC.2013.6759928
UR - http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000352223500075&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=1ba7043ffcc86c417c072aa74d649202
UR - http://hdl.handle.net/10044/1/30370
ER -