@misc{indiciae7903a50a3e66,
  title = {Correct-by-construction control synthesis for buck converters with event-triggered state measurement},
  author = {Liren Yang and Xiaofan Cui and Al-Thaddeus Avestruz and Necmiye Ozay},
  year = {2019},
  url = {https://arxiv.org/abs/1903.05275},
  note = {Source identifier: 1903.05275}
}