Toward Automatic Synthesis of Schedulable Real-Time Controllers.

Minsoo Ryu Seongsoo Hong

Published in: Integr. Comput. Aided Eng. (1998)

Keyphrases

real time
control system
semi automatic
fully automatic
data structure
high fidelity
program synthesis
information retrieval
decision making
general purpose
structural analysis
real time tracking
control loop
controller synthesis