no code implementations • 8 Oct 2023 • Taoran Wu, Dejin Ren, Shuyuan Zhang, Lei Wang, Bai Xue
Digital control has become increasingly prevalent in modern systems, making continuous-time plants controlled by discrete-time (digital) controllers ubiquitous and crucial across industries, including aerospace, automotive, and manufacturing.
1 code implementation • 27 Jun 2023 • Zhen Liang, Dejin Ren, Bai Xue, Ji Wang, Wenjing Yang, Wanwei Liu
Moreover, for NNs that do not feature these properties with respect to the input set, we explore subsets of the input set for establishing the local homeomorphism property and then abandon these subsets for reachability computations.
1 code implementation • 9 Oct 2022 • Zhen Liang, Dejin Ren, Wanwei Liu, Ji Wang, Wenjing Yang, Bai Xue
The homeomorphism property exists in some widely used NNs such as invertible NNs.