Chuchu Fan

ORCID

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 117

Top Venues

CoRR

ICRA

IEEE Robotics Autom. Lett.

CoRL

Publications

Allen M. Wang, Oswin So, Charles Dawson, Darren T. Garnier, Cristina Rea, Chuchu Fan
Active Disruption Avoidance and Trajectory Design for Tokamak Ramp-downs with Neural Differential Equations and Reinforcement Learning. CoRR (2024)
Yilun Hao, Yongchao Chen, Yang Zhang, Chuchu Fan
Large Language Models Can Plan Your Travels Rigorously with Formal Verification Tools. CoRR (2024)
Feiyang Cai, Chuchu Fan, Stanley Bak
Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling. CoRR (2024)
Songyuan Zhang, Chuchu Fan
Learning to stabilize high-dimensional unknown systems using Lyapunov-guided exploration. L4DC (2024)
Ruixiao Yang, Chuchu Fan
A Hierarchical Framework for Solving the Constrained Multiple Depot Traveling Salesman Problem. IEEE Robotics Autom. Lett. 9 (6) (2024)
Yongchao Chen, Jacob Arkin, Yilun Hao, Yang Zhang, Nicholas Roy, Chuchu Fan
PRompt Optimization in Multi-Step Tasks (PROMST): Integrating Human Feedback and Preference Alignment. CoRR (2024)
Songyuan Zhang, Oswin So, Kunal Garg, Chuchu Fan
GCBF+: A Neural Graph Control Barrier Function Framework for Distributed Safe Multi-Agent Control. CoRR (2024)
Mingxin Yu, Chenning Yu, M.-Mahdi Naddaf-Sh, Devesh Upadhyay, Sicun Gao, Chuchu Fan
Efficient Motion Planning for Manipulators with Control Barrier Function-Induced Neural Controller. ICRA (2024)
Yongchao Chen, Jacob Arkin, Charles Dawson, Yang Zhang, Nicholas Roy, Chuchu Fan
AutoTAMP: Autoregressive Task and Motion Planning with LLMs as Translators and Checkers. ICRA (2024)
Mingxin Yu, Chenning Yu, M.-Mahdi Naddaf-Sh, Devesh Upadhyay, Sicun Gao, Chuchu Fan
Efficient Motion Planning for Manipulators with Control Barrier Function-Induced Neural Controller. CoRR (2024)
Yongchao Chen, Jacob Arkin, Yang Zhang, Nicholas Roy, Chuchu Fan
Scalable Multi-Robot Collaboration with Large Language Models: Centralized or Decentralized Systems? ICRA (2024)
Yue Meng, Sai Vemprala, Rogerio Bonatti, Chuchu Fan, Ashish Kapoor
ConBaT: Control Barrier Transformer for Safe Robot Learning from Demonstrations. ICRA (2024)
Charles Dawson, Anjali Parashar, Chuchu Fan
RADIUM: Predicting and Repairing End-to-End Robot Failures using Gradient-Accelerated Sampling. CoRR (2024)
Lizhi Wang, Songyuan Zhang, Yifan Zhou, Chuchu Fan, Peng Zhang, Yacov A. Shamash
Physics-Informed, Safety and Stability Certified Neural Control for Uncertain Networked Microgrids. IEEE Trans. Smart Grid 15 (1) (2024)
Kunal Garg, Songyuan Zhang, Oswin So, Charles Dawson, Chuchu Fan
Learning safe control for multi-robot systems: Methods, verification, and open challenges. Annu. Rev. Control. 57 (2024)
Oswin So, Zachary Serlin, Makai Mann, Jake Gonzales, Kwesi Rutledge, Nicholas Roy, Chuchu Fan
How to Train Your Neural Control Barrier Function: Learning Safety Filters for Complex Input-Constrained Systems. ICRA (2024)
Kunal Garg, Jacob Arkin, Songyuan Zhang, Nicholas Roy, Chuchu Fan
Large Language Models to the Rescue: Deadlock Resolution in Multi-Robot Systems. CoRR (2024)
Xin Qin, Yuan Xia, Aditya Zutshi, Chuchu Fan, Jyotirmoy V. Deshmukh
Statistical Verification using Surrogate Models and Conformal Inference and a Comparison with Risk-Aware Verification. ACM Trans. Cyber Phys. Syst. 8 (2) (2024)
Charles Dawson, Chuchu Fan
A Bayesian approach to breaking things: efficiently predicting and repairing failure modes via sampling. CoRL (2023)
Songyuan Zhang, Yumeng Xiu, Guannan Qu, Chuchu Fan
Compositional Neural Certificates for Networked Dynamical Systems. CoRR (2023)
Laura Lützow, Yue Meng, Andres S. Chavez Armijos, Chuchu Fan
Density Planner: Minimizing Collision Risk in Motion Planning with Dynamic Obstacles using Density-based Reachability. ICRA (2023)
Ji Yin, Charles Dawson, Chuchu Fan, Panagiotis Tsiotras
Shield Model Predictive Path Integral: A Computationally Efficient Robust MPC Approach Using Control Barrier Functions. CoRR (2023)
Yue Meng, Chuchu Fan
Signal Temporal Logic Neural Predictive Control. IEEE Robotics Autom. Lett. 8 (11) (2023)
Yue Meng, Chuchu Fan
Hybrid Systems Neural Control with Region-of-Attraction Planner. CoRR (2023)
Kunal Garg, Chuchu Fan
Neural Network-based Fault Detection and Identification for Quadrotors using Dynamic Symmetry. CoRR (2023)
Songyuan Zhang, Kunal Garg, Chuchu Fan
Neural Graph Control Barrier Functions Guided Distributed Collision-avoidance Multi-agent Control. CoRL (2023)
Yue Meng, Chuchu Fan
Signal Temporal Logic Neural Predictive Control. CoRR (2023)
Kunal Garg, Songyuan Zhang, Oswin So, Charles Dawson, Chuchu Fan
Learning Safe Control for Multi-Robot Systems: Methods, Verification, and Open Challenges. CoRR (2023)
Oswin So, Chuchu Fan
Solving Stabilize-Avoid Optimal Control via Epigraph Form and Deep Reinforcement Learning. CoRR (2023)
Charles Dawson, Chuchu Fan
Adversarial optimization leads to over-optimistic security-constrained dispatch, but sampling can help. CoRR (2023)
Oswin So, Andrew Clark, Chuchu Fan
Almost-Sure Safety Guarantees of Stochastic Zero-Control Barrier Functions Do Not Hold. CoRR (2023)
Yue Meng, Sai Vemprala, Rogerio Bonatti, Chuchu Fan, Ashish Kapoor
ConBaT: Control Barrier Transformer for Safe Policy Learning. CoRR (2023)
Yongchao Chen, Jacob Arkin, Yang Zhang, Nicholas Roy, Chuchu Fan
Scalable Multi-Robot Collaboration with Large Language Models: Centralized or Decentralized Systems? CoRR (2023)
Oswin So, Chuchu Fan
Solving Stabilize-Avoid via Epigraph Form Optimal Control using Deep Reinforcement Learning. Robotics: Science and Systems (2023)
Mukun Tong, Charles Dawson, Chuchu Fan
Enforcing safety for vision-based controllers via Control Barrier Functions and Neural Radiance Fields. ICRA (2023)
Yongchao Chen, Rujul Gandhi, Yang Zhang, Chuchu Fan
NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models. EMNLP (2023)
Kunal Garg, Charles Dawson, Kathleen Xu, Melkior Ornik, Chuchu Fan
Model-Free Neural Fault Detection and Isolation for Safe Control. IEEE Control. Syst. Lett. 7 (2023)
Songyuan Zhang, Kunal Garg, Chuchu Fan
Neural Graph Control Barrier Functions Guided Distributed Collision-avoidance Multi-agent Control. CoRR (2023)
Kunal Garg, Chuchu Fan
Neural Network-based Fault Detection and Identification for Quadrotors using Dynamic Symmetry. Allerton (2023)
Songyuan Zhang, Chuchu Fan
Learning to Stabilize High-dimensional Unknown Systems Using Lyapunov-guided Exploration. CoRR (2023)
Songyuan Zhang, Yumeng Xiu, Guannan Qu, Chuchu Fan
Compositional Neural Certificates for Networked Dynamical Systems. L4DC (2023)
Ji Yin, Charles Dawson, Chuchu Fan, Panagiotis Tsiotras
Shield Model Predictive Path Integral: A Computationally Efficient Robust MPC Method Using Control Barrier Functions. IEEE Robotics Autom. Lett. 8 (11) (2023)
Charles Dawson, Sicun Gao, Chuchu Fan
Safe Control With Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction Methods for Robotics and Control. IEEE Trans. Robotics 39 (3) (2023)
Yongchao Chen, Rujul Gandhi, Yang Zhang, Chuchu Fan
NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models. CoRR (2023)
Yue Meng, Chuchu Fan
Hybrid Systems Neural Control with Region-of-Attraction Planner. L4DC (2023)
Charles Dawson, Chuchu Fan
A Bayesian approach to breaking things: efficiently predicting and repairing failure modes via sampling. CoRR (2023)
Yongchao Chen, Jacob Arkin, Yang Zhang, Nicholas Roy, Chuchu Fan
AutoTAMP: Autoregressive Task and Motion Planning with LLMs as Translators and Checkers. CoRR (2023)
Oswin So, Zachary Serlin, Makai Mann, Jake Gonzales, Kwesi Rutledge, Nicholas Roy, Chuchu Fan
How to Train Your Neural Control Barrier Function: Learning Safety Filters for Complex Input-Constrained Systems. CoRR (2023)
Yue Meng, Zeng Qiu, Md Tawhid Bin Waez, Chuchu Fan
Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning. NFM (2022)
Charles Dawson, Bethany Lowenkamp, Dylan Goff, Chuchu Fan
Learning Safe, Generalizable Perception-based Hybrid Control with Certificates. CoRR (2022)
Changyuan Zhao, Chuchu Fan, Bai Xue
Outer-approximating Controlled Reach-avoid Sets for Polynomial Systems. CDC (2022)
Dawei Sun, Jingkai Chen, Sayan Mitra, Chuchu Fan
Multi-Agent Motion Planning From Signal Temporal Logic Specifications. IEEE Robotics Autom. Lett. 7 (2) (2022)
Ruipeng Zhang, Chenning Yu, Jingkai Chen, Chuchu Fan, Sicun Gao
Learning-based Motion Planning in Dynamic Environments Using GNNs and Temporal Encoding. NeurIPS (2022)
Chuchu Fan, Zengyi Qin, Umang Mathur, Qiang Ning, Sayan Mitra, Mahesh Viswanathan
Controller Synthesis for Linear System With Reach-Avoid Specifications. IEEE Trans. Autom. Control. 67 (4) (2022)
Charles Dawson, Austin Garrett, Falk Pollok, Yang Zhang, Chuchu Fan
Barrier functions enable safety-conscious force-feedback control. CoRR (2022)
Mukun Tong, Charles Dawson, Chuchu Fan
Enforcing safety for vision-based controllers via Control Barrier Functions and Neural Radiance Fields. CoRR (2022)
Charles Dawson, Chuchu Fan
Certifiable Robot Design Optimization using Differentiable Programming. Robotics: Science and Systems (2022)
Yue Meng, Zeng Qiu, Md Tawhid Bin Waez, Chuchu Fan
Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning. CoRR (2022)
Charles Dawson, Chuchu Fan
Certifiable Robot Design Optimization using Differentiable Programming. CoRR (2022)
Qiang Ning, Ben Zhou, Hao Wu, Haoruo Peng, Chuchu Fan, Matt Gardner
A Meta-framework for Spatiotemporal Quantity Extraction from Text. ACL (1) (2022)
Charles Dawson, Chuchu Fan
Robust Counterexample-guided Optimization for Planning from Differentiable Temporal Logic. IROS (2022)
Jingkai Chen, Jiaoyang Li, Yijiang Huang, Caelan Reed Garrett, Dawei Sun, Chuchu Fan, Andreas G. Hofmann, Caitlin Mueller, Sven Koenig, Brian C. Williams
Cooperative Task and Motion Planning for Multi-Arm Assembly Systems. CoRR (2022)
Zengyi Qin, Dawei Sun, Chuchu Fan
Sablas: Learning Safe Control for Black-Box Dynamical Systems. IEEE Robotics Autom. Lett. 7 (2) (2022)
Dawei Sun, Jingkai Chen, Sayan Mitra, Chuchu Fan
Multi-agent Motion Planning from Signal Temporal Logic Specifications. CoRR (2022)
Charles Dawson, Sicun Gao, Chuchu Fan
Safe Control with Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction methods. CoRR (2022)
Xin Qin, Yuan Xian, Aditya Zutshi, Chuchu Fan, Jyotirmoy V. Deshmukh
Statistical Verification of Cyber-Physical Systems using Surrogate Models and Conformal Inference. ICCPS (2022)
Zengyi Qin, Dawei Sun, Chuchu Fan
SABLAS: Learning Safe Control for Black-box Dynamical Systems. CoRR (2022)
Charles Dawson, Bethany Lowenkamp, Dylan Goff, Chuchu Fan
Learning Safe, Generalizable Perception-Based Hybrid Control With Certificates. IEEE Robotics Autom. Lett. 7 (2) (2022)
Ruipeng Zhang, Chenning Yu, Jingkai Chen, Chuchu Fan, Sicun Gao
Learning-based Motion Planning in Dynamic Environments Using GNNs and Temporal Encoding. CoRR (2022)
Laura Lützow, Yue Meng, Andres S. Chavez Armijos, Chuchu Fan
Density Planner: Minimizing Collision Risk in Motion Planning with Dynamic Obstacles using Density-based Reachability. CoRR (2022)
Charles Dawson, Chuchu Fan
Robust Counterexample-guided Optimization for Planning from Differentiable Temporal Logic. CoRR (2022)
Zengyi Qin, Kaiqing Zhang, Yuxiao Chen, Jingkai Chen, Chuchu Fan
Learning Safe Multi-Agent Control with Decentralized Neural Barrier Certificates. CoRR (2021)
Yue Meng, Dawei Sun, Zeng Qiu, Md Tawhid Bin Waez, Chuchu Fan
Learning Density Distribution of Reachable States for Autonomous Systems. CoRR (2021)
Charles Dawson, Zengyi Qin, Sicun Gao, Chuchu Fan
Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions. CoRL (2021)
Dawei Sun, Mohammad Javad Khojasteh, Shubhanshu Shekhar, Chuchu Fan
Uncertainty-aware Safe Exploratory Planning using Gaussian Process and Neural Control Contraction Metric. CoRR (2021)
Yue Meng, Dawei Sun, Zeng Qiu, Md Tawhid Bin Waez, Chuchu Fan
Learning Density Distribution of Reachable States for Autonomous Systems. CoRL (2021)
Yue Meng, Zengyi Qin, Chuchu Fan
Reactive and Safe Road User Simulations using Neural Barrier Certificates. IROS (2021)
Yue Meng, Zengyi Qin, Chuchu Fan
Reactive and Safe Road User Simulations using Neural Barrier Certificates. CoRR (2021)
Hiroyasu Tsukamoto, Soon-Jo Chung, Jean-Jacques E. Slotine, Chuchu Fan
A Theoretical Overview of Neural Contraction Metrics for Learning-based Control with Guaranteed Stability. CoRR (2021)
Zengyi Qin, Kaiqing Zhang, Yuxiao Chen, Jingkai Chen, Chuchu Fan
Learning Safe Multi-agent Control with Decentralized Neural Barrier Certificates. ICLR (2021)
Zengyi Qin, Yuxiao Chen, Chuchu Fan
Density Constrained Reinforcement Learning. CoRR (2021)
Jingkai Chen, Jiaoyang Li, Chuchu Fan, Brian C. Williams
Scalable and Safe Multi-Agent Motion Planning with Nonlinear Dynamics and Bounded Disturbances. AAAI (2021)
Hiroyasu Tsukamoto, Soon-Jo Chung, Jean-Jacques E. Slotine, Chuchu Fan
A Theoretical Overview of Neural Contraction Metrics for Learning-based Control with Guaranteed Stability. CDC (2021)
Jingkai Chen, Brian Charles Williams, Chuchu Fan
Optimal Mixed Discrete-Continuous Planning for Linear Hybrid Systems. CoRR (2021)
Charles Dawson, Zengyi Qin, Sicun Gao, Chuchu Fan
Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions. CoRR (2021)
Dawei Sun, Mohammad Javad Khojasteh, Shubhanshu Shekhar, Chuchu Fan
Uncertain-aware Safe Exploratory Planning using Gaussian Process and Neural Control Contraction Metric. L4DC (2021)
Jingkai Chen, Brian C. Williams, Chuchu Fan
Optimal mixed discrete-continuous planning for linear hybrid systems. HSCC (2021)
Zengyi Qin, Yuxiao Chen, Chuchu Fan
Density Constrained Reinforcement Learning. ICML (2021)
Kristina Miller, Chuchu Fan, Sayan Mitra
Planning in Dynamic and Partially Unknown Environments. ADHS (2021)
Yuxiao Chen, Ugo Rosolia, Chuchu Fan, Aaron D. Ames, Richard M. Murray
Reactive motion planning with probabilistic safety guarantees. CoRR (2020)
Hussein Sibai, Navid Mokhlesi, Chuchu Fan, Sayan Mitra
Multi-agent Safety Verification Using Symmetry Transformations. TACAS (1) (2020)
Dawei Sun, Susmit Jha, Chuchu Fan
Learning Certified Control Using Contraction Metric. CoRL (2020)
Chuchu Fan, Xin Qin, Jyotirmoy V. Deshmukh
Parameter Searching and Partition with Probabilistic Coverage Guarantees. CoRR (2020)
Jingkai Chen, Jiaoyang Li, Chuchu Fan, Brian Charles Williams
Scalable and Safe Multi-Agent Motion Planning with Nonlinear Dynamics and Bounded Disturbances. CoRR (2020)
Dawei Sun, Susmit Jha, Chuchu Fan
Learning Certified Control using Contraction Metric. CoRR (2020)
Chuchu Fan, Kristina Miller, Sayan Mitra
Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle Models. CAV (1) (2020)
Yuxiao Chen, Ugo Rosolia, Chuchu Fan, Aaron D. Ames, Richard M. Murray
Reactive motion planning with probabilisticsafety guarantees. CoRL (2020)
Qiang Ning, Hangfeng He, Chuchu Fan, Dan Roth
Partial Or Complete, That's The Question. NAACL-HLT (1) (2019)
Hussein Sibai, Navid Mokhlesi, Chuchu Fan, Sayan Mitra
Multi-Agent Safety Verification using Symmetry Transformations. CoRR (2019)
Qiang Ning, Hangfeng He, Chuchu Fan, Dan Roth
Partial Or Complete, That's The Question. CoRR (2019)

Chuchu Fan.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Chuchu Fan