Author:
Do Tran Duc,Walter Jorg,Gruttner Kim,Oppenheimer Frank
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The IEC 61499 Standard in Industry 4.0;2024 IEEE International Conference on Automatic Control and Intelligent Systems (I2CACIS);2024-06-29
2. Enabling Automated Timing Verification: A Unified Approach for Industrial Distributed Control Systems;2024 IEEE International Conference on Industrial Technology (ICIT);2024-03-25
3. A Framework for the Generation of Monitor and Plant Model From Event Logs Using Process Mining for Formal Verification of Event-Driven Systems;IEEE Open Journal of the Industrial Electronics Society;2024
4. IEC 61499 Skill-based Distributed Design Pattern;2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA);2023-09-12
5. Formal verification of observers supervising a cyber-physical system implemented using IEC 61499;2023 IEEE 32nd International Symposium on Industrial Electronics (ISIE);2023-06-19