Plant Model Generator from Digital Twin for Purpose of Formal Verification. - Midhun Xavier; Johannes Håkansson; Sandeep Patil; Valeriy Vyatkin (ETFA, 2021)

Cyber-physical automation systems modelling with IEC 61499 for their formal verification. - Midhun Xavier; Sandeep Patil; Valeriy Vyatkin (INDIN, 2021)

An interactive learning approach on digital twin for deriving the controller logic in IEC 61499 standard. - Midhun Xavier; Victor Dubinin; Sandeep Patil; Valeriy Vyatkin (ETFA, 2022)

Process mining in industrial control systems. - Midhun Xavier; Victor Dubinin; Sandeep Patil; Valeriy Vyatkin (INDIN, 2022)

Plant model generation from event log using ProM for formal verification of CPS. - Midhun Xavier; Victor Dubinin; Sandeep Patil; Valeriy Vyatkin (CoRR, 2022)

Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems Inspired by Net Condition/Event Systems. - Midhun Xavier; Sandeep Patil; Victor Dubinin; Valeriy Vyatkin (Petri Nets, 2023)

Generating Por table Test Cases for IEC 61499 FBs from Interface Behaviour Specifications. - Bianca Wiesmayr; Midhun Xavier; Sandeep Patil; Alois Zoitl; Valeriy Vyatkin (ETFA, 2023)

A Comprehensive Approach for Gearbox Fault Detection and Diagnosis Using Sequential Neural Networks. - Parvathy Sobha; Midhun Xavier; Praneeth Chandran (ICPHM, 2023)

DeLMS: A decentralized learning management system using Ethereum smart contracts and IPFS. - Midhun Xavier; Parvathy Sobha; Sandeep Patil; Valeriy Vyatkin (INDIN, 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 (ISIE, 2023)

Developing a Test Suite for Evaluating IEC 61499 Application Portability. - Midhun Xavier; Tatiana Laikh; Sandeep Patil; Valeriy Vyatkin (ISIE, 2023)

Probabilistic Model Checking for IEC 61499: A Manufacturing Application. - Irman Faqrizal; Tatiana Liakh; Midhun Xavier; Gwen Salaün; Valeriy Vyatkin (ICIT, 2024)

LLM-Powered Multi-Actor System for Intelligent Analysis and Visualization of IEC 61499 Control Systems. - Midhun Xavier; Tatiana Laikh; Sandeep Patil; Valeriy Vyatkin (IECON, 2024)

Enhancing Traceability in Flexible Production System: A Blockchain-Powered Approach in IEC 61499 Multi-Agent Control System. - Midhun Xavier; Sandeep Patil; Valeriy Vyatkin (ISIE, 2024)