TERA: A Unified Taylor Model Enabled Reachability Analysis Framework

Salma Iraky, Andrew Sogokon

Reachability analysis of safety-critical systems requires computing rigorous enclosures of all possible state trajectories. Taylor Model (TM)-based methods have proved effective at…