Found 20 results
Filters: Author is Mitra, Sayan  [Clear All Filters]
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.
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.
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.
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.
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.
Fan C, Duggirala PSridhar, Mitra S, Viswanathan M.  2015.  Progress on Powertrain Verification Challenge with C2E2. International Workshop on Applied Verification for Continuous and Hybrid Systems, (ARCH). :207–212.
Huang Z, Fan C, Mereacre A, Mitra S, Kwiatkowska M.  2015.  Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage. IEEE Design {&} Test. 32:27–34.
Huang Z, Fan C, Mereacre A, Mitra S, Kwiatkowska M.  2014.  Invariant verification of nonlinear hybrid automata networks of cardiac cells. Computer Aided Verification - 26th International Conference, (CAV). 8559 LNCS:373–390.