Chuchu Fan
Orcid: 0000-0003-4671-233XAffiliations:
- Massachusetts Institute of Technology, MA, USA
- University of Illinois at Urbana-Champaign, IL, USA (Ph.D., 2019)
According to our database1,
Chuchu Fan
authored at least 81 papers
between 2013 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Physics-Informed, Safety and Stability Certified Neural Control for Uncertain Networked Microgrids.
IEEE Trans. Smart Grid, January, 2024
Active Disruption Avoidance and Trajectory Design for Tokamak Ramp-downs with Neural Differential Equations and Reinforcement Learning.
CoRR, 2024
PRompt Optimization in Multi-Step Tasks (PROMST): Integrating Human Feedback and Preference Alignment.
CoRR, 2024
GCBF+: A Neural Graph Control Barrier Function Framework for Distributed Safe Multi-Agent Control.
CoRR, 2024
2023
Shield Model Predictive Path Integral: A Computationally Efficient Robust MPC Method Using Control Barrier Functions.
IEEE Robotics Autom. Lett., November, 2023
IEEE Robotics Autom. Lett., November, 2023
Safe Control With Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction Methods for Robotics and Control.
IEEE Trans. Robotics, June, 2023
IEEE Control. Syst. Lett., 2023
Almost-Sure Safety Guarantees of Stochastic Zero-Control Barrier Functions Do Not Hold.
CoRR, 2023
Learning Safe Control for Multi-Robot Systems: Methods, Verification, and Open Challenges.
CoRR, 2023
How to Train Your Neural Control Barrier Function: Learning Safety Filters for Complex Input-Constrained Systems.
CoRR, 2023
Adversarial optimization leads to over-optimistic security-constrained dispatch, but sampling can help.
CoRR, 2023
Scalable Multi-Robot Collaboration with Large Language Models: Centralized or Decentralized Systems?
CoRR, 2023
Learning to Stabilize High-dimensional Unknown Systems Using Lyapunov-guided Exploration.
CoRR, 2023
AutoTAMP: Autoregressive Task and Motion Planning with LLMs as Translators and Checkers.
CoRR, 2023
Solving Stabilize-Avoid Optimal Control via Epigraph Form and Deep Reinforcement Learning.
CoRR, 2023
Shield Model Predictive Path Integral: A Computationally Efficient Robust MPC Approach Using Control Barrier Functions.
CoRR, 2023
Solving Stabilize-Avoid via Epigraph Form Optimal Control using Deep Reinforcement Learning.
Proceedings of the Robotics: Science and Systems XIX, Daegu, 2023
Proceedings of the Learning for Dynamics and Control Conference, 2023
Proceedings of the Learning for Dynamics and Control Conference, 2023
Enforcing safety for vision-based controllers via Control Barrier Functions and Neural Radiance Fields.
Proceedings of the IEEE International Conference on Robotics and Automation, 2023
Density Planner: Minimizing Collision Risk in Motion Planning with Dynamic Obstacles using Density-based Reachability.
Proceedings of the IEEE International Conference on Robotics and Automation, 2023
NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models.
Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023
Neural Graph Control Barrier Functions Guided Distributed Collision-avoidance Multi-agent Control.
Proceedings of the Conference on Robot Learning, 2023
A Bayesian approach to breaking things: efficiently predicting and repairing failure modes via sampling.
Proceedings of the Conference on Robot Learning, 2023
Neural Network-based Fault Detection and Identification for Quadrotors using Dynamic Symmetry.
Proceedings of the 59th Annual Allerton Conference on Communication, 2023
2022
IEEE Trans. Autom. Control., 2022
IEEE Robotics Autom. Lett., 2022
IEEE Robotics Autom. Lett., 2022
IEEE Robotics Autom. Lett., 2022
Safe Control with Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction methods.
CoRR, 2022
Proceedings of the Robotics: Science and Systems XVIII, New York City, NY, USA, June 27, 2022
Learning-based Motion Planning in Dynamic Environments Using GNNs and Temporal Encoding.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022
Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning.
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022
Robust Counterexample-guided Optimization for Planning from Differentiable Temporal Logic.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022
Statistical Verification of Cyber-Physical Systems using Surrogate Models and Conformal Inference.
Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022
Proceedings of the 61st IEEE Conference on Decision and Control, 2022
Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2022
2021
Uncertainty-aware Safe Exploratory Planning using Gaussian Process and Neural Control Contraction Metric.
CoRR, 2021
Uncertain-aware Safe Exploratory Planning using Gaussian Process and Neural Control Contraction Metric.
Proceedings of the 3rd Annual Conference on Learning for Dynamics and Control, 2021
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021
Proceedings of the 38th International Conference on Machine Learning, 2021
Proceedings of the 9th International Conference on Learning Representations, 2021
Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021
Proceedings of the Conference on Robot Learning, 8-11 November 2021, London, UK., 2021
Proceedings of the Conference on Robot Learning, 8-11 November 2021, London, UK., 2021
A Theoretical Overview of Neural Contraction Metrics for Learning-based Control with Guaranteed Stability.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021
Scalable and Safe Multi-Agent Motion Planning with Nonlinear Dynamics and Bounded Disturbances.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020
Proceedings of the 4th Conference on Robot Learning, 2020
Proceedings of the 4th Conference on Robot Learning, 2020
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020
2019
Formal methods for safe autonomy: Data-driven verification, synthesis, and applications
PhD thesis, 2019
Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2019
2018
ACM Trans. Embed. Comput. Syst., 2018
Data-Driven Formal Reasoning and Their Applications in Safety Analysis of Vehicle Autonomy Features.
IEEE Des. Test, 2018
Proceedings of the Seventh Joint Conference on Lexical and Computational Semantics, 2018
DryVR 2.0: A tool for verification and controller synthesis of black-box cyber-physical systems.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018
Proceedings of the Formal Methods - 22nd International Symposium, 2018
Proceedings of the Computer Aided Verification - 30th International Conference, 2018
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics.
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018
2017
Proceedings of the Computer Aided Verification - 29th International Conference, 2017
2016
Proceedings of the 2016 International Conference on Embedded Software, 2016
Proceedings of the Computer Aided Verification - 28th International Conference, 2016
Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP.
Proceedings of the 2016 IEEE Conference on Control Applications, 2016
2015
IEEE Des. Test, 2015
Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015
Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
Proceedings of the Automated Technology for Verification and Analysis, 2015
2014
Proceedings of the Computer Aided Verification - 26th International Conference, 2014
2013