Login / Signup
Quantized Feedback Control Software Synthesis from System Level Formal Specifications for Buck DC/DC Converters
Federico Mari
Igor Melatti
Ivano Salvo
Enrico Tronci
Published in:
CoRR (2011)
Keyphrases
</>
feedback control
formal specification
object oriented design
closed loop
formal methods
optimal control
software components
adaptive control
software design
neural network
software systems
software development
model checking
reverse engineering
software maintenance
building blocks
source code