E-LIB Suche - Ergebnisse für: Xavier, Midhun

1

A Framework for the Generation of Monitor and Plant Model F..:

Xavier, Midhun ; Dubinin, Victor ; Patil, Sandeep.
IEEE Open Journal of the Industrial Electronics Society. 5 (2024) - p. 517-534 , 2024

Link: https://doi.org/10.1109/..

2

Probabilistic Model Checking for IEC 61499: A Manufacturing..:

, In: 2024 IEEE International Conference on Industrial Technology (ICIT),

Faqrizal, Irman ; Liakh, Tatiana ; Xavier, Midhun.. - p. 1-6 , 2024

Link: https://doi.org/10.1109/..

3

Formal verification of observers supervising a cyber-physic..:

, In: 2023 IEEE 32nd International Symposium on Industrial Electronics (ISIE),

Ovsiannikova, Polina ; Priol, Etienne Le ; Perret, Vincent... - p. 1-6 , 2023

Link: https://doi.org/10.1109/..

4

Generating Por table Test Cases for IEC 61499 FBs from Inte..:

, In: 2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA),

Wiesmayr, Bianca ; Xavier, Midhun ; Patil, Sandeep.. - p. 1-4 , 2023

Link: https://doi.org/10.1109/..

5

A Comprehensive Approach for Gearbox Fault Detection and Di..:

, In: 2023 IEEE International Conference on Prognostics and Health Management (ICPHM),

Sobha, Parvathy ; Xavier, Midhun ; Chandran, Praneeth - p. 180-185 , 2023

Link: https://doi.org/10.1109/..

6

Formal Modelling, Analysis, and Synthesis of Modular Indust..:

, In: Application and Theory of Petri Nets and Concurrency; Lecture Notes in Computer Science,

Xavier, Midhun ; Patil, Sandeep ; Dubinin, Victor. - p. 16-33 , 2023

Link: https://doi.org/10.1007/..

7

DeLMS: A decentralized learning management system using Eth..:

, In: 2023 IEEE 21st International Conference on Industrial Informatics (INDIN),

Xavier, Midhun ; Sobha, Parvathy ; Patil, Sandeep. - p. 1-6 , 2023

Link: https://doi.org/10.1109/..

8

Green transport and renewable power: an integrated analysis..:

Sobha, Parvathy ; Muthusamypillai, Akshayan ; Xavier, Midhun
International Journal of Sustainable Energy. 42 (2023) 1 - p. 1517-1537 , 2023

Link: https://doi.org/10.1080/..

9

Developing a Test Suite for Evaluating IEC 61499 Applicatio..:

, In: 2023 IEEE 32nd International Symposium on Industrial Electronics (ISIE),

Xavier, Midhun ; Laikh, Tatiana ; Patil, Sandeep. - p. 1-4 , 2023

Link: https://doi.org/10.1109/..

10

Formal Verification of the Control Software of a Radioactiv..:

Lilli, Giordano ; Xavier, Midhun ; Le Priol, Etienne...
IEEE Open Journal of the Industrial Electronics Society. 4 (2023) - p. 417-431 , 2023

Link: https://doi.org/10.1109/..

11

An interactive learning approach on digital twin for derivi..:

, In: 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA),

Xavier, Midhun ; Dubinin, Victor ; Patil, Sandeep. - p. 1-7 , 2022

Link: https://doi.org/10.1109/..

12

Process mining in industrial control systems:

, In: 2022 IEEE 20th International Conference on Industrial Informatics (INDIN),

Xavier, Midhun ; Dubinin, Victor ; Patil, Sandeep. - p. 1-6 , 2022

Link: https://doi.org/10.1109/..

13

Plant Model Generator from Digital Twin for Purpose of Form..:

, In: 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA ),

Xavier, Midhun ; Hakansson, Johannes ; Patil, Sandeep. - p. 1-4 , 2021

Link: https://doi.org/10.1109/..

14

Formal Verification of the Control Software of a Radioactiv..:

Lilli, Giordano ; Xavier, Midhun ; Le Priol, Etienne...
, 2023, 4, s. 417-431. , 2023

Link: http://urn.kb.se/resolve..

15

Formal Verification of the Control Software of a Radioactiv..:

Lilli, Giordano ; Xavier, Midhun ; Le Priol, Etienne...
info:eu-repo/grantAgreement/EC/HE/101057083/EU//Zero-SWARM. , 2023

Link: https://aaltodoc.aalto.f..