Midhun Xavier
Doktorand
Luleå tekniska universitet
Luleå tekniska universitet
Datavetenskap
Institutionen för system- och rymdteknik
Publikationer
Konferensbidrag
An interactive learning approach on digital twin for deriving the controller logic in IEC 61499 standard (2022)
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)
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)
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)
Ingår i: 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), s. 1-4, IEEE, 2021
Manuskript (preprint)