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
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
652016
Bounded verification with on-the-fly discrepancy computation
C Fan, S Mitra
International Symposium on Automated Technology for Verification and …, 2015
58*2015
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
502017
Locally optimal reach set over-approximation for nonlinear systems
C Fan, J Kapinski, X Jin, S Mitra
2016 International Conference on Embedded Software (EMSOFT), 1-10, 2016
372016
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
322014
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
302013
Meeting a powertrain verification challenge
PS Duggirala, C Fan, S Mitra, M Viswanathan
International Conference on Computer Aided Verification, 536-543, 2015
292015
Bounded invariant verification for time-delayed nonlinear networked dynamical systems
Z Huang, C Fan, S Mitra
Nonlinear Analysis: Hybrid Systems 23, 211-229, 2017
222017
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
202018
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
152018
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
152018
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
112020
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
112017
Progress on powertrain verification challenge with C2E2
C Fan, PS Duggirala, S Mitra, M Viswanathan
NY Times, 2014
112014
Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2e2, hyst, and tulip
PS Duggirala, C Fan, M Potok, B Qi, S Mitra, M Viswanathan, S Bak, ...
2016 IEEE Conference on Control Applications (CCA), 1024-1029, 2016
92016
Learning certified control using contraction metric
D Sun, S Jha, C Fan
Conference on Robot Learning (CoRL), 2020
82020
ARCH-COMP18 category report: Continuous and hybrid systems with linear continuous dynamics
M Althoff, S Bak, X Chen, C Fan, M Forets, G Frehse, N Kochdumper, Y Li, ...
Proc. of the 5th International Workshop on Applied Verification for …, 2018
82018
Model checking tap withdrawal in C. Elegans
MA Islam, R De Francisco, C Fan, R Grosu, S Mitra, SA Smolka
International Workshop on Hybrid Systems Biology, 195-210, 2015
82015
Exploiting partially annotated data for temporal relation extraction
Q Ning, Z Yu, C Fan, D Roth
arXiv preprint arXiv:1804.08420, 2018
72018
Multi-agent safety verification using symmetry transformations
H Sibai, N Mokhlesi, C Fan, S Mitra
International Conference on Tools and Algorithms for the Construction and …, 2020
62020
The system can't perform the operation now. Try again later.
Articles 1–20