General purpose architecture for real-time feedback control in nuclear fusion experiments
暂无分享,去创建一个
[1] Alexandre Yakovlev,et al. Verification of asynchronous circuits using time Petri net unfolding , 1996, DAC '96.
[2] S. Vitturi,et al. The RFX centralized control, data acquisition and machine protection systems , 1995 .
[3] M. Diaz,et al. Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..
[4] Marco Ajmone Marsan,et al. Modelling with Generalized Stochastic Petri Nets , 1995, PERV.
[5] H. Hanselmann. DSP in control: the Total Development Environment , 1996, Proceedings of the 1996 IEEE IECON. 22nd International Conference on Industrial Electronics, Control, and Instrumentation.
[6] Kurt Jensen,et al. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .
[7] M. Garribba,et al. The new control scheme for the JET plasma position and current control system , 1993, 15th IEEE/NPSS Symposium on Fusion Engineering - Supplement,.
[8] W. Treutterer,et al. Plasma Shape Control Design in ASDEX Upgrade , 1997 .
[9] C. Ramchandani,et al. Analysis of asynchronous concurrent systems by timed petri nets , 1974 .
[10] Sérgio Vale Aguiar Campos,et al. Symbolic Model Checking , 1993, CAV.
[11] Hanifa Boucheneb,et al. Occurrence Graphs for Interval Timed Coloured Nets , 1994, Application and Theory of Petri Nets.