Reachability Analysis of Transformer-Isolated DC-DC Converters (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, "Reachability Analysis of Transformer-Isolated DC-DC Converters (Benchmark Proposal)", In 4th Applied Verification for Continuous and Hybrid Systems Workshop (ARCH), Pittsburgh, PA, 2017, apr.

Bibtex Entry:

@InProceedings{beg2017arch,
  author =    {Omar Ali Beg and Ali Davoudi and Taylor T. Johnson},
  title =     {Reachability Analysis of Transformer-Isolated DC-DC Converters (Benchmark Proposal)},
  booktitle = {4th Applied Verification for Continuous and Hybrid Systems Workshop (ARCH)},
  year =      {2017},
  address =   {Pittsburgh, PA},
  month =     apr,
    pdf = {http://www.taylortjohnson.com/research/beg2017arch.pdf},
}