Charge Pump Phase-Locked Loops and Full Wave Rectifiers for Reachability Analysis (Benchmark Proposal)

Beg, Omar Ali; Davoudi, Ali; Johnson, Taylor T.

by Omar Ali Beg, Ali Davoudi, Taylor T. Johnson

Reference:

Omar Ali Beg, Ali Davoudi, Taylor T. Johnson, "Charge Pump Phase-Locked Loops and Full Wave Rectifiers for Reachability Analysis (Benchmark Proposal)", In 3rd Applied Verification for Continuous and Hybrid Systems Workshop (ARCH), Vienna, Austria, 2016, apr.

Bibtex Entry:

@InProceedings{beg2016arch,
  author =    {Omar Ali Beg and Ali Davoudi and Taylor T. Johnson},
  title =     {Charge Pump Phase-Locked Loops and Full Wave Rectifiers for Reachability Analysis (Benchmark Proposal)},
  booktitle = {3rd Applied Verification for Continuous and Hybrid Systems Workshop (ARCH)},
  year =      {2016},
  address =   {Vienna, Austria},
  month =     apr,
    pdf = {http://www.taylortjohnson.com/research/beg2016arch.pdf},
}