Continuous-time enclosures for uncertain implicit differential equations
File(s)
Published version
Author(s)
Rayjaguru, J
Villanueva, ME
Houska, B
Chachuat, B
Type
Conference Paper
Abstract
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.
Date Issued
2015-09-25
Date Acceptance
2015-06-07
Citation
IFAC Proceedings Volumes (IFAC-PapersOnline), 2015, 48 (8), pp.94-99
ISSN
1474-6670
Publisher
Elsevier
Start Page
94
End Page
99
Journal / Book Title
IFAC Proceedings Volumes (IFAC-PapersOnline)
Volume
48
Issue
8
Copyright Statement
© 2015, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved.
Sponsor
Commission of the European Communities
Grant Number
PCIG9-GA-2011-293953
Source
9th IFAC Symposium on Advanced Control of Chemical Processes
Publication Status
Published
Start Date
2015-06-07
Finish Date
2015-06-10
Coverage Spatial
Whistler, Canada