Improved flowpipe/guard intersection for Taylor models

[mforets]

Aim. Improve the accuracy and scalability of nonlinear reachability of hybrid systems that use by doing more accurate flowpipe/guard intersection. There are different approaches for this problem (see references below).

Methods:

• domain contraction
• range enclosure

References:

• Chen, X., Abraham, E., & Sankaranarayanan, S. (2012, December). Taylor model flowpipe construction for non-linear hybrid systems. In 2012 IEEE 33rd Real-Time Systems Symposium (pp. 183-192). IEEE..
• Chen, X. (2015). Reachability analysis of non-linear hybrid systems using taylor models (Doctoral dissertation, Fachgruppe Informatik, RWTH Aachen University)..