基于时间自动机的风洞试验自动控制研究

Study on Automatic Wind Tunnel Test Control System Based on Timed Automata

用多个时间自动机来规范模拟风洞试验自动控制系统,给出了一种自动化的风洞试验控制模型(CRW),并采用实时系统验证工具Uppaal对CRW进行了验证,证明了该模型具有安全性、有效性和可控性。所采用的方法避免了积的等价类状态空间的爆炸,减少了验证的搜索空间,为风洞试验系统提供了一种可行的、安全的、智能的控制机制。

Several timed automata are used to model an automatic wind tunnel test control system and an automatic control model of a wind tunnel test （CRW） is presented. Uppaal is adopted to carry out the on-the-flying testing and it is proved that CRW has such characteristics as safety, efficiency and control. The method mentioned avoids the equivalent state explosion of the product, re- duces the verification search space and provides a feasible, safe and intelligent control mechanism.