Hoppa till innehållet
Dummy image
Dummy image

Midhun Xavier

Doktorand
Luleå tekniska universitet
Datavetenskap
Institutionen för system- och rymdteknik
midhun.xavier@ltu.se
0920-492848
Luleå

Publikationer

Konferensbidrag

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
Ingår i: 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA), IEEE, 2022
Konferensbidrag

Process mining in industrial control systems (2022)

Xavier. M, Dubinin. V, Patil. S, Vyatkin. V
Ingår i: 2022 IEEE 20th International Conference on Industrial Informatics (INDIN), s. 1-6, Institute of Electrical and Electronics Engineers (IEEE), 2022
Konferensbidrag

Cyber-physical automation systems modelling with IEC 61499 for their formal verification (2021)

Xavier. M, Patil. S, Vyatkin. V
Ingår i: Proceedings, 2021 IEEE 19th International Conference on Industrial Informatics (INDIN), IEEE, 2021
Konferensbidrag

Plant Model Generator from Digital Twin for Purpose of Formal Verification (2021)

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

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

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