Basics of Modelling IEC 61499 Function Blocks with Integer-Valued Data Types
暂无分享,去创建一个
[1] V. Vyatkin,et al. Architecture for automation system development based on IEC 61499 standard , 2005, INDIN '05. 2005 3rd IEEE International Conference on Industrial Informatics, 2005..
[2] Georg Frey,et al. SEQUENTIAL CONTROL AT THE SUPERVISORY LEVEL OF BATCH PLANT USING SIGNAL INTERPRETED PETRI NETS , 2007 .
[3] Marcello Bonfè,et al. Design and verification of mechatronic object-oriented models for industrial control systems , 2003, EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.03TH8696).
[4] Hans-Michael Hanisch,et al. Hierarchical distributed controllers - design and verification , 2007, 2007 IEEE Conference on Emerging Technologies and Factory Automation (EFTA 2007).
[5] Wolfram Schiffmann,et al. Technische Informatik 1 , 1993 .
[6] V. Vyatkin,et al. Usability and Interoperability of IEC 61499 based distributed automation systems , 2006, 2006 4th IEEE International Conference on Industrial Informatics.
[7] Hervé Guéguen,et al. A Timed Automata Model of IEC 61499 Basic Function Blocks Semantic , 2003 .
[8] Valeriy Vyatkin,et al. A modeling approach for verification of IEC1499 function blocks using net condition/event systems , 1999, 1999 7th IEEE International Conference on Emerging Technologies and Factory Automation. Proceedings ETFA '99 (Cat. No.99TH8467).
[9] V. Vyatkin,et al. Modelling of IEC 61499 function blocks a clue to their verification , 2000 .
[10] G. Frey,et al. Modeling techniques for distributed control systems based on the IEC 61499 standard - current approaches and open problems , 2006, 2006 8th International Workshop on Discrete Event Systems.
[11] H.-M. Hanisch,et al. TRANSFORMATION OF IEC 61499 CONTROL SYSTEMS TO FORMAL MODELS , 2010 .
[12] Peng Zhao,et al. Modeling admissible behavior using event signals , 2004, IEEE Trans. Syst. Man Cybern. Part B.
[13] Valeriy Vyatkin,et al. Reuse of components in formal modeling and verification of distributed control systems , 2005, 2005 IEEE Conference on Emerging Technologies and Factory Automation.