Login / Signup
Correct-by-construction control synthesis for buck converters with event-triggered state measurement.
Liren Yang
Xiaofan Cui
Al-Thaddeus Avestruz
Necmiye Ozay
Published in:
ACC (2019)
Keyphrases
</>
control system
control problems
multi agent
expert systems
data acquisition
robotic systems
optimal control
temporal patterns
program synthesis