A Formal Model of IEC 61499-Based Industrial Automation Architecture Supporting Time-Aware Computations

A Formal Model of IEC 61499-Based Industrial Automation Architecture Supporting Time-Aware Computations

This paper proposes a formal model for industrial cyber-physical systems (CPS) with distributed control based on IEC 61499 standard and supporting time-aware computations for better adaptation to the ever changing environment conditions. Main features of the model include usage of timestamps, flatte...

Full description

Bibliographic Details
Main Authors: Dmitrii Drozdov, Victor Dubinin, Sandeep Patil, Valeriy Vyatkin
Format: Article
Language:English
Published: IEEE 2021-01-01
Series:IEEE Open Journal of the Industrial Electronics Society
Subjects:
Abstract state machines
CPS
formal semantics
formal verification
IEC 61499
time-aware computations
Online Access:https://ieeexplore.ieee.org/document/9345533/

Internet

https://ieeexplore.ieee.org/document/9345533/

Similar Items