Biblio

Found 7 results
Filters: Author is Viswanathan, Mahesh  [Clear All Filters]
2021
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.
2018
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.
2017
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.
2016
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.
2015
Duggirala PSridhar, Fan C, Mitra S, Viswanathan M.  2015.  Meeting a powertrain verification challenge. Computer Aided Verification - 27th International Conference, (CAV). 9206:536–543.
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.