Interval enclosures for reachable sets of chemical kinetic flow systems. Part 3: Indirect-bounding method

Abstract In the third paper, in the three-part series, we propose an indirect-bounding approach for constructing rigorous interval enclosures or bounds for the reachable sets of CSTR reaction systems subject to parametric and initial condition uncertainties and flow rate disturbances. Existing comparison-based methods yield conservative enclosures for the reachable sets due to the non-quasi-monotonic and non-cooperative nature of CSTR reaction systems. The proposed indirect-bounding method addresses the overestimation problem by using the isomorphic transformation, developed in Tulsyan and Barton (2017a), to map the system into a transformed state space, where comparison-based methods yield tight bounds. The interval bounds on the original states are then reconstructed using the inverse transformation. This eliminates the need to know a priori an effective enclosure set for the CSTR reaction system, as required by the direct-bounding method in Tulsyan and Barton (2017b). The efficacy of the indirect-bounding method is validated on several example problems. Several comparisons with the direct-bounding method are also presented to demonstrate the improvements achieved with the indirect-bounding method.

[1]  Youdong Lin,et al.  Fault Detection in Nonlinear Continuous-Time Systems with Uncertain Parameters , 2008 .

[2]  Paul I. Barton,et al.  Reachability-based fault detection method for uncertain chemical flow reactors , 2016 .

[3]  Benoît Chachuat,et al.  Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs , 2015, J. Glob. Optim..

[4]  Nilay Shah,et al.  Quantitative framework for reliable safety analysis , 2002 .

[5]  PAUL I. BARTON,et al.  Bounding the Solutions of Parameter Dependent Nonlinear Ordinary Differential Equations , 2005, SIAM J. Sci. Comput..

[6]  Paul I. Barton,et al.  Tight, efficient bounds on the solutions of chemical kinetics models , 2010, Comput. Chem. Eng..

[7]  W. Walter.  Differential and Integral Inequalities , 1970 .

[8]  Nacim Meslem,et al.  A Hybrid Bounding Method for Computing an Over-Approximation for the Reachable Set of Uncertain Nonlinear Systems , 2009, IEEE Transactions on Automatic Control.

[9]  Ramon E. Moore.  Methods and applications of interval analysis , 1979, SIAM studies in applied mathematics.

[10]  Hal L. Smith,et al.  Monotone Dynamical Systems: An Introduction To The Theory Of Competitive And Cooperative Systems (Mathematical Surveys And Monographs) By Hal L. Smith , 1995 .

[11]  Paul I. Barton,et al.  Global Optimization with Nonlinear Ordinary Differential Equations , 2006, J. Glob. Optim..

[12]  Alexandre M. Bayen,et al.  A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games , 2005, IEEE Transactions on Automatic Control.

[13]  E. Hofer,et al.  VALENCIA-IVP: A Comparison with Other Initial Value Problem Solvers , 2006, 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006).

[14]  Eduardo F. Camacho,et al.  Guaranteed state estimation by zonotopes , 2005, Autom..

[15]  D. Limón,et al.  Robust MPC of constrained nonlinear systems based on interval arithmetic , 2005 .

[16]  Eric Walter,et al.  Ellipsoidal parameter or state estimation under model uncertainty , 2004, Autom..

[17]  Paul I. Barton,et al.  Efficient polyhedral enclosures for the reachable set of nonlinear control systems , 2016, Math. Control. Signals Syst..

[18]  James W. Taylor,et al.  Global dynamic optimization for parameter estimation in chemical kinetics. , 2006, The journal of physical chemistry. A.

[19]  V. Lakshmikantham,et al.  Differential and integral inequalities : theory and applications , 1969 .

[20]  J. Aubin,et al.  Differential inclusions set-valued maps and viability theory , 1984 .

[21]  John Lygeros,et al.  On reachability and minimum cost optimal control , 2004, Autom..

[22]  O. Stursberg,et al.  Computing Reachable Sets of Hybrid Systems Using a Combination of Zonotopes and Polytopes , 2010 .

[23]  Siegfried M. Rump,et al.  INTLAB - INTerval LABoratory , 1998, SCAN.

[24]  Bruce H. Krogh,et al.  Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations , 1999, HSCC.

[25]  D. Bonvin,et al.  Extents of reaction and flow for homogeneous reaction systems with inlet and outlet streams , 2010 .

[26]  Paul I. Barton,et al.  Interval enclosures for reachable sets of chemical kinetic flow systems. Part 1: Sparse transformation , 2017 .

[27]  Paul I. Barton,et al.  Bounds on the reachable sets of nonlinear control systems , 2013, Autom..

[28]  M. Kirkilionis,et al.  On comparison systems for ordinary differential equations , 2004 .

[29]  A. Hindmarsh,et al.  CVODE, a stiff/nonstiff ODE solver in C , 1996 .

[30]  Paul I. Barton,et al.  PERKS: Software for Parameter Estimation in Reaction Kinetic Systems , 2016 .

[31]  T. Alamo,et al.  Robust MPC of constrained discrete-time nonlinear systems based on approximated reachable sets , 2006, Autom..

[32]  Franco Blanchini,et al.  Set-theoretic methods in control , 2007 .

[33]  A. Kurzhanski.  Comparison principle for equations of the Hamilton-Jacobi type in control theory , 2006 .

[34]  Antoine Girard,et al.  Reachability of Uncertain Linear Systems Using Zonotopes , 2005, HSCC.