Inductive Certificate Synthesis for Control Design.

Hadi Ravanbakhsh

Published in: CoRR (2018)

Keyphrases

control method
control system
design process
design space
intelligent control
case study
knowledge based systems
inductive learning
inductive inference
control structure
real time control
high level synthesis