UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

Global Optimisation for Dynamic Systems using Interval Analysis

Perez-Galvan, C; Bogle, IDL; (2017) Global Optimisation for Dynamic Systems using Interval Analysis. Computers and Chemical Engineering , 107 pp. 343-356. 10.1016/j.compchemeng.2017.02.028. Green open access

[thumbnail of Perez-Galvan_Bogle_2016_SI_Gani.pdf]
Preview
Text
Perez-Galvan_Bogle_2016_SI_Gani.pdf - Accepted Version

Download (18MB) | Preview

Abstract

Engineers seek optimal solutions when designing dynamic systems but a crucial element is to ensure bounded performance over time. Finding a globally optimal bounded trajectory requires the solution of the ordinary differential equation (ODE) systems in a verified way. To date these methods are only able to address low dimensional problems and for larger systems are unable to prevent gross overestimation of the bounds. In this paper we show how interval contractors can be used to obtain tightly bounded optima. A verified solver constructs tight upper and lower bounds on the dynamic variables using contractors for initial value problems (IVP) for ODEs within a global optimisation method. The solver provides guaranteed bound on the objective function and on the first order sensitivity equations in a branch and bound framework. The method is compared with three previously published methods on three examples from process engineering.

Type: Article
Title: Global Optimisation for Dynamic Systems using Interval Analysis
Open access status: An open access version is available from UCL Discovery
DOI: 10.1016/j.compchemeng.2017.02.028
Publisher version: http://dx.doi.org/10.1016/j.compchemeng.2017.02.02...
Language: English
Additional information: This manuscript version is published under a Creative Commons Attribution Non-commercial Non-derivative 4.0 International licence (CC BY-NC-ND 4.0). This licence allows you to share, copy, distribute and transmit the work for personal and non-commercial use providing author and publisher attribution is clearly stated. Further details about CC BY licences are available at http://creativecommons.org/licenses/by/4.0. Access may be initially restricted by the publisher.
Keywords: Global optimisation; Dynamic systems; Verified integration; Interval analysis; Interval contractors
UCL classification: UCL
UCL > Provost and Vice Provost Offices
UCL > Provost and Vice Provost Offices > VP: Research
URI: https://discovery.ucl.ac.uk/id/eprint/1544102
Downloads since deposit
135Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item