Author:
Bonfè Marcello,Fantuzzi Cesare,Secchi Cristian
Subject
Applied Mathematics,Electrical and Electronic Engineering,Computer Science Applications,Control and Systems Engineering
Reference60 articles.
1. 3S Smart Software Solutions (2010). Codesys V3—The IEC 61131-3 development system 〈http://www.3s-software.com〉.
2. A SysML-based methodology for manufacturing machinery modeling and design;Bassi;IEEE/ASME Transactions on Mechatronics,2011
3. A comparison of sequential function charts and Statecharts and an approach towards integration;Bauer,2002
4. Bonfè, M., & Fantuzzi, C. (2003). Design and verification of industrial logic controllers with UML and Statecharts. In IEEE conference on control applications, Istanbul, Turkey.
5. Bonfè, M., Fantuzzi, C., & Secchi, C. (2005). Verification of behavioral substitutability in object-oriented models for industrial controllers. In Proceedings of the IEEE international conference on robotics and automation (ICRA), Barcelona, Spain.
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Modular Control Software Design to Support Mechatronic Variants in IEC 61499;2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA);2023-09-12
2. IEC 61499 Skill-based Distributed Design Pattern;2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA);2023-09-12
3. Formal Verification of the Control Software of a Radioactive Material Remote Handling System, Based on IEC 61499;IEEE Open Journal of the Industrial Electronics Society;2023
4. Architectural Concepts for IEC 61499-based Machine Controls: Beyond Normal Operation Handling;2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA);2022-09-06
5. Model Based Design in Industrial Automation;2022 6th International Conference On Computing, Communication, Control And Automation (ICCUBEA;2022-08-26