期刊文献+

基于混合系统的飞机控制系统建模和分析 被引量:1

Hybrid Systems Based Modeling and Analysis of Aircraft Control Systems
下载PDF
导出
摘要 利用基于模型的系统科学研究方法,提出了适用于飞机控制系统的混合系统模型和分析方法,以支持研发高效率的混合系统计算方法和软件工具,达到对离散和连续成分强相关的飞机控制系统进行基于模型的自动分析、设计和软件合成,从而提高飞机控制系统的安全性和可信度。 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
  • 相关文献

参考文献11

  • 1P J Antsakis.Special Issues on Hybrid Systems:Theory and Applications. Proceedings of IEEE . 2000
  • 2I Mitchell,J A Templeton.A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems. Hybrid Systems:Computation and Control . 2005
  • 3E A Lee,H Zheng.Operational Semantics of Hybrid Systems. Hybrid Systems:Computation and Control:8th InternationalWorkshop,HSCC . 2005
  • 4Paul Caspi,Adrian Curic,Aude Maignan,Christos Sofronis,Stavros Tripakis,Peter Niebert.From simulink to SCADE/lustre to TTA:a layered approach for distributed embedded applications. . 2003
  • 5Alur R,Courcoubetis C,Halbwachs N,et al.The algorithmic analysis of hybrid systems. Theoretical Computer Science . 1995
  • 6Graharm Hemingway,Hang Su,Kai Chen,T.John Koo.A Semantic Anchoring Infrastructure for the Design of Embedded system. the 31st Annual International Computer Software & Applications Conference . 2007
  • 7Claire JTomlin,John Lygeros,and SShankar Sastry.A Game Theoretic Approach to Controller Design for Hybrid Systems. Proceedings of IEEE . 2000
  • 8A.Chutinan,B.Krogh.Verification of infinite state dynamic systems using approximate quotient transition systems. . 2001
  • 9A.Cataldo,C.Hylands,E.A.Lee,J.Liu,X.Liu,S.Neuendorffer,H.Zheng.HyVisual:A hybrid system visual modeler. University of California,Berkeley,Tech.Rep.Technical Memorandum UCB/ERL M03/ 30 . July172003
  • 10Sastry S,Sztipanovits J,Bajcsy R,et al.Special Issue on Modeling and Design of Embedded Software. Proceedings of Tricomm . 2003

同被引文献7

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部