[HTML][HTML] Distributed Control of Cyber Physical System on Various Domains: A Critical Review

M Hamzah, MM Islam, S Hassan, MN Akhtar… - Systems, 2023 - mdpi.com
Cyber-Physical System (CPS) is a symbol of the fourth industrial revolution (4IR) by
integrating physical and computational processes which can associate with humans in …

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

M Xavier, S Patil, V Vyatkin - 2021 IEEE 19th International …, 2021 - ieeexplore.ieee.org
This paper introduces a problem-oriented notation within the IEC 61499 syntax to be used
for creating formal closed-loop models of cyber-physical automation systems. The proposed …

Structuring Cyber-Physical Systems for Distributed Control with IEC 61499 Standard

EM Cruz, LRG Carrillo… - IEEE Latin America …, 2023 - ieeexplore.ieee.org
With the constant growth in size and complexity of modern industrial applications, it is not
suitable to use a unique and centralized controller device for the whole process. Thus …

Formal Verification of the Control Software of a Radioactive Material Remote Handling System, Based on IEC 61499

G Lilli, M Xavier, E Le Priol, V Perret… - IEEE Open Journal …, 2023 - ieeexplore.ieee.org
Automation systems within nuclear laboratories are intended to work under harsh operating
conditions. Selective Production of Exotic Species (SPES) is a nuclear research facility …

Novel development tool for iec 61499 based on domain-specific languages

R Sorokin, S Patil, V Vyatkin - IFAC-PapersOnLine, 2022 - Elsevier
This paper presents an example of a systematic approach based on domain-specific
languages to implement Function Blocks Modelling Environment (FBME): an integrated …

Business process models for analysis of industrial IoT applications

A Krishna, G Salaün - Proceedings of the 11th International Conference …, 2021 - dl.acm.org
Industrial automation is a complex process involving various stakeholders. The two
important aspects to consider during the automation system development are its business …

[PDF][PDF] Homogenous and interoperable signaling computer interlocking through IEC 61499 standard

I Abourahim, M Eleuldj, M Amghar - International Journal of Electrical …, 2023 - academia.edu
The technological evolution of signaling systems has created a dependency from
infrastructure managers to suppliers and industrials dominating the market. Indeed, for each …

Embedded System Based on Task Interval Data Interaction Model

Q Yang - International Journal of High Speed Electronics and …, 2024 - World Scientific
In the Internet of Things era, more intelligent systems can communicate with each other.
Embedded system combined with network communication applications has become the …

Safety-driven design of automation systems in nuclear facilities

G Lilli - 2024 - research.unipd.it
Automation technologies employed in critical tasks within nuclear facilities provide clear
advantages in reducing staff exposure, but they also involve reliability challenges and safety …

Evolving distributed embedded applications during operation

K Telschig - 2023 - opus.bibliothek.uni-augsburg.de
Software-defined manufacturing is predicted to reshape the manufacturing landscape of the
future [XCG+ 21]. According to this, several national and international initiatives such as …