On Modeling and Verifying of Application Protocols of TTCAN in Flight-Control System with UPPAAL.

Xiao Wu Heng Ling Yunwei Dong

Published in: ICESS (2009)

Keyphrases

control system
model checking
fuzzy logic
artificial intelligence
control algorithm
decision support
closed loop
control scheme
computation tree logic