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:
CoRR (2019)
Keyphrases
</>
neural network
state space
control method
real time
website
optimal control
control theory
genetic algorithm
image sequences
data acquisition
event detection
control problems
complex events
program synthesis