Chuchu Fan
Chuchu Fan
Wilson Assistant Professor of Aeronautics and Astronautics at MIT
Verified email at - Homepage
Cited by
Cited by
DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems
C Fan, B Qi, S Mitra, M Viswanathan
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
Automatic reachability analysis for nonlinear hybrid models with C2E2
C Fan, B Qi, S Mitra, M Viswanathan, PS Duggirala
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
Bounded verification with on-the-fly discrepancy computation
C Fan, S Mitra
Automated Technology for Verification and Analysis: 13th International …, 2015
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
Learning certified control using contraction metric
D Sun, S Jha, C Fan
Conference on Robot Learning (CoRL), 2020
Safe nonlinear control using robust neural lyapunov-barrier functions
C Dawson, Z Qin, S Gao, C Fan
Conference on Robot Learning, 1724-1735, 2022
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
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
Invariant verification of nonlinear hybrid automata networks of cardiac cells
Z Huang, C Fan, A Mereacre, S Mitra, M Kwiatkowska
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
Controller synthesis made real: Reach-avoid specifications and linear dynamics
C Fan, U Mathur, S Mitra, M Viswanathan
Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018
Fast and guaranteed safe controller synthesis for nonlinear vehicle models
C Fan, K Miller, S Mitra
Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020
Meeting a powertrain verification challenge
PS Duggirala, C Fan, S Mitra, M Viswanathan
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
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
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
Bounded invariant verification for time-delayed nonlinear networked dynamical systems
Z Huang, C Fan, S Mitra
Nonlinear Analysis: Hybrid Systems 23, 211-229, 2017
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
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
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
Density constrained reinforcement learning
Z Qin, Y Chen, C Fan
International Conference on Machine Learning, 8682-8692, 2021
Simulation-driven reachability using matrix measures
C Fan, J Kapinski, X Jin, S Mitra
ACM Transactions on Embedded Computing Systems (TECS) 17 (1), 1-28, 2017
The system can't perform the operation now. Try again later.
Articles 1–20