关注
Yixuan Wang
Yixuan Wang
Ph.D. in Computer Engineering, Northwestern University
在 u.northwestern.edu 的电子邮件经过验证 - 首页
标题
引用次数
年份
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
72022
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
72022
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
112020
Boosting Long-Delayed Reinforcement Learning with Auxiliary Short-Delayed Task
Q Wu, SS Zhan, Y Wang, CW Lin, C Lv, Q Zhu, C Huang
International Conference on Machine Learning, 2024, 2024
12024
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
92021
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
132021
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
20*2021
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
ICLR 2024 Workshop on LLM Agents, 2023
72023
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
302020
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
302023
Exploring Backdoor Attacks against Large Language Model-based Decision Making
R Jiao, S Xie, J Yue, T Sato, L Wang, Y Wang, QA Chen, Q Zhu
arXiv preprint arXiv:2405.20774, 2024
2024
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
172023
Kinematics-aware trajectory generation and prediction with latent stochastic differential modeling
R Jiao, Y Wang, X Liu, C Huang, Q Zhu
arXiv preprint arXiv:2309.09317, 2023
22023
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
322020
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
17*2021
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
672020
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
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
62023
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
62024
Safety-Assured Design and Adaptation of Connected and Autonomous Vehicles
X Chen, J Fan, C Huang, R Jiao, W Li, X Liu, Y Wang, Z Wang, W Zhou, ...
Machine Learning and Optimization Techniques for Automotive Cyber-Physical …, 2023
12023
系统目前无法执行此操作,请稍后再试。
文章 1–20