Formally Specifying the Logic of an Automatic Guidance Controller.

Published in: Ada-Europe (1991)

Keyphrases

control system
real time
semi automatic
data driven
logic programming
fully automatic
predicate logic
computational intelligence
control strategy
control scheme
multi valued