arxiveess.SY2026-07-01
TERA: A Unified Taylor Model Enabled Reachability Analysis Framework
Reachability analysis of safety-critical systems requires computing rigorous enclosures of all possible state trajectories. Taylor Model (TM)-based methods have proved effective at mitigating the so-called wrapping effect which leads to overly conservative enclosures of reachable…