the archive
#reachability analysis
3 resultsmath.OC2019
Reach-Avoid Differential Games Based on Invariant Generation
Bai Xue, Qiuye Wang, Naijun Zhan +2
The paper investigates infinite‑horizon reach‑avoid differential games, deriving the set of initial states from which a player can continuously enforce safety using Hamilton‑Jacobi…
#reachability analysis#differential games#infinite horizon#Hamilton-Jacobi
cs.SE2019
RERS-Fuzz : Combining Greybox Fuzzing with Interval Analysis for error reachability in reactive softwares
Animesh Basak Chowdhury
The paper proposes a method that combines coverage‑guided greybox fuzzing with interval analysis to improve error‑reachability checking on reactive software benchmarks from RERS 20…
#fuzz testing#greybox fuzzing#interval analysis#reachability analysis
eess.SY2019
Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty
Hui Kong, Ezio Bartocci, Yu Jiang +1
The paper extends Piecewise Barrier Tubes to efficiently compute sound flowpipe overapproximations for nonlinear hybrid systems that include parameter and noise uncertainty.
#hybrid systems#nonlinear dynamics#uncertainty quantification#reachability analysis