Zhilu Wang

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 34

Top Topics

Reinforcement Learning

Autonomous Systems

Hard Constraints

Top Venues

Publications

Feisi Fu, Zhilu Wang, Weichao Zhou, Yixuan Wang, Jiameng Fan, Chao Huang, Qi Zhu, Xin Chen, Wenchao Li
REGLO: Provable Neural Network Repair for Global Robustness Properties. AAAI (2024)
Yixuan Wang, Weichao Zhou, Jiameng Fan, Zhilu Wang, Jiajun Li, Xin Chen, Chao Huang, Wenchao Li, Qi Zhu
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43 (3) (2024)
Shuyue Lan, Zhilu Wang, Ermin Wei, Amit K. Roy-Chowdhury, Qi Zhu
Collaborative Multi-Agent Video Fast-Forwarding. IEEE Trans. Multim. 26 (2024)
Yixuan Wang, Simon Sinong Zhan, Ruochen Jiao, Zhilu Wang, Wanxin Jin, Zhuoran Yang, Zhaoran Wang, Chao Huang, Qi Zhu
Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments. ICML (2023)
Shuyue Lan, Zhilu Wang, Ermin Wei, Amit K. Roy-Chowdhury, Qi Zhu
Collaborative Multi-Agent Video Fast-Forwarding. CoRR (2023)
Yixuan Wang, Simon Sinong Zhan, Zhilu Wang, Chao Huang, Zhaoran Wang, Zhuoran Yang, Qi Zhu
Joint Differentiable Optimization and Verification for Certified Reinforcement Learning. ICCPS (2023)
Zhilu Wang, Chao Huang, Qi Zhu
Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding (Extended Abstract). IJCAI (2023)
Yixuan Wang, Weichao Zhou, Jiameng Fan, Zhilu Wang, Jiajun Li, Xin Chen, Chao Huang, Wenchao Li, Qi Zhu
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems. CoRR (2023)
Yixuan Wang, Simon Sinong Zhan, Ruochen Jiao, Zhilu Wang, Wanxin Jin, Zhuoran Yang, Zhaoran Wang, Chao Huang, Qi Zhu
Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments. CoRR (2022)
Zhilu Wang, Chao Huang, Qi Zhu
Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding. CoRR (2022)
Yixuan Wang, Chao Huang, Zhaoran Wang, Zhilu Wang, Qi Zhu
Design-while-verify: correct-by-construction control learning with verification in the loop. DAC (2022)
Zhilu Wang, Chao Huang, Qi Zhu
Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding. DATE (2022)
Shuyue Lan, Zhilu Wang, John Mamish, Josiah D. Hester, Qi Zhu
AdaSens: Adaptive Environment Monitoring by Coordinating Intermittently-Powered Sensors. ASP-DAC (2022)
Y. B. Yang, Baoquan Wang, Zhilu Wang, Kang Shi, Hao Xu
Scanning of Bridge Surface Roughness from Two-Axle Vehicle Response by EKF-UI and Contact Residual: Theoretical Study. Sensors 22 (9) (2022)
Zhilu Wang, Yixuan Wang, Feisi Fu, Ruochen Jiao, Chao Huang, Wenchao Li, Qi Zhu
A Tool for Neural Network Global Robustness Certification and Training. CoRR (2022)
Qi Zhu, Chao Huang, Ruochen Jiao, Shuyue Lan, Hengyi Liang, Xiangguo Liu, Yixuan Wang, Zhilu Wang, Shichao Xu
Safety-Assured Design and Adaptation of Learning-Enabled Autonomous Systems. ASP-DAC (2021)
Yixuan Wang, Chao Huang, Zhilu Wang, Shichao Xu, Zhaoran Wang, Qi Zhu
Cocktail: Learn a Better Neural Network Controller from Multiple Experts via Adaptive Mixing and Robust Distillation. CoRR (2021)
Zhilu Wang, Chao Huang, Yixuan Wang, Clara Hobbs, Samarjit Chakraborty, Qi Zhu
Bounding Perception Neural Network Uncertainty for Safe Control of Autonomous Systems. DATE (2021)
Zhilu Wang, Chao Huang, Hyoseung Kim, Wenchao Li, Qi Zhu
Cross-Layer Adaptation with Safety-Assured Proactive Task Job Skipping. ACM Trans. Embed. Comput. Syst. 20 (5s) (2021)
Yixuan Wang, Chao Huang, Zhaoran Wang, Zhilu Wang, Qi Zhu
Verification in the Loop: Correct-by-Construction Control Learning with Reach-avoid Guarantees. CoRR (2021)
Zhilu Wang, Hengyi Liang, Chao Huang, Qi Zhu
Cross-Layer Design of Automotive Systems. IEEE Des. Test 38 (5) (2021)
Yixuan Wang, Chao Huang, Zhilu Wang, Shichao Xu, Zhaoran Wang, Qi Zhu
Cocktail: Learn a Better Neural Network Controller from Multiple Experts via Adaptive Mixing and Robust Distillation. DAC (2021)
Chao Huang, Shichao Xu, Zhilu Wang, Shuyue Lan, Wenchao Li, Qi Zhu
Opportunistic Intermittent Control with Safety Guarantees for Autonomous Systems. CoRR (2020)
Qi Zhu, Wenchao Li, Hyoseung Kim, Yecheng Xiang, Kacper Wardega, Zhilu Wang, Yixuan Wang, Hengyi Liang, Chao Huang, Jiameng Fan, Hyunjong Choi
Know the Unknowns: Addressing Disturbances and Uncertainties in Autonomous Systems : Invited Paper. ICCAD (2020)
Hengyi Liang, Zhilu Wang, Ruochen Jiao, Qi Zhu
Leveraging Weakly-hard Constraints for Improving System Fault Tolerance with Functional and Timing Guarantees. CoRR (2020)
Chao Huang, Shichao Xu, Zhilu Wang, Shuyue Lan, Wenchao Li, Qi Zhu
Opportunistic Intermittent Control with Safety Guarantees for Autonomous Systems. DAC (2020)
Zhilu Wang, Hengyi Liang, Chao Huang, Qi Zhu
Cross-Layer Design of Automotive Systems. CoRR (2020)
Hengyi Liang, Zhilu Wang, Ruochen Jiao, Qi Zhu
Leveraging Weakly-hard Constraints for Improving System Fault Tolerance with Functional and Timing Guarantees. ICCAD (2020)
Shuyue Lan, Zhilu Wang, Amit K. Roy-Chowdhury, Ermin Wei, Qi Zhu
Distributed Multi-agent Video Fast-forwarding. ACM Multimedia (2020)
Yiming Ouyang, Wu Zhou, Sheng Li, Zhilu Wang, Huaguo Liang, Gaoming Du
Design of a Wireless Router with Virtual Channel Fault Tolerant in WiNoC. J. Circuits Syst. Comput. 29 (10) (2020)
Shuyue Lan, Zhilu Wang, Amit K. Roy-Chowdhury, Ermin Wei, Qi Zhu
Distributed Multi-agent Video Fast-forwarding. CoRR (2020)
Hengyi Liang, Zhilu Wang, Debayan Roy, Soumyajit Dey, Samarjit Chakraborty, Qi Zhu
Security-Driven Codesign with Weakly-Hard Constraints for Real-Time Embedded Systems. ICCD (2019)
Shuyue Lan, Chao Huang, Zhilu Wang, Hengyi Liang, Wenhao Su, Qi Zhu
Design Automation for Intelligent Automotive Systems. ITC (2018)
Hengyi Liang, Zhilu Wang, Bowen Zheng, Qi Zhu
Addressing Extensibility and Fault Tolerance in CAN-based Automotive Systems. NOCS (2017)
Yan Jiang, Zhilu Wang, Jinxiu Chu, Hong Yu, Ting Han, Xin Zhao, Shuying Han
Evaluating System of Treatment of Quercetin and Resveratrol Mixture in Type 2 Diabetic Rats. ICICA (2) (2012)