Publications & Patents

Verification, Synthesis and Reachability Theories

    • Chuchu Fan, Umang Mathur, Sayan Mitra and Mahesh Viswanathan, Controller Synthesis Made Real: Reachavoid Specifications and Linear Dynamics, Computer-Aided Verification (CAV), 2018.
      [Link] [pdf] [Slides] [Artifact] (Arfifact Evaluated)
    • Chuchu Fan, Zhenqi Huang and Sayan Mitra, Approximate Partial Order Reduction, International Symposium on Formal Methods (FM), 2018.
      [Link] [pdf] [Slides]
      The Arxiv version can be found at HERE
    • Chuchu Fan, James Kapinski, Xiaoqing Jin and Sayan Mitra. Simulation-Driven Reachability Using Matrix Measures , ACM Transactions on Embedded Computing Systems (TECS), 2018.
      [Link] [pdf]
    • Chuchu Fan, Bolun Qi, Sayan Mitra and Mahesh Viswanathan, DRYVR:Data-driven verification and compositional reasoning for automotive systems, International Conference on Computer Aided Verification (CAV), 2017.
      [Link] [pdf] [Slides] [Talk Video] (Arfifact Evaluated)
      The ArXiv version can be found at HERE
    • Zhenqi Huang, Chuchu Fan and Sayan Mitra. Bounded invariant verification for time-delayed nonlinear networked dynamical systems, Nonlinear Analysis: Hybrid Systems (NAHS), 2017.
      [Link] [pdf]
    • Chuchu Fan, James Kapinski, Xiaoqing Jin and Sayan Mitra. Locally Optimal Reach Set Over-approximation for Nonlinear Systems , International Conference on Embedded Software (EMSOFT), 2016. (Best Paper Finalist).
      [Link] [pdf] [Slides]
      Full version report can be found at HERE
    • Chuchu Fan and Sayan Mitra. Bounded Verification with On-the-fly Discrepancy Computation, International Symposium on Automated Technology for Verification and Analysis (ATVA), 2015.
      [Link] [pdf] [Slides]
      The Arxiv version can be found at HERE
    • Huang, Zhenqi, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, and Marta Kwiatkowska. Invariant verification of nonlinear hybrid automata networks of cardiac cells, Computer-aided Verification (CAV), 2014.
      [Link] [pdf] [Slides]

Verification Tools

    • Bolun Qi, Chuchu Fan, Minghao Jiang, Sayan Mitra.
      DryVR 2.0: A tool for verification and controller synthesis of black-box cyber-physical systems nternational Conference on Hybrid Systems: Computation and Control (HSCC), 2018.
      [Link] [pdf]
    • Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan and Parasara Sridhar Duggirala. Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2 , International Conference on Computer Aided Verification (CAV), 2016. [Link]
      [pdf] [Slides]

Verification, Synthesis and Reachability Applications

    • Chuchu Fan, Yu Meng, J├╝rgen Maier, Ezio Bartocci, Sayan Mitra and Ulrich Schmid, Verifying nonlinear analog and mixed-signal circuits with inputs, IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), 2018.
      [Link] [pdf] [Models] [Slides]
      The Arxiv version can be found at HERE
    • Chuchu Fan, Bolun Qi and Sayan Mitra. Data-driven formal reasoning and their applications in safety analysis of vehicle autonomy features , IEEE Design & Test, 2018.
      [Link] [pdf]
    • Md. Ariful Islam, Richard Defrancisco, Chuchu Fan, Radu Grosu, Sayan Mitra and Scott Smolka. Model Checking Tap Withdrawal in C. Elegans, Hybrid Systems Biology (HSB), 2015.
      [Link] [pdf]
    • Parasara Sridhar Duggirala, Chuchu Fan, Sayan Mitra, and Mahesh Viswanathan. Meeting a Powertrain Verification Challenge, Computer-aided Verification (CAV), 2015.
      [Link] [pdf] [Slides] (Artifact Evaluated)
    • Chuchu Fan, Parasara Sridhar Duggirala, Sayan Mitra, and Mahesh Viswanathan. Progress on Powertrain Verification Challenge with C2E2*, Applied Verification for Continuous and Hybrid Systems (ARCH), 2015 (Robert Bosch Best Verification Result).
      [Link] [pdf] [Slides]
    • Huang, Zhenqi, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, and Marta Kwiatkowska. Simulation-based Verification of Implantable Medical Devices with Guaranteed Coverage, IEEE Design & Test, 2015.
      [Link] [pdf]

Machine Learning

    • Qiang Ning, Zhongzhi Yu, Chuchu Fan, and Dan Roth, Exploiting Partially Annotated Data in Temporal Relation Extraction, The Joint Conference on Lexical and Computational Semantics (*SEM), 2018.
      [Link] [pdf]
    • Qiang Ning, Kan Chen, Li Yi, Chuchu Fan, Yao Lu, Jiangtao Wen, Image Super-Resolution via Analysis Sparse Prior, IEEE Signal Processing Letters, 2013.
      [Link] [pdf]

Tutorial

    • Parasara Sridhar Duggirala, Chuchu Fan, Matthew Potok, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling, Andrew Sogokon, Hoang-Dung Tran, Weiming Xiang: Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP, IEEE Conference on Control Applications(CCA), 2016.
      [Link] [pdf]

Patents

    • Sayan Mitra, Chuchu Fan and Zhenqi Huang, Bounded verification through discrepancy computations, United States Patent Application 20160179999. [Link]
    • Qiang Ning, Kan Chen, Li Yi, Chuchu Fan, Yao Lu and Jiangtao Wen, Image Super-Resolution via Analysis Sparse Prior, China patent 2012105247162. [Link]