Safa Guellouz, Adel Benzina, Mohamed Khalgui, Georg Frey, Zhiwu Li, Valeriy Vyatkin. Designing Efficient Reconfigurable Control Systems Using IEC61499 and Symbolic Model Checking. IEEE T. Automation Science and Engineering, 16(3):1110-1124, 2019. [doi]
@article{GuellouzBKFLV19,
title = {Designing Efficient Reconfigurable Control Systems Using IEC61499 and Symbolic Model Checking},
author = {Safa Guellouz and Adel Benzina and Mohamed Khalgui and Georg Frey and Zhiwu Li and Valeriy Vyatkin},
year = {2019},
doi = {10.1109/TASE.2018.2868897},
url = {https://doi.org/10.1109/TASE.2018.2868897},
researchr = {https://researchr.org/publication/GuellouzBKFLV19},
cites = {0},
citedby = {0},
journal = {IEEE T. Automation Science and Engineering},
volume = {16},
number = {3},
pages = {1110-1124},
}