

Midhun Xavier
PhD Student
Luleå University of Technology
Luleå University of Technology
Computer Science
Department of Computer Science, Electrical and Space Engineering
Publications
Conference paper
An interactive learning approach on digital twin for deriving the controller logic in IEC 61499 standard (2022)
Part of: 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA), IEEE, 2022
Conference paper
Process mining in industrial control systems (2022)
Part of: 2022 IEEE 20th International Conference on Industrial Informatics (INDIN), s. 1-6, Institute of Electrical and Electronics Engineers (IEEE), 2022
Conference paper
Cyber-physical automation systems modelling with IEC 61499 for their formal verification (2021)
Part of: Proceedings, 2021 IEEE 19th International Conference on Industrial Informatics (INDIN), IEEE, 2021
Conference paper
Plant Model Generator from Digital Twin for Purpose of Formal Verification (2021)
Part of: 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), s. 1-4, IEEE, 2021
Manuscript (preprint)