One for many: Transfer learning for building hvac control S Xu, Y Wang, Y Wang, Z O'Neill, Q Zhu Proceedings of the 7th ACM international conference on systems for energy …, 2020 | 67 | 2020 |
Know the unknowns: Addressing disturbances and uncertainties in autonomous systems Q Zhu, W Li, H Kim, Y Xiang, K Wardega, Z Wang, Y Wang, H Liang, ... Proceedings of the 39th International Conference on Computer-Aided Design, 1-9, 2020 | 32 | 2020 |
Energy-efficient control adaptation with safety guarantees for learning-enabled cyber-physical systems Y Wang, C Huang, Q Zhu Proceedings of the 39th International Conference on Computer-Aided Design, 1-9, 2020 | 30 | 2020 |
Safety-assured design and adaptation of learning-enabled autonomous systems Q Zhu, C Huang, R Jiao, S Lan, H Liang, X Liu, Y Wang, Z Wang, S Xu Proceedings of the 26th Asia and South Pacific Design Automation Conference …, 2021 | 29* | 2021 |
Enforcing Hard Constraints with Soft Barriers: Safe Reinforcement Learning in Unknown Stochastic Environments Y Wang, SS Zhan, R Jiao, Z Wang, W Jin, Z Yang, Z Wang, C Huang, ... Proceedings of the 40th International Conference on Machine Learning, 2023 …, 2023 | 24 | 2023 |
Physics-Aware Safety-Assured Design of Hierarchical Neural Network based Planner X Liu, C Huang, Y Wang, B Zheng, Q Zhu International Conference on Cyber-physical Systems(ICCPS) 2022, 2022 | 21* | 2022 |
Design-while-Verify: Correct-by-Construction Control Learning with Verification in the Loop Y Wang, C Huang, Z Wang, Z Wang, Q Zhu Design Automation Conference(DAC) 2022, 2021 | 19* | 2021 |
Learning-based framework for sensor fault-tolerant building hvac control with model-assisted learning S Xu, Y Fu, Y Wang, Z O'Neill, Q Zhu Proceedings of the 8th ACM international conference on systems for energy …, 2021 | 16* | 2021 |
Weak Adaptation Learning--Addressing Cross-domain Data Insufficiency with Weak Annotator S Xu, L Wang, Y Wang, Q Zhu International Conference on Computer Vision(ICCV), 2021, 2021 | 16 | 2021 |
Joint differentiable optimization and verification for certified reinforcement learning Y Wang, S Zhan, Z Wang, C Huang, Z Wang, Z Yang, Q Zhu Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical …, 2023 | 14 | 2023 |
Cocktail: Learn a Better Neural Network Controller from Multiple Experts via Adaptive Mixing and Robust Distillation Y Wang, C Huang, Z Wang, S Xu, Z Wang, Q Zhu Design Automation Conference(DAC) 2021, 2021 | 12 | 2021 |
Accurate kinematics calibration method for a large-scale machine tool A Wan, Y Wang, G Xue, K Chen, J Xu IEEE Transactions on Industrial Electronics 68 (10), 9832-9843, 2020 | 10 | 2020 |
Safety-Assured Speculative Planning with Adaptive Prediction X Liu, R Jiao, Y Wang, Y Han, B Zheng, Q Zhu IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2023), 2023 | 8* | 2023 |
Bounding perception neural network uncertainty for safe control of autonomous systems Z Wang, C Huang, Y Wang, C Hobbs, S Chakraborty, Q Zhu 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2021 | 8 | 2021 |
Waving the double-edged sword: Building resilient cavs with edge and cloud computing X Liu, Y Luo, A Goeckner, T Chakraborty, R Jiao, N Wang, Y Wang, T Sato, ... 2023 60th ACM/IEEE Design Automation Conference (DAC), 1-4, 2023 | 6 | 2023 |
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems Y Wang, W Zhou, J Fan, Z Wang, J Li, X Chen, C Huang, W Li, Q Zhu IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2023 | 6 | 2023 |
Accelerate online reinforcement learning for building HVAC control with heterogeneous expert guidances S Xu, Y Fu, Y Wang, Z Yang, Z O'Neill, Z Wang, Q Zhu Proceedings of the 9th ACM International Conference on Systems for Energy …, 2022 | 6 | 2022 |
A tool for neural network global robustness certification and training Z Wang, Y Wang, F Fu, R Jiao, C Huang, W Li, Q Zhu arXiv preprint arXiv:2208.07289, 2022 | 6 | 2022 |
Reglo: Provable neural network repair for global robustness properties F Fu, Z Wang, W Zhou, Y Wang, J Fan, C Huang, Q Zhu, X Chen, W Li Proceedings of the AAAI Conference on Artificial Intelligence 38 (11), 12061 …, 2024 | 5 | 2024 |
Empowering Autonomous Driving with Large Language Models: A Safety Perspective Y Wang, R Jiao, C Lang, SS Zhan, C Huang, Z Wang, Z Yang, Q Zhu arXiv preprint arXiv:2312.00812, 2023 | 3 | 2023 |