Interval enclosures for reachable sets of chemical kinetic flow systems. Part 1: Sparse transformation
Author(s)Tulsyan, Aditya; Barton, Paul I
MetadataShow full item record
Computing reachable sets for continuous-stirred tank reactors (CSTRs) under uncertainty is crucial for designing efficient model-based control strategies or developing robust process monitoring protocols. This paper, the first in the three-part series, develops a linear transformation to project the dynamics of a CSTR reaction system onto a transformed state space. The proposed transformation is invertible, and leads to a “sparse” system representation in the transformed state space – a property crucial for the methods developed to compute reachable sets of CSTR reaction systems. The second and third papers in this series discuss how the transformation developed here can be used to compute effectively outer interval approximations to the reachable sets of CSTR reaction systems. To this effect, two new bounding methods – direct and indirect-bounding methods – are proposed in the second and third paper, respectively, to compute tight interval enclosures for the reachable sets of CSTR reaction systems. Several numerical examples are also provided to demonstrate efficacy of the proposed direct and indirect-bounding methods.
DepartmentMassachusetts Institute of Technology. Process Systems Engineering Laboratory
Chemical Engineering Science
Tulsyan, Aditya and Paul I. Barton et al. "Interval enclosures for reachable sets of chemical kinetic flow systems. Part 1: Sparse transformation." Chemical Engineering Science 166 (July 2017): 334-344 © 2017 Elsevier Ltd
Author's final manuscript