default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDChuchu Fan
Person information
- affiliation: Massachusetts Institute of Technology, MA, USA
- affiliation (Ph.D., 2019): University of Illinois at Urbana-Champaign, IL, USA
- award (2020): ACM Doctoral Dissertation Award
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 2019
[b1]Chuchu Fan:
Formal methods for safe autonomy: Data-driven verification, synthesis, and applications. University of Illinois Urbana-Champaign, USA, 2019
Journal Articles
- 2024
- [j16]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: 100948 (2024) - [j15]Ruixiao Yang, Chuchu Fan:
A Hierarchical Framework for Solving the Constrained Multiple Depot Traveling Salesman Problem. IEEE Robotics Autom. Lett. 9(6): 5536-5543 (2024) - [j14]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): 22 (2024) - [j13]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): 1184-1187 (2024) - 2023
- [j12]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: 3169-3174 (2023) - [j11]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): 7106-7113 (2023) - [j10]Yue Meng, Chuchu Fan:
Signal Temporal Logic Neural Predictive Control. IEEE Robotics Autom. Lett. 8(11): 7719-7726 (2023) - [j9]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): 1749-1767 (2023) - 2022
- [j8]Charles Dawson, Bethany Lowenkamp, Dylan Goff, Chuchu Fan:
Learning Safe, Generalizable Perception-Based Hybrid Control With Certificates. IEEE Robotics Autom. Lett. 7(2): 1904-1911 (2022) - [j7]Zengyi Qin, Dawei Sun, Chuchu Fan:
Sablas: Learning Safe Control for Black-Box Dynamical Systems. IEEE Robotics Autom. Lett. 7(2): 1928-1935 (2022) - [j6]Dawei Sun, Jingkai Chen, Sayan Mitra, Chuchu Fan:
Multi-Agent Motion Planning From Signal Temporal Logic Specifications. IEEE Robotics Autom. Lett. 7(2): 3451-3458 (2022) - [j5]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): 1713-1727 (2022) - 2018
- [j4]Chuchu Fan, Bolun Qi, Sayan Mitra:
Data-Driven Formal Reasoning and Their Applications in Safety Analysis of Vehicle Autonomy Features. IEEE Des. Test 35(3): 31-38 (2018) - [j3]Chuchu Fan, James Kapinski, Xiaoqing Jin, Sayan Mitra:
Simulation-Driven Reachability Using Matrix Measures. ACM Trans. Embed. Comput. Syst. 17(1): 21:1-21:28 (2018) - 2015
- [j2]Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Z. Kwiatkowska:
Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage. IEEE Des. Test 32(5): 27-34 (2015) - 2013
- [j1]Qiang Ning, Kan Chen, Li Yi, Chuchu Fan, Yao Lu, Jiangtao Wen:
Image Super-Resolution Via Analysis Sparse Prior. IEEE Signal Process. Lett. 20(4): 399-402 (2013)
Conference and Workshop Papers
- 2024
- [c53]Yongchao Chen, Jacob Arkin, Yang Zhang, Nicholas Roy, Chuchu Fan:
Scalable Multi-Robot Collaboration with Large Language Models: Centralized or Decentralized Systems? ICRA 2024: 4311-4317 - [c52]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: 6695-6702 - [c51]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: 11532-11539 - [c50]Yue Meng, Sai Vemprala, Rogerio Bonatti, Chuchu Fan, Ashish Kapoor:
ConBaT: Control Barrier Transformer for Safe Robot Learning from Demonstrations. ICRA 2024: 12857-12864 - [c49]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: 14348-14355 - [c48]Songyuan Zhang, Chuchu Fan:
Learning to stabilize high-dimensional unknown systems using Lyapunov-guided exploration. L4DC 2024: 52-67 - 2023
- [c47]Kunal Garg, Chuchu Fan:
Neural Network-based Fault Detection and Identification for Quadrotors using Dynamic Symmetry. Allerton 2023: 1-7 - [c46]Charles Dawson, Chuchu Fan:
A Bayesian approach to breaking things: efficiently predicting and repairing failure modes via sampling. CoRL 2023: 1706-1722 - [c45]Songyuan Zhang, Kunal Garg, Chuchu Fan:
Neural Graph Control Barrier Functions Guided Distributed Collision-avoidance Multi-agent Control. CoRL 2023: 2373-2392 - [c44]Yongchao Chen, Rujul Gandhi, Yang Zhang, Chuchu Fan:
NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models. EMNLP 2023: 15880-15903 - [c43]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: 7886-7893 - [c42]Mukun Tong, Charles Dawson, Chuchu Fan:
Enforcing safety for vision-based controllers via Control Barrier Functions and Neural Radiance Fields. ICRA 2023: 10511-10517 - [c41]Songyuan Zhang, Yumeng Xiu, Guannan Qu, Chuchu Fan:
Compositional Neural Certificates for Networked Dynamical Systems. L4DC 2023: 272-285 - [c40]Yue Meng, Chuchu Fan:
Hybrid Systems Neural Control with Region-of-Attraction Planner. L4DC 2023: 1400-1415 - [c39]Oswin So, Chuchu Fan:
Solving Stabilize-Avoid via Epigraph Form Optimal Control using Deep Reinforcement Learning. Robotics: Science and Systems 2023 - 2022
- [c38]Qiang Ning, Ben Zhou, Hao Wu, Haoruo Peng, Chuchu Fan, Matt Gardner:
A Meta-framework for Spatiotemporal Quantity Extraction from Text. ACL (1) 2022: 2736-2749 - [c37]Changyuan Zhao, Chuchu Fan, Bai Xue:
Outer-approximating Controlled Reach-avoid Sets for Polynomial Systems. CDC 2022: 3839-3845 - [c36]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: 116-126 - [c35]Charles Dawson, Chuchu Fan:
Robust Counterexample-guided Optimization for Planning from Differentiable Temporal Logic. IROS 2022: 7205-7212 - [c34]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: 251-271 - [c33]Ruipeng Zhang, Chenning Yu, Jingkai Chen, Chuchu Fan, Sicun Gao:
Learning-based Motion Planning in Dynamic Environments Using GNNs and Temporal Encoding. NeurIPS 2022 - [c32]Charles Dawson, Chuchu Fan:
Certifiable Robot Design Optimization using Differentiable Programming. Robotics: Science and Systems 2022 - 2021
- [c31]Jingkai Chen, Jiaoyang Li, Chuchu Fan, Brian C. Williams:
Scalable and Safe Multi-Agent Motion Planning with Nonlinear Dynamics and Bounded Disturbances. AAAI 2021: 11237-11245 - [c30]Kristina Miller, Chuchu Fan, Sayan Mitra:
Planning in Dynamic and Partially Unknown Environments. ADHS 2021: 169-174 - [c29]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: 2949-2954 - [c28]Yue Meng, Dawei Sun, Zeng Qiu, Md Tawhid Bin Waez, Chuchu Fan:
Learning Density Distribution of Reachable States for Autonomous Systems. CoRL 2021: 124-136 - [c27]Charles Dawson, Zengyi Qin, Sicun Gao, Chuchu Fan:
Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions. CoRL 2021: 1724-1735 - [c26]Jingkai Chen, Brian C. Williams, Chuchu Fan:
Optimal mixed discrete-continuous planning for linear hybrid systems. HSCC 2021: 8:1-8:12 - [c25]Zengyi Qin, Kaiqing Zhang, Yuxiao Chen, Jingkai Chen, Chuchu Fan:
Learning Safe Multi-agent Control with Decentralized Neural Barrier Certificates. ICLR 2021 - [c24]Zengyi Qin, Yuxiao Chen, Chuchu Fan:
Density Constrained Reinforcement Learning. ICML 2021: 8682-8692 - [c23]Yue Meng, Zengyi Qin, Chuchu Fan:
Reactive and Safe Road User Simulations using Neural Barrier Certificates. IROS 2021: 6299-6306 - [c22]Dawei Sun, Mohammad Javad Khojasteh, Shubhanshu Shekhar, Chuchu Fan:
Uncertain-aware Safe Exploratory Planning using Gaussian Process and Neural Control Contraction Metric. L4DC 2021: 728-741 - 2020
- [c21]Chuchu Fan, Kristina Miller, Sayan Mitra:
Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle Models. CAV (1) 2020: 629-652 - [c20]Dawei Sun, Susmit Jha, Chuchu Fan:
Learning Certified Control Using Contraction Metric. CoRL 2020: 1519-1539 - [c19]Yuxiao Chen, Ugo Rosolia, Chuchu Fan, Aaron D. Ames, Richard M. Murray:
Reactive motion planning with probabilisticsafety guarantees. CoRL 2020: 1958-1970 - [c18]Hussein Sibai, Navid Mokhlesi, Chuchu Fan, Sayan Mitra:
Multi-agent Safety Verification Using Symmetry Transformations. TACAS (1) 2020: 173-190 - 2019
- [c17]Qiang Ning, Hangfeng He, Chuchu Fan, Dan Roth:
Partial Or Complete, That's The Question. NAACL-HLT (1) 2019: 2190-2200 - 2018
- [c16]Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp:
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@ADHS 2018: 23-52 - [c15]Fabian Immler, Matthias Althoff, Xin Chen, Chuchu Fan, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Mahendra Singh Tomar, Majid Zamani:
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@ADHS 2018: 53-70 - [c14]Chuchu Fan, Yu Meng, Jürgen Maier, Ezio Bartocci, Sayan Mitra, Ulrich Schmid:
Verifying nonlinear analog and mixed-signal circuits with inputs. ADHS 2018: 241-246 - [c13]Chuchu Fan, Umang Mathur, Sayan Mitra, Mahesh Viswanathan:
Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics. CAV (1) 2018: 347-366 - [c12]Chuchu Fan, Zhenqi Huang, Sayan Mitra:
Approximate Partial Order Reduction. FM 2018: 588-607 - [c11]Bolun Qi, Chuchu Fan, Minghao Jiang, Sayan Mitra:
DryVR 2.0: A tool for verification and controller synthesis of black-box cyber-physical systems. HSCC 2018: 269-270 - [c10]Qiang Ning, Zhongzhi Yu, Chuchu Fan, Dan Roth:
Exploiting Partially Annotated Data in Temporal Relation Extraction. *SEM@NAACL-HLT 2018: 148-153 - 2017
- [c9]Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan:
DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems. CAV (1) 2017: 441-461 - 2016
- [c8]Parasara Sridhar Duggirala, Chuchu Fan, Matthew Potok, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling, Andrew Sogokon, Hoang-Dung Tran, Weiming Xiang:
Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP. CCA 2016: 1024-1029 - [c7]Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Parasara Sridhar Duggirala:
Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2. CAV (1) 2016: 531-538 - [c6]Chuchu Fan, James Kapinski, Xiaoqing Jin, Sayan Mitra:
Locally optimal reach set over-approximation for nonlinear systems. EMSOFT 2016: 6:1-6:10 - 2015
- [c5]Chuchu Fan, Sayan Mitra:
Bounded Verification with On-the-Fly Discrepancy Computation. ATVA 2015: 446-463 - [c4]Parasara Sridhar Duggirala, Chuchu Fan, Sayan Mitra, Mahesh Viswanathan:
Meeting a Powertrain Verification Challenge. CAV (1) 2015: 536-543 - [c3]Chuchu Fan, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan:
Progress on Powertrain Verification Challenge with C2E2. ARCH@CPSWeek 2015: 207-212 - [c2]Md. Ariful Islam, Richard DeFrancisco, Chuchu Fan, Radu Grosu, Sayan Mitra, Scott A. Smolka:
Model Checking Tap Withdrawal in C. Elegans. HSB 2015: 195-210 - 2014
- [c1]Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Z. Kwiatkowska:
Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells. CAV 2014: 373-390
Editorship
- 2022
- [e1]Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina:
Software Verification - 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers. Lecture Notes in Computer Science 13124, Springer 2022, ISBN 978-3-030-95560-1 [contents]
Informal and Other Publications
- 2024
- [i57]Songyuan Zhang, Oswin So, Kunal Garg, Chuchu Fan:
GCBF+: A Neural Graph Control Barrier Function Framework for Distributed Safe Multi-Agent Control. CoRR abs/2401.14554 (2024) - [i56]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 abs/2402.08702 (2024) - [i55]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 abs/2402.09387 (2024) - [i54]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 abs/2404.01184 (2024) - [i53]Charles Dawson, Anjali Parashar, Chuchu Fan:
RADIUM: Predicting and Repairing End-to-End Robot Failures using Gradient-Accelerated Sampling. CoRR abs/2404.03412 (2024) - [i52]Kunal Garg, Jacob Arkin, Songyuan Zhang, Nicholas Roy, Chuchu Fan:
Large Language Models to the Rescue: Deadlock Resolution in Multi-Robot Systems. CoRR abs/2404.06413 (2024) - [i51]Yilun Hao, Yongchao Chen, Yang Zhang, Chuchu Fan:
Large Language Models Can Plan Your Travels Rigorously with Formal Verification Tools. CoRR abs/2404.11891 (2024) - [i50]Feiyang Cai, Chuchu Fan, Stanley Bak:
Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling. CoRR abs/2405.18554 (2024) - 2023
- [i49]Ji Yin, Charles Dawson, Chuchu Fan, Panagiotis Tsiotras:
Shield Model Predictive Path Integral: A Computationally Efficient Robust MPC Approach Using Control Barrier Functions. CoRR abs/2302.11719 (2023) - [i48]Yue Meng, Sai Vemprala, Rogerio Bonatti, Chuchu Fan, Ashish Kapoor:
ConBaT: Control Barrier Transformer for Safe Policy Learning. CoRR abs/2303.04212 (2023) - [i47]Yue Meng, Chuchu Fan:
Hybrid Systems Neural Control with Region-of-Attraction Planner. CoRR abs/2303.10327 (2023) - [i46]Songyuan Zhang, Yumeng Xiu, Guannan Qu, Chuchu Fan:
Compositional Neural Certificates for Networked Dynamical Systems. CoRR abs/2303.14564 (2023) - [i45]Yongchao Chen, Rujul Gandhi, Yang Zhang, Chuchu Fan:
NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models. CoRR abs/2305.07766 (2023) - [i44]Oswin So, Chuchu Fan:
Solving Stabilize-Avoid Optimal Control via Epigraph Form and Deep Reinforcement Learning. CoRR abs/2305.14154 (2023) - [i43]Yongchao Chen, Jacob Arkin, Yang Zhang, Nicholas Roy, Chuchu Fan:
AutoTAMP: Autoregressive Task and Motion Planning with LLMs as Translators and Checkers. CoRR abs/2306.06531 (2023) - [i42]Songyuan Zhang, Chuchu Fan:
Learning to Stabilize High-dimensional Unknown Systems Using Lyapunov-guided Exploration. CoRR abs/2306.08722 (2023) - [i41]Yue Meng, Chuchu Fan:
Signal Temporal Logic Neural Predictive Control. CoRR abs/2309.05131 (2023) - [i40]Charles Dawson, Chuchu Fan:
A Bayesian approach to breaking things: efficiently predicting and repairing failure modes via sampling. CoRR abs/2309.08052 (2023) - [i39]Kunal Garg, Chuchu Fan:
Neural Network-based Fault Detection and Identification for Quadrotors using Dynamic Symmetry. CoRR abs/2309.09108 (2023) - [i38]Yongchao Chen, Jacob Arkin, Yang Zhang, Nicholas Roy, Chuchu Fan:
Scalable Multi-Robot Collaboration with Large Language Models: Centralized or Decentralized Systems? CoRR abs/2309.15943 (2023) - [i37]Charles Dawson, Chuchu Fan:
Adversarial optimization leads to over-optimistic security-constrained dispatch, but sampling can help. CoRR abs/2310.06956 (2023) - [i36]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 abs/2310.15478 (2023) - [i35]Songyuan Zhang, Kunal Garg, Chuchu Fan:
Neural Graph Control Barrier Functions Guided Distributed Collision-avoidance Multi-agent Control. CoRR abs/2311.13014 (2023) - [i34]Kunal Garg, Songyuan Zhang, Oswin So, Charles Dawson, Chuchu Fan:
Learning Safe Control for Multi-Robot Systems: Methods, Verification, and Open Challenges. CoRR abs/2311.13714 (2023) - [i33]Oswin So, Andrew Clark, Chuchu Fan:
Almost-Sure Safety Guarantees of Stochastic Zero-Control Barrier Functions Do Not Hold. CoRR abs/2312.02430 (2023) - 2022
- [i32]Charles Dawson, Bethany Lowenkamp, Dylan Goff, Chuchu Fan:
Learning Safe, Generalizable Perception-based Hybrid Control with Certificates. CoRR abs/2201.00932 (2022) - [i31]Zengyi Qin, Dawei Sun, Chuchu Fan:
SABLAS: Learning Safe Control for Black-box Dynamical Systems. CoRR abs/2201.01918 (2022) - [i30]Dawei Sun, Jingkai Chen, Sayan Mitra, Chuchu Fan:
Multi-agent Motion Planning from Signal Temporal Logic Specifications. CoRR abs/2201.05247 (2022) - [i29]Charles Dawson, Sicun Gao, Chuchu Fan:
Safe Control with Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction methods. CoRR abs/2202.11762 (2022) - [i28]Charles Dawson, Chuchu Fan:
Robust Counterexample-guided Optimization for Planning from Differentiable Temporal Logic. CoRR abs/2203.02038 (2022) - [i27]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 abs/2203.02475 (2022) - [i26]Charles Dawson, Chuchu Fan:
Certifiable Robot Design Optimization using Differentiable Programming. CoRR abs/2204.10935 (2022) - [i25]Yue Meng, Zeng Qiu, Md Tawhid Bin Waez, Chuchu Fan:
Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning. CoRR abs/2209.08073 (2022) - [i24]Mukun Tong, Charles Dawson, Chuchu Fan:
Enforcing safety for vision-based controllers via Control Barrier Functions and Neural Radiance Fields. CoRR abs/2209.12266 (2022) - [i23]Charles Dawson, Austin Garrett, Falk Pollok, Yang Zhang, Chuchu Fan:
Barrier functions enable safety-conscious force-feedback control. CoRR abs/2209.12270 (2022) - [i22]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 abs/2210.02131 (2022) - [i21]Ruipeng Zhang, Chenning Yu, Jingkai Chen, Chuchu Fan, Sicun Gao:
Learning-based Motion Planning in Dynamic Environments Using GNNs and Temporal Encoding. CoRR abs/2210.08408 (2022) - 2021
- [i20]Zengyi Qin, Kaiqing Zhang, Yuxiao Chen, Jingkai Chen, Chuchu Fan:
Learning Safe Multi-Agent Control with Decentralized Neural Barrier Certificates. CoRR abs/2101.05436 (2021) - [i19]Jingkai Chen, Brian Charles Williams, Chuchu Fan:
Optimal Mixed Discrete-Continuous Planning for Linear Hybrid Systems. CoRR abs/2102.08261 (2021) - [i18]Dawei Sun, Mohammad Javad Khojasteh, Shubhanshu Shekhar, Chuchu Fan:
Uncertainty-aware Safe Exploratory Planning using Gaussian Process and Neural Control Contraction Metric. CoRR abs/2105.06567 (2021) - [i17]Zengyi Qin, Yuxiao Chen, Chuchu Fan:
Density Constrained Reinforcement Learning. CoRR abs/2106.12764 (2021) - [i16]Yue Meng, Zengyi Qin, Chuchu Fan:
Reactive and Safe Road User Simulations using Neural Barrier Certificates. CoRR abs/2109.06689 (2021) - [i15]Charles Dawson, Zengyi Qin, Sicun Gao, Chuchu Fan:
Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions. CoRR abs/2109.06697 (2021) - [i14]