Formal Approach to Synthesis of a Test Controller.

Richard Ruzicka Pavel Tupec

Published in: ECBS (2004)

Keyphrases

matlab simulation
neural network
control strategy
control algorithm
program synthesis
real time
test data
optimal control
adaptive control