摘要
利用基于模型的系统科学研究方法,提出了适用于飞机控制系统的混合系统模型和分析方法,以支持研发高效率的混合系统计算方法和软件工具,达到对离散和连续成分强相关的飞机控制系统进行基于模型的自动分析、设计和软件合成,从而提高飞机控制系统的安全性和可信度。
By using research methodologies in model-based system science,hybrid systems based modeling and analysis methods for aircraft control systems are proposed in order to support the development of highly efficient hybrid computing methods and software tools.Since aircraft control systems exhibit strongly couplings between discrete and continuous components,the proposed modeling and analysis methods can enable model-based automatic analysis,design and software synthesis for improving the safety and reliability of aircraft control systems.
出处
《系统仿真学报》
CAS
CSCD
北大核心
2008年第S2期317-322,340,共7页
Journal of System Simulation
基金
国家自然科学基金会面上项目:嵌入式混合系统设计的基础理论研究(60773196)
关键词
飞机控制系统
混合系统
可达性分析
软件工具
aircraft control systems
hybrid systems
reachability analysis
software tool