Found 29 results
Filters: Author is Fan, Chuchu  [Clear All Filters]
Fan C, Qin Z, Mathur U, Ning Q, Mitra S, Viswanathan M.  2021.  Controller synthesis for linear system with reach-avoid specifications. Transactions on Automatic Control.
Qin Z, Zhang K, Chen Y, Chen J, Fan C.  2021.  Learning Safe Multi-Agent Control with Decentralized Neural Barrier Certificates. Conference on Learning Representations.
Chen J, Williams B, Fan C.  2021.  Optimal mixed discrete-continuous planning for linear hybrid systems. The 24th ACM International Conference on Hybrid Systems: Computation and Control (HSCC).
Chen J, Li J, Fan C, Williams B.  2021.  Scalable and Safe Multi-Agent Motion Planning with Nonlinear Dynamics and Bounded Disturbances. The Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI-21).
Sun D, Khojasteh MJavad, Shekhar S, Fan C.  2021.  Uncertainty-aware Safe Exploratory Planning using Gaussian Process and Neural Control Contraction Metric. Conference on Learning for Dynamics and Control (L4DC).
Fan C, Miller K, Mitra S.  2020.  Fast and guaranteed safe controller synthesis for nonlinear vehicle models. International Conference on Computer Aided Verification (CAV). :629–652.
Sun D, Jha S, Fan C.  2020.  Learning Certified Control using Contraction Metric. Conference on Robot Learning (CoRL).
Sibai H, Mokhlesi N, Fan C, Mitra S.  2020.  Multi-agent safety verification using symmetry transformations. 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). 12078 LNCS:173–190.
Chen Y, Rosolia U, Fan C, Ames AD, Murray R.  2020.  Reactive motion planning with probabilistics safety guarantees. Conference on Robot Learning (CoRL).
Fan C, Mitra S.  2019.  Data-Driven Safety Verification of Complex Cyber-Physical Systems. Design Automation of Cyber-Physical Systems. :107–142.
Fan C, Huang Z, Mitra S.  2018.  Approximate Partial Order Reduction. Formal Methods - 22nd International Symposium, (FM). :588–607.
Fan C, Mathur U, Mitra S, Viswanathan M.  2018.  Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics. Computer Aided Verification - 30th International Conference, (CAV). :347–366.
Fan C, Qi B, Mitra S.  2018.  Data-driven formal reasoning and their applications in safety analysis of vehicle autonomy features. IEEE Design and Test. 35:31–38.
Qi B, Fan C, Jiang M, Mitra S.  2018.  DryVR 2.0: A tool for verification and controller synthesis of black-box cyber-physical systems. Hybrid Systems: Computation and Control - 21st International Conference, (HSCC). :269–270.
Ning Q, Yu Z, Fan C, Roth D.  2018.  Exploiting Partially Annotated Data for Temporal Relation Extraction. The Joint Conference on Lexical and Computational Semantics, (*SEM). :148––153.
Fan C, Meng Y, Maier U, Bartocci E, Mitra S, Schmid U.  2018.  Verifying nonlinear analog and mixed-signal circuits with inputs. IFAC Conference on Analysis and Design of Hybrid Systems, (ADHS).
Huang Z, Fan C, Mitra S.  2017.  Bounded invariant verification for time-delayed nonlinear networked dynamical systems. Nonlinear Analysis: Hybrid Systems. 23:211–229.
Fan C, Qi B, Mitra S, Viswanathan M.  2017.  DryVR: Data-driven verification and compositional reasoning for automotive systems. Computer Aided Verification - 29th International Conference, (CAV). 10426 LNCS:441–461.
Fan C, Kapinski J, Jin X, Mitra S.  2017.  Simulation-Driven Reachability Using Matrix Measures. ACM Transactions on Embedded Computing Systems. 17:1–28.
Fan C, Qi B, Mitra S, Viswanathan M, Duggirala PSridhar.  2016.  Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2. Computer Aided Verification - 28th International Conference, (CAV). :531–538.
Fan C, Kapinski J, Jin X.  2016.  Locally Optimal Reach Set Over-approximation for Nonlinear Systems. Proceedings of the 13th International Conference on Embedded Software, (EMSOFT). :1–10.
Duggirala PSridhar, Fan C, Potok M, Qi B, Mitra S, Viswanathan M, Bak S, Bogomolov S, Johnson TT, Nguyen LViet et al..  2016.  Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP. 2016 IEEE Conference on Control Applications, (CCA). :1024–1029.
Fan C, Mitra S.  2015.  Bounded verification with on-the-fly discrepancy computation. Automated Technology for Verification and Analysis - 13th International Symposium, (ATVA). 9364:446–463.
Duggirala PSridhar, Fan C, Mitra S, Viswanathan M.  2015.  Meeting a powertrain verification challenge. Computer Aided Verification - 27th International Conference, (CAV). 9206:536–543.
Islam M.Ariful, De Francisco R, Fan C, Grosu R, Mitra S, Smolka SA.  2015.  Model checking tap withdrawal in c. Elegans. Hybrid Systems Biology - Fourth International Workshop, (HSB). 9271:195–210.