Fan, Chuchu
- Safe Control with Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction methods
2022/02/23 by Charles Dawson, Dawson, Charles, Sicun Gao +3 · 32 citations
Engineering · Computer Science · #Fault Detection and Control Systems #Advanced Control Systems Optimization #Reinforcement Learning in Robotics
- Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools
2024/04/18 by Hao, Yilun, Chen, Yongchao, Zhang, Yang +1 · 19 citations
#Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Human-Computer Interaction (cs.HC)
- Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions
2021/09/14 by Charles Dawson, Zengyi Qin, Dawson, Charles +5 · 10 citations
Engineering · Computer Science · #Advanced Control Systems Optimization #Reinforcement Learning in Robotics #Fault Detection and Control Systems
- Learning Safe Multi-Agent Control with Decentralized Neural Barrier Certificates
2021/01/14 by Zengyi Qin, Qin, Zengyi, Kaiqing Zhang +7 · 8 citations
Computer Science · Engineering · #Advanced Control Systems Optimization #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Multiagent Systems (cs.MA) #Reinforcement Learning in Robotics #Robotic Path Planning Algorithms #Systems and Control (eess.SY) #electronic engineering #information engineering
- Multi-agent Motion Planning from Signal Temporal Logic Specifications
2022/01/13 by Dawei Sun, Sun, Dawei, Jingkai Chen +5 · 9 citations
Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Multiagent Systems (cs.MA) #Robotics (cs.RO) #Software Testing and Debugging Techniques #Systems and Control (eess.SY) #electronic engineering #information engineering
- How to Train Your Neural Control Barrier Function: Learning Safety Filters for Complex Input-Constrained Systems
2023/10/24 by Oswin So, Zachary Serlin, So, Oswin +11 · 12 citations
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #FOS: Mathematics #Fault Detection and Control Systems #Optimization and Control (math.OC) #Robotics (cs.RO) #Smart Grid Security and Resilience
- Shield Model Predictive Path Integral: A Computationally Efficient Robust MPC Approach Using Control Barrier Functions
2023/02/23 by Ji Yin, Charles Dawson, Yin, Ji +5 · 7 citations
Biochemistry, Genetics and Molecular Biology · Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Microbial Metabolic Engineering and Bioproduction #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Learning Certified Control using Contraction Metric
2020/11/25 by Dawei Sun, Susmit Jha, Sun, Dawei +3 · 5 citations
Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Computer and information sciences #FOS: Electrical engineering #Fuel Cells and Related Materials #Reinforcement Learning in Robotics #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Cooperative Task and Motion Planning for Multi-Arm Assembly Systems
2022/03/04 by Chen, Jingkai, Li, Jiaoyang, Huang, Yijiang +7 · 7 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Robotics (cs.RO)
- Learning Safe, Generalizable Perception-based Hybrid Control with Certificates
2022/01/04 by Charles Dawson, Bethany Lowenkamp, Dawson, Charles +5 · 5 citations
Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Computer and information sciences #FOS: Electrical engineering #Robotics (cs.RO) #Robotics and Sensor-Based Localization #Systems and Control (eess.SY) #Target Tracking and Data Fusion in Sensor Networks #electronic engineering #information engineering
- SABLAS: Learning Safe Control for Black-box Dynamical Systems
2022/01/06 by Zengyi Qin, Sun Dawei, Qin, Zengyi +3 · 4 citations
Computer Science · #Reinforcement Learning in Robotics
- Planning Anything with Rigor: General-Purpose Zero-Shot Planning with LLM-based Formalized Programming
2024/10/15 by Yilun Hao, Hao, Yilun, Yang Zhang +3 · 9 citations
Computer Science · #AI-based Problem Solving and Planning #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
- Signal Temporal Logic Neural Predictive Control
2023/09/10 by Meng, Yue, Chuchu Fan, Fan, Chuchu · 5 citations
Biochemistry, Genetics and Molecular Biology · Computer Science · Engineering · #Advanced Control Systems Optimization #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Machine Learning (cs.LG) #Receptor Mechanisms and Signaling #Robotics (cs.RO)
- Compositional Neural Certificates for Networked Dynamical Systems
2023/03/25 by Zhang, Songyuan, Xiu, Yumeng, Qu, Guannan +1 · 4 citations
#FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- DRYVR:Data-driven verification and compositional reasoning for automotive systems
2017/02/22 by Fan, Chuchu, Qi, Bolun, Mitra, Sayan +1 · 2 citations
#FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
- Enforcing safety for vision-based controllers via Control Barrier Functions and Neural Radiance Fields
2022/09/25 by Tong, Mukun, Dawson, Charles, Fan, Chuchu · 3 citations
#FOS: Computer and information sciences #FOS: Electrical engineering #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Statistical Verification of Autonomous Systems using Surrogate Models and Conformal Inference
2020/04/01 by Chuchu Fan, Fan, Chuchu, Xin Qin +7 · 2 citations
Computer Science · Engineering · #FOS: Electrical engineering #Fault Detection and Control Systems #Formal Methods in Verification #Machine Learning and Algorithms #Systems and Control (eess.SY) #electronic engineering #information engineering
- Scalable and Safe Multi-Agent Motion Planning with Nonlinear Dynamics and Bounded Disturbances
2020/12/16 by Chen, Jingkai, Li, Jiaoyang, Fan, Chuchu +1 · 2 citations
#FOS: Computer and information sciences #Multiagent Systems (cs.MA) #Robotics (cs.RO)
- Reactive motion planning with probabilistic safety guarantees
2020/11/06 by Chen, Yuxiao, Rosolia, Ugo, Fan, Chuchu +2 · 2 citations
#FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Safety on the Fly: Constructing Robust Safety Filters via Policy Control Barrier Functions at Runtime
2024/10/15 by Luzia Knoedler, Oswin So, Knoedler, Luzia +13 · 5 citations
Computer Science · Engineering · #FOS: Computer and information sciences #FOS: Mathematics #Fault Detection and Control Systems #Optimization and Control (math.OC) #Robotics (cs.RO) #Smart Grid Security and Resilience #Software Reliability and Analysis Research
- Robust Counterexample-guided Optimization for Planning from Differentiable Temporal Logic
2022/03/03 by Charles Dawson, Chuchu Fan, Dawson, Charles +1 · 2 citations
Computer Science · #AI-based Problem Solving and Planning #FOS: Computer and information sciences #FOS: Electrical engineering #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Solving Stabilize-Avoid Optimal Control via Epigraph Form and Deep Reinforcement Learning
2023/05/23 by Oswin So, So, Oswin, Chuchu Fan +1 · 2 citations
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Advanced Control Systems Optimization #Reinforcement Learning in Robotics
- Neural Graph Control Barrier Functions Guided Distributed Collision-avoidance Multi-agent Control
2023/11/21 by Songyuan Zhang, Kunal Garg, Zhang, Songyuan +3 · 2 citations
Computer Science · #Adversarial Robustness in Machine Learning #Bayesian Modeling and Causal Inference #FOS: Electrical engineering #Formal Methods in Verification #Systems and Control (eess.SY) #electronic engineering #information engineering
- Learning Safe Control for Multi-Robot Systems: Methods, Verification, and Open Challenges
2023/11/22 by Garg, Kunal, Zhang, Songyuan, So, Oswin +2 · 2 citations
#FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Multiagent Systems (cs.MA) #Optimization and Control (math.OC) #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- R1-Code-Interpreter: LLMs Reason with Code via Supervised and Multi-stage Reinforcement Learning
2025/05/27 by Chen, Yongchao, Liu, Yueying, Zhou, Junwei +5 · 6 citations
#Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Symbolic Computation (cs.SC)
- Multi-Agent Safety Verification using Symmetry Transformations
2019/11/01 by Hussein Sibai, Sibai, Hussein, Navid Mokhlesi +5 · 1 citation
Computer Science · Engineering · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Safety Systems Engineering in Autonomy #Software Testing and Debugging Techniques #Symbolic Computation (cs.SC) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling
2024/05/28 by Cai, Feiyang, Fan, Chuchu, Bak, Stanley · 2 citations
#FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Density Constrained Reinforcement Learning
2021/06/24 by Zengyi Qin, Qin, Zengyi, Yuxiao Chen +3 · 1 citation
Biochemistry, Genetics and Molecular Biology · Computer Science · Engineering · #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Reinforcement Learning in Robotics #Safety Systems Engineering in Autonomy #Systems and Control (eess.SY) #Viral Infectious Diseases and Gene Expression in Insects #electronic engineering #information engineering
- Learning Density Distribution of Reachable States for Autonomous Systems
2021/09/14 by Meng, Yue, Sun, Dawei, Qiu, Zeng +2 · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG)
- A Theoretical Overview of Neural Contraction Metrics for Learning-based Control with Guaranteed Stability
2021/10/02 by Tsukamoto, Hiroyasu, Chung, Soon-Jo, Slotine, Jean-Jacques +1 · 1 citation
#FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Machine Learning (cs.LG) #Optimization and Control (math.OC) #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- CodeSteer: Symbolic-Augmented Language Models via Code/Text Guidance
2025/02/04 by Yongchao Chen, Yilun Hao, Chen, Yongchao +7 · 3 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Natural Language Processing Techniques #Software Engineering (cs.SE) #Speech and dialogue systems #Symbolic Computation (cs.SC) #Topic Modeling
- Learning-based Motion Planning in Dynamic Environments Using GNNs and Temporal Encoding
2022/10/16 by Zhang, Ruipeng, Yu, Chenning, Chen, Jingkai +2 · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Robotics (cs.RO)
- Language-Grounded Hierarchical Planning and Execution with Multi-Robot 3D Scene Graphs
2025/06/09 by Jared Strader, Aaron Ray, Strader, Jared +25 · 5 citations
Computer Science · Engineering · Psychology · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Multimodal Machine Learning Applications #Robotics (cs.RO) #Robotics and Sensor-Based Localization #Social Robot Interaction and HRI
- Safe Beyond the Horizon: Efficient Sampling-based MPC with Neural Control Barrier Functions
2025/02/20 by Yin, Ji, So, Oswin, Yu, Eric Yang +2 · 3 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Electrical engineering #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Code-as-Symbolic-Planner: Foundation Model-Based Robot Planning via Symbolic Code Generation
2025/03/03 by Yongchao Chen, Yilun Hao, Chen, Yongchao +5 · 3 citations
Computer Science · #AI-based Problem Solving and Planning #Model-Driven Software Engineering Techniques #Natural Language Processing Techniques
- ConBaT: Control Barrier Transformer for Safe Policy Learning
2023/03/07 by Yue Meng, Sai Vemprala, Meng, Yue +7 · 1 citation
Computer Science · #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Reinforcement Learning in Robotics #Robotics (cs.RO)
- Neural Network-based Fault Detection and Identification for Quadrotors using Dynamic Symmetry
2023/09/16 by Garg, Kunal, Fan, Chuchu · 1 citation
#FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Optimization and Control (math.OC) #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
- TUMIX: Multi-Agent Test-Time Scaling with Tool-Use Mixture
2025/09/30 by Y. F. Chen, Chen, Yongchao, J.-C. CHEN +14 · 3 citations
Computer Science · Engineering · #Software Testing and Debugging Techniques #Real-time simulation and control systems #Software System Performance and Reliability
- AuDeRe: Automated Strategy Decision and Realization in Robot Planning and Control via LLMs
2025/04/03 by Meng, Yue, Chen, Fei, Chen, Yongchao +1 · 2 citations
#FOS: Computer and information sciences #Robotics (cs.RO)
- Efficient Motion Planning for Manipulators with Control Barrier Function-Induced Neural Controller
2024/04/01 by Yu, Mingxin, Yu, Chenning, Naddaf-Sh, M-Mahdi +3 · 1 citation
#FOS: Computer and information sciences #Machine Learning (cs.LG) #Robotics (cs.RO)
- Foundation Models to the Rescue: Deadlock Resolution in Connected Multi-Robot Systems
2024/04/09 by Garg, Kunal, Zhang, Songyuan, Arkin, Jacob +1 · 1 citation
#Computation and Language (cs.CL) #FOS: Computer and information sciences #FOS: Mathematics #Optimization and Control (math.OC) #Robotics (cs.RO)
- TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching
2025/05/01 by Meng, Yue, Fan, Chuchu · 2 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Machine Learning (cs.LG) #Robotics (cs.RO)
- Solving Multi-Agent Safe Optimal Control with Distributed Epigraph Form MARL
2025/04/21 by Zhang, Songyuan, So, Oswin, Black, Mitchell +2 · 2 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Mathematics #Machine Learning (cs.LG) #Multiagent Systems (cs.MA) #Optimization and Control (math.OC) #Robotics (cs.RO)
- Solving Minimum-Cost Reach Avoid using Reinforcement Learning
2024/10/29 by Oswin So, Ge Cheng, So, Oswin +3 · 1 citation
Computer Science · Engineering · #Advanced Manufacturing and Logistics Optimization #FOS: Computer and information sciences #FOS: Mathematics #Machine Learning (cs.LG) #Optimization and Control (math.OC) #Robotic Path Planning Algorithms #Robotics (cs.RO) #Scheduling and Optimization Algorithms
- Structured Interfaces for Automated Reasoning with 3D Scene Graphs
2025/10/18 by Aaron Ray, Jacob Arkin, Ray, Aaron +9 · 2 citations
Computer Science · Engineering · Psychology · #Multimodal Machine Learning Applications #Robot Manipulation and Learning #Social Robot Interaction and HRI
- Reliable and Efficient Multi-Agent Coordination via Graph Neural Network Variational Autoencoders
2025/03/04 by Meng, Yue, Majcherczyk, Nathalie, Liu, Wenliang +3 · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Multiagent Systems (cs.MA) #Robotics (cs.RO)