Folgen
Chuchu Fan
Chuchu Fan
Wilson Assistant Professor of Aeronautics and Astronautics at MIT
Bestätigte E-Mail-Adresse bei mit.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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 39 (3), 1749-1767, 2023
165*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
1242017
Safe nonlinear control using robust neural lyapunov-barrier functions
C Dawson, Z Qin, S Gao, C Fan
Conference on Robot Learning, 1724-1735, 2022
1232022
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
1172021
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
1012016
Learning certified control using contraction metric
D Sun, S Jha, C Fan
Conference on Robot Learning (CoRL), 2020
802020
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
682022
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
472020
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
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
432022
Autotamp: Autoregressive task and motion planning with llms as translators and checkers
Y Chen, J Arkin, C Dawson, Y Zhang, N Roy, C Fan
arXiv preprint arXiv:2306.06531, 2023
412023
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
392018
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
Density constrained reinforcement learning
Z Qin, Y Chen, C Fan
International conference on machine learning, 8682-8692, 2021
342021
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
Scalable and Safe Multi-Agent Motion Planning with Nonlinear Dynamics and Bounded Disturbances
J Chen, J Li, C Fan, B Williams
AAAI 2021 Conference, 2020
312020
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
302022
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20