Liren Yang, Xiaofan Cui, Al-Thaddeus Avestruz, Necmiye Ozay. Correct-by-construction control synthesis for buck converters with event-triggered state measurement. In 2019 American Control Conference, ACC 2019, Philadelphia, PA, USA, July 10-12, 2019. pages 1056-1063, IEEE, 2019. [doi]
Abstract is missing.