Synthesis of ASM-based Self-Checking Controllers.

Ilya Levin Vladimir Sinelnikov Mark G. Karpovsky

Published in: DSD (2001)

Keyphrases

controller synthesis
active shape model
control system
program synthesis
functional programs
consistency checking
controller design
reinforcement learning
closed loop
active shape
neural network
control law
np complete
medical images
multiresolution
feature extraction
website
learning algorithm