Optimal synthesis of control logic from behavioral specifications.

David C. Ku Giovanni De Micheli

Published in: Integr. (1991)

Keyphrases

optimal control
delay insensitive
control system
dynamic programming
logic synthesis
real time
logic programming
control method
program synthesis
transition systems
data sets
optimal solution
data acquisition
closed form
human behavior
recursive programs