Midhun Xavier

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 13

Top Topics

Fault Detection And Diagnosis

Formal Verification

Interactive Learning

Top Venues

Publications

Irman Faqrizal, Tatiana Liakh, Midhun Xavier, Gwen Salaün, Valeriy Vyatkin
Probabilistic Model Checking for IEC 61499: A Manufacturing Application. ICIT (2024)
Midhun Xavier, Sandeep Patil, Valeriy Vyatkin
Enhancing Traceability in Flexible Production System: A Blockchain-Powered Approach in IEC 61499 Multi-Agent Control System. ISIE (2024)
Polina Ovsiannikova, Etienne Le Priol, Vincent Perret, Pranay Jhunjhunwala, Midhun Xavier, Valeriy Vyatkin
Formal verification of observers supervising a cyber-physical system implemented using IEC 61499. ISIE (2023)
Midhun Xavier, Parvathy Sobha, Sandeep Patil, Valeriy Vyatkin
DeLMS: A decentralized learning management system using Ethereum smart contracts and IPFS. INDIN (2023)
Midhun Xavier, Tatiana Laikh, Sandeep Patil, Valeriy Vyatkin
Developing a Test Suite for Evaluating IEC 61499 Application Portability. ISIE (2023)
Parvathy Sobha, Midhun Xavier, Praneeth Chandran
A Comprehensive Approach for Gearbox Fault Detection and Diagnosis Using Sequential Neural Networks. ICPHM (2023)
Midhun Xavier, Sandeep Patil, Victor Dubinin, Valeriy Vyatkin
Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems Inspired by Net Condition/Event Systems. Petri Nets (2023)
Bianca Wiesmayr, Midhun Xavier, Sandeep Patil, Alois Zoitl, Valeriy Vyatkin
Generating Por table Test Cases for IEC 61499 FBs from Interface Behaviour Specifications. ETFA (2023)
Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin
An interactive learning approach on digital twin for deriving the controller logic in IEC 61499 standard. ETFA (2022)
Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin
Process mining in industrial control systems. INDIN (2022)
Midhun Xavier, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin
Plant model generation from event log using ProM for formal verification of CPS. CoRR (2022)
Midhun Xavier, Sandeep Patil, Valeriy Vyatkin
Cyber-physical automation systems modelling with IEC 61499 for their formal verification. INDIN (2021)
Midhun Xavier, Johannes Håkansson, Sandeep Patil, Valeriy Vyatkin
Plant Model Generator from Digital Twin for Purpose of Formal Verification. ETFA (2021)