期刊文献+

混合系统的建模设计与仿真综述 被引量:2

Modeling,Design and Simulation of Hybrid Systems:Review and Analysis
下载PDF
导出
摘要 混合系统是一类既包含连续动态行为又包含离散动态行为的系统,这类系统在实际应用中显得越来越重要,对这类系统需要探索新的模型和研究方法。该文在概述混合系统概念、特点以及发展近况的基础上,主要综述了近年来混合系统研究中的一些重要问题,指出现有各种方法的优缺点,并指出了今后的研究方向。该文首先介绍了混合系统研究中多种常见的建模方法,如混合自动机、Petri网和时段演算,然后重点讨论了混合系统一些重要性质,主要集中在对系统稳定性、可达性、可观性的分析方法上,以及混合系统的多种设计方法,并且对这些方法进行了初步评价,最后介绍了混合系统研究中一些常用的仿真工具。 The hybrid systems caontain both the discrete events and the continuous dynamicevents. These systems are becoming more and more important and call for new modeling and analysis approach. After the conception, characteristic, up - to - date development of hybrid systems are introduced, a summary including some major problem of hybrid system is given. And after making some remarks on the advantages and disadvantages of the existing methods, some new ideas about the future possible methods for hybrid systems are proposed. Firstly, some popular modeling methods for hybrid systems, such as hybrid automata, Petri nets and duration calculi, are introduced. Secondly, the quality analysis of hybrid systems which mainly focuses on stability, reaehability and observability, is presented as well. Then some design methods for hybrid systems and their evaluation are also recommended. Finally some primary tools of simulation for hybrid systems are summarized.
出处 《计算机仿真》 CSCD 2006年第6期1-5,共5页 Computer Simulation
基金 国家自然科学基金(60204010)
关键词 混合系统 混合自动机 佩特里网 时段演算 Hybrid system Hybrid automata Petri nets Duration calculi
  • 相关文献

参考文献20

  • 1T Alur,C Courcoubetis,T A Henzinger and P H Ho.Hybrid automata,An algorithmic approach to the specification and verification of hybrid systems[J].In Lecture Notes in Computer Science,Springer-Verlag,1993,736:209-229.
  • 2S Pettersson.Hybrid Petri Net[R].Tech.Report CODEN:CTH/RT/E-93/0012,Control Engineering Laboratory.Chalmers University of Technology,Gotebor,Sweden,1993.
  • 3郑大钟 赵千川.离散事件动态系统[M].清华大学出版社,1999..
  • 4Zhou Chaochen,Duration Calculi:An Overview.Proceedings of Formal Methods in Programming and Their Applications[M].Novosibirsk,Russia,LNCS 735,June/July 1993.256-266.
  • 5Xinyao Yu,Ji Wang,Chaochen Zhou and P K Pandya.Formal design of hybrid systems[R].Research report,UNU/IIST,P.O.Box 3058,Macao,March 1994.W.P.de Roever et al.,editor,Formal Techniques in Real-time and Fault Tolerant Systems,Springer-Verlag,LNCS 863,September 1994.
  • 6Bjorn Carlson,Vineet Gupta.Hybrid CC with interval constraints[M].HSCC,1998.80-95.
  • 7Liu Jie,et al.A hierarchical hybrid system model and its simulation[C].Proc.of the 38 th IEEE Conference on Decision and Control (CDC'99),Phoenix,AZ,Dec.1999.3508-3513.
  • 8A Deshpande,A G?llü and P Varaiya.A Formalism and a Programming Language for Dynamic Networks of Hybrid Automata[M].In Hybrid Systems Ⅳ.Springer-Verlag,1997.
  • 9R Alur,T A Henzinger and P H Ho.Automatic Symbolic Verification of Embedded Systems[J].IEEE Transactions on Software Engineering,1996,22:181-201.
  • 10Johan Bengtsson,Palle Christensen,Per Jensen,Kim G Larsen,Fredrik Larsson,Paul Pettersson,Thomas S rensen and Wang Yi.Uppaal:a Tool Suite for Validation and Verification of Real-Time Systems[M].User guide,1996.

共引文献6

同被引文献18

  • 1马博,韩俊刚.采用PSL的基于断言的验证[J].计算机工程,2007,33(2):217-219. 被引量:3
  • 2张华,郭建,韩俊刚.基于PSL断言的宽带电路交换芯片验证[J].计算机工程,2007,33(14):216-218. 被引量:3
  • 3FOSTER H, MARSCHNER E, WOLFSTHAL Y. IEEE 1850 PSL: the next generation [ C]//Proc of Design and Verification Conference. 2005:201-206.
  • 4TUERK T, SCHNEIDER K, GORDON M. Model checking PSL using HOL and SMV [ C]//Proc of the 2nd International Conference on Hardware and Software, Verification and Testing. 2007 : 1-15.
  • 5MALER O, PNUELI A. Extending PSL for analog circuits, PROSYD Deliverable D 1.3/1 [ R]. 2005.
  • 6STEINHORST S, HEDRICH L. Model checking of analog systems using an analog specification language [ C ]//Proc of the Conference on Design,Automation and Test in Europe. New York:ACM Press, 2008 : 324- 329.
  • 7ZHANG Meng, GAO De-yuan, FAN Xiao-ya, et al. Verifying dynamics of mixed-signal circuits with random noise using statistical Petri net [C]//Proc of the 7th International Conference on ASIC. Guilin: IEEE Press, 2007 : 1209-1212.
  • 8R Navid, et al. Minimum achievable phase noise of RC oscillators [J]. Solid- State Circuits, IEEE Journal of, 2005, 40:630 - 637.
  • 9W Hartong, et al. Model checking algorithms for analog verification [ C]. Design Automation Conference, 2002. Proceedings. 39th, 2002. 542 -547.
  • 10T Dang, et al. Verification of Analog and Mixed - Signal Circuits using Hybrid System Techniques [ J]. Lecture Notes in Computer Science: Formal Methods in Computer- Aided Design, 2004, 3312:21 -36.

引证文献2

二级引证文献4

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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