Double Integrator System
收藏arXiv2025-09-30 收录
下载链接：
https://github.com/o4lc/ReachLipBnB
下载链接
链接失效反馈官方服务：
资源简介：
该数据集是对由ReLU网络控制的离散时间双积分系统的总结。已定义了初始集和不安全集，工作空间在特定的范围内受限。这是一个小规模示例，任务包括安全验证和屏障函数合成。
This dataset summarizes discrete-time double-integrator systems controlled by ReLU networks. It has pre-defined initial and unsafe sets, with the workspace constrained within a specific range. This is a small-scale example whose tasks include safety verification and barrier function synthesis.
