ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Temporal Specification Mining for IEC 61499 Function Blocks Using Evolutionary Algorithms and Model Checking
2021 IEEE Congress on Evolutionary Computation (CEC)
◽
10.1109/cec45853.2021.9504765
◽
2021
◽
Author(s):
Daniil Chivilikhin
Keyword(s):
Model Checking
◽
Evolutionary Algorithms
◽
Specification Mining
◽
Function Blocks
◽
Iec 61499
◽
Temporal Specification
Download Full-text
Related Documents
Cited By
References
Reduction of development time by using scriptable IEC 61499 function blocks in a dynamically loadable type library
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)
◽
10.1109/etfa.2014.7005164
◽
2014
◽
Cited By ~ 1
Author(s):
Matthias Plasch
◽
Michael Hofmann
◽
Gerhard Ebenhofer
◽
Martijn Rooker
Keyword(s):
Development Time
◽
Function Blocks
◽
Iec 61499
Download Full-text
Formal Model for IEC 61499 Function Blocks
Model-Driven Design Using IEC 61499
◽
10.1007/978-3-319-10521-5_4
◽
2014
◽
pp. 65-91
◽
Cited By ~ 1
Author(s):
Li Hsien Yoong
◽
Partha S. Roop
◽
Zeeshan E. Bhatti
◽
Matthew M. Y. Kuo
Keyword(s):
Formal Model
◽
Function Blocks
◽
Iec 61499
Download Full-text
Unit Test Framework for IEC 61499 Function Blocks
Distributed Control Applications
◽
10.1201/b19391-8
◽
2017
◽
pp. 123-144
Author(s):
Reinhard Hametner
◽
Ingo Hegny
◽
Alois Zoitl
Keyword(s):
Unit Test
◽
Function Blocks
◽
Test Framework
◽
Iec 61499
Download Full-text
Observer based verification of IEC 61499 function blocks
2011 9th IEEE International Conference on Industrial Informatics
◽
10.1109/indin.2011.6034948
◽
2011
◽
Cited By ~ 10
Author(s):
Zeeshan E. Bhatti
◽
Roopak Sinha
◽
Partha S. Roop
Keyword(s):
Function Blocks
◽
Iec 61499
Download Full-text
Modelling Distributed Motion Control Applications using IEC 61499 Function Blocks
IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society
◽
10.1109/iecon.2019.8927188
◽
2019
◽
Author(s):
Wenbin Dai
◽
Weiqi Sun
◽
Xian Wu
◽
Peng Wang
◽
Hualiang Zhang
Keyword(s):
Motion Control
◽
Control Applications
◽
Function Blocks
◽
Iec 61499
Download Full-text
Redesign Distributed PLC Control Systems Using IEC 61499 Function Blocks
IEEE Transactions on Automation Science and Engineering
◽
10.1109/tase.2012.2188794
◽
2012
◽
Vol 9
(2)
◽
pp. 390-401
◽
Cited By ~ 33
Author(s):
Wenbin Dai
◽
Valeriy Vyatkin
Keyword(s):
Control Systems
◽
Plc Control
◽
Function Blocks
◽
Iec 61499
Download Full-text
Integrating CNet and IEC 61499 function blocks
2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007)
◽
10.1109/efta.2007.4416811
◽
2007
◽
Cited By ~ 1
Author(s):
Nils Hagge
Keyword(s):
Function Blocks
◽
Iec 61499
Download Full-text
Redesign distributed IEC 61131-3 PLC system in IEC 61499 function blocks
2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)
◽
10.1109/etfa.2010.5641239
◽
2010
◽
Cited By ~ 4
Author(s):
Wenbin Dai
◽
V Vyatkin
Keyword(s):
Function Blocks
◽
Iec 61499
Download Full-text
Integration of Wireless Sensor Networks into the distributed intelligent manufacturing within the framework of IEC 61499 function blocks
2011 IEEE International Conference on Systems, Man, and Cybernetics
◽
10.1109/icsmc.2011.6084204
◽
2011
◽
Cited By ~ 3
Author(s):
Reza Abrishambaf
◽
Majid Hashemipour
◽
Mert Bal
Keyword(s):
Wireless Sensor Networks
◽
Sensor Networks
◽
Intelligent Manufacturing
◽
Wireless Sensor
◽
Function Blocks
◽
Iec 61499
Download Full-text
MULTILAYER SYSTEMS OF IEC 61499 FUNCTION BLOCKS AND THEIR TRANSFORMATION TO ONE-LEVEL MODELS
University proceedings Volga region Technical sciences
◽
10.21685/2072-3059-2017-1-2
◽
2017
◽
Cited By ~ 1
Author(s):
V. N. Dubinin
◽
◽
L. P. Klimkina
◽
A. V. Kalachev
◽
◽
...
Keyword(s):
Multilayer Systems
◽
Function Blocks
◽
Iec 61499
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close