Follow
Chuchu Fan
Chuchu Fan
Wilson Assistant Professor of Aeronautics and Astronautics at MIT
Verified email at mit.edu - Homepage
Title
Cited by
Cited by
Year
Safe control with learned certificates: A survey of neural lyapunov, barrier, and contraction methods for robotics and control
C Dawson, S Gao, C Fan
IEEE Transactions on Robotics, 2023
127*2023
DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems
C Fan, B Qi, S Mitra, M Viswanathan
International Conference on Computer Aided Verification, 441-461, 2017
1152017
Safe nonlinear control using robust neural lyapunov-barrier functions
C Dawson, Z Qin, S Gao, C Fan
Conference on Robot Learning, 1724-1735, 2022
1082022
Learning Safe Multi-Agent Control with Decentralized Neural Barrier Certificates
Z Qin, K Zhang, Y Chen, J Chen, C Fan
International Conference on Learning Representations (ICLR), 2021
982021
Automatic reachability analysis for nonlinear hybrid models with C2E2
C Fan, B Qi, S Mitra, M Viswanathan, PS Duggirala
International Conference on Computer Aided Verification, 531-538, 2016
982016
Learning certified control using contraction metric
D Sun, S Jha, C Fan
Conference on Robot Learning (CoRL), 2020
722020
Bounded verification with on-the-fly discrepancy computation
C Fan, S Mitra
International Symposium on Automated Technology for Verification and …, 2015
692015
Multi-agent motion planning from signal temporal logic specifications
D Sun, J Chen, S Mitra, C Fan
IEEE Robotics and Automation Letters 7 (2), 3451-3458, 2022
532022
Locally optimal reach set over-approximation for nonlinear systems
C Fan, J Kapinski, X Jin, S Mitra
Proceedings of the 13th International Conference on Embedded Software, 1-10, 2016
462016
Fast and guaranteed safe controller synthesis for nonlinear vehicle models
C Fan, K Miller, S Mitra
International Conference on Computer Aided Verification, 629-652, 2020
432020
Controller synthesis made real: Reach-avoid specifications and linear dynamics
C Fan, U Mathur, S Mitra, M Viswanathan
International Conference on Computer Aided Verification, 347-366, 2018
382018
Learning safe, generalizable perception-based hybrid control with certificates
C Dawson, B Lowenkamp, D Goff, C Fan
IEEE Robotics and Automation Letters 7 (2), 1904-1911, 2022
372022
Invariant verification of nonlinear hybrid automata networks of cardiac cells
Z Huang, C Fan, A Mereacre, S Mitra, M Kwiatkowska
International Conference on Computer Aided Verification, 373-390, 2014
362014
Meeting a powertrain verification challenge
PS Duggirala, C Fan, S Mitra, M Viswanathan
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
332015
Image super-resolution via analysis sparse prior
Q Ning, K Chen, L Yi, C Fan, Y Lu, J Wen
IEEE Signal Processing Letters 20 (4), 399-402, 2013
322013
Density constrained reinforcement learning
Z Qin, Y Chen, C Fan
International Conference on Machine Learning, 8682-8692, 2021
292021
Data-driven formal reasoning and their applications in safety analysis of vehicle autonomy features
C Fan, B Qi, S Mitra
IEEE Design & Test 35 (3), 31-38, 2018
292018
Sablas: Learning Safe Control for Black-Box Dynamical Systems
Z Qin, D Sun, C Fan
IEEE Robotics and Automation Letters 7 (2), 1928-1935, 2022
282022
Bounded invariant verification for time-delayed nonlinear networked dynamical systems
Z Huang, C Fan, S Mitra
Nonlinear Analysis: Hybrid Systems 23, 211-229, 2017
272017
ARCH-COMP18 category report: Continuous and hybrid systems with nonlinear dynamics
F Immler, M Althoff, X Chen, C Fan, G Frehse, N Kochdumper, Y Li, ...
Proc. of the 5th International Workshop on Applied Verification for …, 2018
252018
The system can't perform the operation now. Try again later.
Articles 1–20