Yifan Zhang

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 5

Top Topics

Multilayer Feedforward

Number Of Hidden Units

Predictive Control

Top Venues

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.

Publications

Qingye Zhao, Xin Chen, Zhuoyu Zhao, Yifan Zhang, Enyi Tang, Xuandong Li
Verifying Neural Network Controlled Systems Using Neural Networks. HSCC (2022)
Qingye Zhao, Xin Chen, Yifan Zhang, Meng Sha, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li
Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems. HSCC (2021)
Yifan Zhang, Zhengfeng Yang, Wang Lin, Huibiao Zhu, Xin Chen, Xuandong Li
Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (11) (2018)
Chao Huang, Xin Chen, Yifan Zhang, Shengchao Qin, Yifeng Zeng, Xuandong Li
Switched Linear Multi-Robot Navigation Using Hierarchical Model Predictive Control. IJCAI (2017)
Chao Huang, Xin Chen, Yifan Zhang, Shengchao Qin, Yifeng Zeng, Xuandong Li
Hierarchical Model Predictive Control for Multi-Robot Navigation. IJCAI (2016)