Midhun Xavier scite author profile

This paper introduces a problem-oriented notation within the IEC 61499 syntax to be used for creating formal closedloop models of cyber-physical automation systems. The proposed notation enables creation of a comprehensive tool-chain that can combine design, simulation, formal verification and distributed deployment of automation software. The proposed notation allows for definition of non-deterministic transitions in ECC of basic function blocks of IEC 61499. The tool chain includes an IEC 61499 compliant engineering environment, fb2smv converter of functions blocks to SMV code, the NuSMV model-checker and utilities for interpreting counterexamples.

show abstract

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

Xavier¹,

Dubinin²,

Patil³

et al. 2022

Preprint

View full text Add to dashboard Cite

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

Xavier

Dubinin

Patil

et al. 2022

View full text Add to dashboard Cite

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

Sobha

Xavier

Chandran

2023

View full text Add to dashboard Cite

scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.

Contact Info

customersupport@researchsolutions.com

10624 S. Eastern Ave., Ste. A-614

Henderson, NV 89052, USA

This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Blog Terms and Conditions API Terms Privacy Policy Contact Cookie Preferences Do Not Sell or Share My Personal Information

Made with 💙 for researchers

Part of the Research Solutions Family.

Midhun Xavier

Process mining in industrial control systems

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

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

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

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

Contact Info

Product

Resources

About