Midhun Xavier

According to our database, Midhun Xavier authored at least 13 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Enhancing Traceability in Flexible Production System: A Blockchain-Powered Approach in IEC 61499 Multi-Agent Control System.

Midhun Xavier, Sandeep Patil, Valeriy Vyatkin

Proceedings of the 33rd IEEE International Symposium on Industrial Electronics, 2024

Probabilistic Model Checking for IEC 61499: A Manufacturing Application.

Irman Faqrizal, Tatiana Liakh, Midhun Xavier, Gwen Salaün, Valeriy Vyatkin

Proceedings of the IEEE International Conference on Industrial Technology, 2024

2023

Developing a Test Suite for Evaluating IEC 61499 Application Portability.

Midhun Xavier, Tatiana Laikh, Sandeep Patil, Valeriy Vyatkin

Proceedings of the 32nd IEEE International Symposium on Industrial Electronics, 2023

Formal verification of observers supervising a cyber-physical system implemented using IEC 61499.

Polina Ovsiannikova, Etienne Le Priol, Vincent Perret, Pranay Jhunjhunwala, Midhun Xavier, Valeriy Vyatkin

Proceedings of the 32nd IEEE International Symposium on Industrial Electronics, 2023

DeLMS: A decentralized learning management system using Ethereum smart contracts and IPFS.

Midhun Xavier, Parvathy Sobha, Sandeep Patil, Valeriy Vyatkin

Proceedings of the 21st IEEE International Conference on Industrial Informatics, 2023

A Comprehensive Approach for Gearbox Fault Detection and Diagnosis Using Sequential Neural Networks.

Parvathy Sobha, Midhun Xavier, Praneeth Chandran

Proceedings of the IEEE International Conference on Prognostics and Health Management, 2023

Generating Por table Test Cases for IEC 61499 FBs from Interface Behaviour Specifications.

Bianca Wiesmayr, Midhun Xavier, Sandeep Patil, Alois Zoitl, Valeriy Vyatkin

Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023

Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems Inspired by Net Condition/Event Systems.

Midhun Xavier, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023

2022

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

Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin

CoRR, 2022

Process mining in industrial control systems.

Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin

Proceedings of the 20th IEEE International Conference on Industrial Informatics, 2022

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

Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin

Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

2021

Cyber-physical automation systems modelling with IEC 61499 for their formal verification.

Midhun Xavier, Sandeep Patil, Valeriy Vyatkin

Proceedings of the 19th IEEE International Conference on Industrial Informatics, 2021

Plant Model Generator from Digital Twin for Purpose of Formal Verification.

Midhun Xavier, Johannes Håkansson, Sandeep Patil, Valeriy Vyatkin

Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021