Reachability Analysis of Transformer-Isolated DC-DC Converters (Benchmark Proposal) (bibtex)

by OA Beg, A Davoudi and Taylor T. Johnson

Reference:

OA Beg, A Davoudi and Taylor T. Johnson, "Reachability Analysis of Transformer-Isolated DC-DC Converters (Benchmark Proposal)", In 4th International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH'17), EasyChair, pp. 52–64, 2017.

Bibtex Entry:

@inproceedings{beg2017arch,
  title = {Reachability Analysis of Transformer-Isolated DC-DC Converters (Benchmark Proposal)},
  author = {OA Beg and A Davoudi and Taylor T. Johnson},
  year = {2017},
  month = jun,
  booktitle = {4th International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH'17)},
  volume = {48},
  pages = {52--64},
  publisher = {EasyChair},
  doi = {10.29007/8xk7},
  publabel = {W11},
  pubtype = {W},
  dblp = {conf/cpsweek/BegDJ17},
  s2id = {11391289},
  pdf = "research/beg2017arch.pdf",
}