Skip to content
Dummy image
Dummy image

Midhun Xavier

PhD Student
Luleå University of Technology
Computer Science
Department of Computer Science, Electrical and Space Engineering
midhun.xavier@ltu.se
+46 (0)920 492848
Luleå

Publications

Conference paper

An interactive learning approach on digital twin for deriving the controller logic in IEC 61499 standard (2022)

Xavier. M, Dubinin. V, Patil. S, Vyatkin. V
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)

Xavier. M, Dubinin. V, Patil. S, Vyatkin. V
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)

Xavier. M, Patil. S, Vyatkin. V
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)

Xavier. M, Håkansson. J, Patil. S, Vyatkin. V
Part of: 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), s. 1-4, IEEE, 2021
Manuscript (preprint)

Plant model generation from event log using ProM for formal verification of CPS

Xavier. M, Dubinin. V, Patil. S, Vyatkin. V