TY  - RPRT
TI  - Correct-by-construction control synthesis for buck converters with event-triggered state measurement
AU  - Liren Yang
AU  - Xiaofan Cui
AU  - Al-Thaddeus Avestruz
AU  - Necmiye Ozay
PY  - 2019
UR  - https://arxiv.org/abs/1903.05275
ID  - 1903.05275
ER  -