Analysis of distributed control systems using timed automata with guards and dioid algebra

Oumeziane, Fatima Ait; Ourghanlian, Alain; Amari, Saïd

doi:10.1109/etfa46521.2020.9211898

Cited by 2 publications

(1 citation statement)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…To estimate the throughput and response of a DCS, this system can be considered a Cyber-Physical System (CPS) that can be modeled and analyzed using the concept of Hybrid Systems [7,8]. Computing processes and communication networks within the DCS can be considered as systems with discrete events, which are convenient to model using a number of approaches including Finite-State Automata and Petri nets [9][10][11].…”

Section: Introductionmentioning

confidence: 99%

Modeling and Analysis of Distributed Control Systems: Proposal of a Methodology

Tkáčik,

Jadlovský,

Jadlovská

et al. 2023

Processes

View full text Add to dashboard Cite

A Distributed Control System is a concept of Network Control Systems whose applications range from industrial control systems to the control of large physical experiments such as the ALICE experiment at CERN. The design phase of the Distributed Control Systems implementation brings several challenges, such as predicting the throughput and response of the system in terms of data-flow. These parameters have a significant impact on the operation of the Distributed Control System, and it is necessary to consider them when determining the distribution of software/hardware resources within the system. This distribution is often determined experimentally, which may be a difficult, iterative process. This paper proposes a methodology for modeling Distributed Control Systems using a combination of Finite-State Automata and Petri nets, where the resulting model can be used to determine the system’s throughput and response before its final implementation. The proposed methodology is demonstrated and verified on two scenarios concerning the respective areas of ALICE detector control system and mobile robotics, using the MATLAB/Simulink implementation of created models. The methodology makes it possible to validate various distributions of resources without the need for changes to the physical system, and therefore to determine the appropriate structure of the Distributed Control System.

show abstract