期刊文献+

基于混合自动机的随机噪声电路动态特性分析 被引量:2

Hybrid Automata Based Analysis for Dynamics of Circuits with Random Noise
下载PDF
导出
摘要 在集成电路非线性随机噪声的分析中应用Petri网技术,需要对原有的Petri网从定义和变迁发射规则方面等进行统计特性与连续特性的拓展研究和补充。并且基于噪声的随机非线性特性分析目的需求,拓展了传统的Petri网,提出了混合随机Petri网(Hybrid Statistical Petri Net,HSPN)模型分析方法。通过分析非线性电路的混合自动机模型,增加Petri网随机参数变迁描述能力,针对电路噪声特点,确定适合HSPN的随机动态特性分析模型。通过实例电路说明验证HSPN的建模方法,并与SPICE仿真软件进行比较,验证了该方法的精度和可行性。 If the Petri Net technique is used for nonlinear random analysis, some researches on statistical and continuous properties from the point of view of definition and emission rule should be made. Based on the requirement of analyzing the random nonlinear property of integrated circuits, the paper proposed a Hybrid Statistical Petri Net (HSPN) extended from traditional Petri Net. Derived from hybrid automat a model of nonlinear circuits, the capability of describing statistical transition has been enhanced. According to the circuit noise, HSPN based statistical dynamic model is presented. And the modeling methods are illustrated by a sample circuit. Comparing with SPICE simulation tool, the feasibility of this method is verified.
出处 《计算机仿真》 CSCD 2008年第6期326-330,共5页 Computer Simulation
基金 国家自然科学基金项目(60573143)
关键词 计算机仿真 模型 佩特里网 混合自动机 形式化方法 动态特性 Computer simulation Model Petri net Hybrid automata Formal methods Dynamics
  • 相关文献

参考文献11

  • 1W Hartong, et al. Model checking algorithms for analog verification [ C]. Design Automation Conference, 2002. Proceedings. 39th, 2002. 542 -547.
  • 2T 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.
  • 3S Gupta, et al. Towards formal verification of analog designs[ C]. Proceedings of ICCAD 2004. 210 -217.
  • 4E Asarin, et al. Reachability Analysis of Nonlinear Systems using Conservative Approximation[ J]. Lecture Notes in Computer Science, vol. 3037/2003. 31-45.
  • 5T Dang. Approximate reachability computation for polynomial systems [ J ]. Lecture Notes in Computer Science, vol. 3927/ 2006, 2006.
  • 6K H Johansson, et al. Hybrid automata: a formal paradigm for heterogeneous modeling[ C]. Proceedings of CACSD 2000. IEEE International Symposium on, 2000. 123 - 128.
  • 7E Barke, et al. On discrete modeling and model checking for nonlinear analog systems[ C ]. Proceedings of Computer Aided Verification: 14th International Conference, 2002. 401 - 413.
  • 8D W Scott Little, et al. Verification of analog and mixed - signal circuits using timed hybrid petri nets [ J ]. Lecture Notes in Computer Science, voL 3299/2004. 426 - 440.
  • 9E U Alessandro Giua. High - Level Hybrid Petri Nets : a Difinition [ C]. Proeeedings of the 35th Coferenee on Decision and Control, 1996. 148 - 150.
  • 10R Navid, et al. Minimum achievable phase noise of RC oscillators [J]. Solid- State Circuits, IEEE Journal of, 2005, 40:630 - 637.

二级参考文献20

  • 1郑大钟 赵千川.离散事件动态系统[M].清华大学出版社,1999..
  • 2R Alur,T A Henzinger and P H Ho.Automatic Symbolic Verification of Embedded Systems[J].IEEE Transactions on Software Engineering,1996,22:181-201.
  • 3Johan 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.
  • 4M Johansson and A Rantzer.Computation of piecewise quadratic Lyapunov function for hybrid systems[J].IEEE Trans.On Automatic Control,1998,34(4):555 -559.
  • 5K X He and M D Lemon.Lyapunov stability of continuous -valued systems under the supervision of discrete-event transition systems[M].Hybrid Systems:Computation and Control (HSCC'98).Berlin,Germany:Springer-Verlag,1998.175-189.
  • 6Hong Seong Park,Young Sin Kim and Wook Hyun Kwon.Model and Stability of Hybrid Systems[M].DIMACS workshop on Verification and Control of Hybrid Systems,1995-10.
  • 7Raymond A DeCarlo,Michael S Branicky,Stefan Pettersson.Perspectives and results on the stability and stabilizability of hybrid systems[C].Proceedings of the IEEE,2000,88(7):1069-1082.
  • 8C Tomlin,J Lygeros,S Sastry.A game theoretic approach to controller design for hybrid systems[C].Proceedings of the IEEE,July 2000.
  • 9Eugene Asarin,Olivier Bournez,Thao Dang,Oded Maler,and Amir Pnueli.Effective synthesis of switching controllers for linear systems[J].Proceedings of the IEEE,Special Issue on Hybrid Systems,Jul 2000,88(7):1011-1025.
  • 10J Hooman.A compositional approach to the design of hybrid systems.Hybrid Systems[J].Lecture Notes in Computer Science,No.736,Springer-Verlag,1993.

共引文献1

同被引文献10

引证文献2

二级引证文献3

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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