Imperial College London
Alternate

ProfessorBenoitChachuat

Faculty of Engineering, Department of Chemical Engineering

Professor of Process Systems Engineering
 
 
 
//

Contact

 

b.chachuat Website

 
 
//

Location

 

609Roderic Hill BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Rayjaguru:2015:10.1016/j.ifacol.2015.08.163,
author = {Rayjaguru, J and Villanueva, ME and Houska, B and Chachuat, B},
doi = {10.1016/j.ifacol.2015.08.163},
pages = {94--99},
publisher = {Elsevier},
title = {Continuous-time enclosures for uncertain implicit differential equations},
url = {http://dx.doi.org/10.1016/j.ifacol.2015.08.163},
year = {2015}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - The computation of enclosures for the reachable set of uncertain dynamic systems is a crucial component in a wide variety of applications, from global and robust dynamic optimization to safety verification and fault detection. Even though many systems in engineering are best modeled as implicit differential equations (IDEs) and differential algebraic equations (DAEs), methods for the construction of enclosures for these are not as well developed as they are for ordinary differential equations (ODEs). In this paper, we propose a continuous-time approach for the guaranteed over approximations of the reachable set for quasilinear IDEs. This approach builds on novel high-order inclusion techniques for the solution set of algebraic equations and state-of-the-art techniques for bounding the solution of nonlinear ODEs.We show how this approach can be used to bound the reachable set of uncertain semi-explicit DAEs by bounding the underlying IDEs. We demonstrate this approach on two case studies, a double pendulum where it proves superior with delayed break-down times compared to other methods, and anaerobic digestion of microalgae which has nine differential and two algebraic states.
AU  - Rayjaguru,J
AU  - Villanueva,ME
AU  - Houska,B
AU  - Chachuat,B
DO  - 10.1016/j.ifacol.2015.08.163
EP  - 99
PB  - Elsevier
PY  - 2015///
SN  - 1474-6670
SP  - 94
TI  - Continuous-time enclosures for uncertain implicit differential equations
UR  - http://dx.doi.org/10.1016/j.ifacol.2015.08.163
UR  - http://hdl.handle.net/10044/1/30354
ER  -
Download