期刊文献+

混合条件/事件Petri网在飞控系统建模中的应用 被引量:2

The Application of Hybrid Condition/Event Petri Net in Modeling Flight Control System
下载PDF
导出
摘要 提出一种混合条件/事件Petri网,以方程和图形两种形式定义了其受控演变规则,该网能够很好地描述一类离散事件和连续演变过程的混合交互现象,并应用于自修复飞行控制过程的建模中,使其离散跳变、连续演变过程以及相互间的交互得到较好的描述与处理,并能将演变结果显化在图形上。 A type of hybrid condition / event Petri net is presented, in which the controlled running rules are defined with a set of equations and graphs. The net can describe a class of interactive actions between discrete event and continuous evolution process, and is selected to model a self-repairing flight control system. The discrete jump and continuous evolution as well as the interactive phenomena between them are successfully described and the running result can be presented by graphs.
出处 《系统仿真学报》 CAS CSCD 2004年第2期297-301,共5页 Journal of System Simulation
基金 航空科学基金资助项目(00E51021)
关键词 PETRI网 建模 混合系统 飞行控制系统 Petri net modeling hybrid system flight control system
  • 相关文献

参考文献11

  • 1[1]Dogruel M, Ozguner U. Modeling and Stability Issues in Hybrid Systems [A], Hybrid Systems, LNCS [C], 1995, 999: 148-165.
  • 2[2]Branicky M S. Studies in Hybrid Systems: Modeling, Analysis and Control [M], Laboratory for Information and Decision Systems, Massachusetts Institute of Technology, Cambridge, 1995.
  • 3[3]Branicky M S, Borkar V S, Mitter S K. A Unified Framework for Hybrid Control [A], Proceedings of the 33rd Conference on Decision and Control [C], Lake Buena Vista, 4228-4233, FL-Dec., 1992.
  • 4[4]Peleties P, Decarlo R. A Modeling Strategy for Hybrid Systems Based on Event Structures [J], Discrete Event Dynamic Systems: Theory and Applications 1993, 3: 39-69.
  • 5[5]Alur R, Courcoubetis C, Henzinger T A. Hybrid Automata: an Algorithm Approach to the Specification and Verification of Hybrid Systems [A], Hybrid Systems, LNCS [C], 1993, 736: 209-229, Springer-Verlag.
  • 6[6]Xu X H, Li Z, Li Y. Generalized Petri Nets for a Class of Hybrid Dynamic Systems [A], Proceedings of 13th IFAC triennial World Congress [C], San Francisco USA, 1996, 305-310.
  • 7[7]Godbole D N, Lygeros J, Sastry S. Hierarchical Hybrid Control: a Case Study [A], Hybrid Systems, LNCS [C], 1995, 999: 166-190.
  • 8[8]Tittus M. Contro of Batch Process [D], PhD. Dissertation, Gothenburg, 1995.
  • 9[9]Binns P, Jackson M, Vestal S. An Implementation for Hybrid Continuous Variable/Discrete Event Dynamic Systems [A], Proceedings of the 31st Conference on Decision and Control [C], Tucson, 1992, 2973-2979.
  • 10[10]Grossman R L, Larson R G. An Algebraic Approach to Hybrid Systems [J], Theoretical Computer Science 138, 101-112, 1995.

同被引文献13

  • 1文贵华,郑启伦,丁月华.创新思维的旋转动力学理论框架[J].系统仿真学报,2004,16(8):1808-1811. 被引量:2
  • 2Huszerl G, Majzik I. Modeling and Analysis of Redundancy Management in Distributed Object-oriented Systems by Using UML Statecharts. In: Proceedings of 27^th, Euromicro Conference, 2001-09:2OO.
  • 3Yao Yiping, Cheng Minghua. The Application on Dynamic Fault Tree Analysis for Dissimilar Fault-tolerant Flight Control System. In:Digital Avionics Systems Conference, Proceedings of 18^th, 1999.
  • 4Jean-Francois E, Malecka S, Robert V. Petri Nets for the Evaluation of Redundant Systems. Reliability Engineering & System Safety, 1997,55 (2): 95-104.
  • 5X F Zha. An object-oriented knowledge based Petri net approach to intelligent integration of design and assembly planning [J]. Artificial Intelligence in Engineering, 2000, 14:83-112.
  • 6P Alexandra, G H Stefan. Hyperlog: A graph-based system for database browsing, query and update [J]. IEEE Transactions on knowledge and data engineering, 2003, 13(2): 316-328.
  • 7M Alison, M B Susan, and D P Alan, A Framework for product data[J]. IEEE Transaction on knowledge and data engineering, 1996, 8(5):825-833.
  • 8Oded Maimon, R Horowitz. Sufficient Conditions for Inventive Solutions [J]. IEEE Transactions on System Man and Cybernetics,1999, 29(3): 349-361.
  • 9Jacob Goldenberg, David Mazursky, Sorin Solomon. Templates of Original Innovation: Projecting Original Incremental Innovations from Intrinsic Information [J]. Technological Forecasting and Social Change, 1999, 61: 1-12.
  • 10Wen Guihua, H Ying, et al. An Evolution Model for the Creative Design [C]. Proceedings of 2000 IEEE international conference onsystem, man and cybernetics, Tennessee, USA, October 8-11, 2000.

引证文献2

二级引证文献4

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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