no code implementations • 18 May 2024 • Dejin Ren, Zhen Liang, Chenyu Wu, Jianqiang Ding, Taoran Wu, Bai Xue
To address this, we propose methods leveraging boundary and tiling matrices that can efficiently extract and refine the exact boundary of the initial set represented by zonotopes.
no code implementations • 23 Apr 2023 • Jianqiang Ding, Taoran Wu, Yuping Qian, Lijun Zhang, Bai Xue
In this paper, we propose an approach for synthesizing provable reach-avoid controllers, which drive a deterministic system operating in an unknown environment to safely reach a desired target set.