Formal design and analysis of FMS controller.

Gang Xu Zhiming Wu

Published in: SMC (2003)

Keyphrases

real time
knowledge based systems
design process
machine learning
data analysis
image analysis
closed loop
formal methods