TRANSFORMATION OF IEC 61499 CONTROL SYSTEMS TO FORMAL MODELS
暂无分享,去创建一个
[1] H.-M. Hanisch,et al. Net condition/event systems with multiple condition outputs , 1995, Proceedings 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA'95.
[2] H.-M. Hanisch,et al. Modeling of PLC behavior by means of timed net condition/event systems , 1997, 1997 IEEE 6th International Conference on Emerging Technologies and Factory Automation Proceedings, EFTA '97.
[3] 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.
[4] Emmanuel Pietriga,et al. A toolkit for addressing HCI issues in visual language environments , 2005, 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05).
[5] Arndt Lüder,et al. Formaler Steuerungsentwurf mit modularen diskreten Verhaltensmodellen , 2000 .
[6] Valeriy Vyatkin,et al. Systematic Design and Implementation of Distributed Controllers in Industrial Automation , 2006, 2006 IEEE Conference on Emerging Technologies and Factory Automation.
[7] 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..
[8] M. Hirsch,et al. Design and Implementation of Heterogeneous Distributed Controllers According to the IEC 61499 Standard - A Case Study , 2007, 2007 5th IEEE International Conference on Industrial Informatics.