Efficient polyhedral enclosures for the reachable set of nonlinear control systems
Name
Harwood_Polyhedral_bounds.pdf
Size
544.69 KB
Format
Adobe PDF
Checksum (MD5)
9354db6e6f324b3cc5fc8d49038b99e2
Author(s)
Harwood, Stuart Maxwell
Barton, Paul I.
Date Issued
February 2016
Journal
Mathematics of Control, Signals, and Systems
Publisher
Springer London
Citation
Harwood, Stuart M., and Paul I. Barton. "Efficient polyhedral enclosures for the reachable set of nonlinear control systems." Mathematics of Control, Signals, and Systems (March 2016) 28:8, pp.1-33.
Version
Author's final manuscript
Abstract
This work presents a general theory for the construction of a polyhedral outer approximation of the reachable set (“polyhedral bounds”) of a dynamic system subject to time-varying inputs and uncertain initial conditions. This theory is inspired by the efficient methods for the construction of interval bounds based on comparison theorems. A numerically implementable instance of this theory leads to an auxiliary system of differential equations which can be solved with standard numerical integration methods. Meanwhile, the use of polyhedra provides greater flexibility in defining tight enclosures on the reachable set. These advantages are demonstrated with a few examples, which show that tight bounds can be efficiently computed for general, nonlinear systems. Further, it is demonstrated that the ability to use polyhedra provides a means to meaningfully distinguish between time-varying and constant, but uncertain, inputs.
MIT Department
Massachusetts Institute of Technology. Department of Chemical Engineering
Massachusetts Institute of Technology. Process Systems Engineering Laboratory
Terms of Use
Creative Commons Attribution-Noncommercial-Share Alike
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1007/s00498-015-0153-2
