Midhun Xavier

PhD Student
Luleå University of Technology

Research subject: Dependable Communication and Computation Systems

Division: 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

Full text

Find more in the publications portal

Published:16 December 2020

Edit page