Rapid and accurate reachability analysis for nonlinear dynamic systems by exploiting model redundancy

• Published in: Computers & chemical engineering Vol. 106; pp. 596 - 608
• Main Authors: Shen, Kai, Scott, Joseph K.
• Format: Journal Article
• Language: English
• Published: Elsevier Ltd 02.11.2017
• Subjects: Differential inequalities; Global optimization; Interval analysis; Reachability; Uncertainty propagation; Uncertainty propagation; Interval analysis; Global optimization; Differential inequalities; Reachability

•A method is presented for accurately bounding the reachable sets of ODEs.•The key idea is to augment ODEs with redundant state variables that satisfy solution invariants by construction.•Algorithms are developed for exploiting invariants within fast interval bounding methods.•Case studies show that...