| Abstract: |
We present PyBDR and BdryReach, reachability analysis toolkits based on set-boundary analysis, which centralizes on widely-adopted set propagation techniques for formal verification, controller synthesis, state estimation, etc. Them employ boundary analysis of initial sets to mitigate the wrapping effect during computations, thus improving the performance of reachability analysis algorithms without significantly increasing computational costs. Comparative studies showcase their strengths in handling verification tasks with large initial sets or long time horizons. |
下载中心
会议室预定
电子邮箱