Coloured Petri Nets for Temporal Performance Evaluation of Distributed Control Systems—Application to a FIFO Queue

Sollier, Louis Bal Dit; Ourghanlian, Alain; Amari, Saïd

doi:10.1109/lra.2022.3196472

Cited by 4 publications

(1 citation statement)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The need to address these issues has stimulated the development of methodologies for modeling, analysis and synthesis of DCSs [5], which standardly rely on computational tools based on Java, C++ or MATLAB/Simulink [2,51,52] to perform simulations based on resulting models. Such approaches have enabled model-based analyses of DCS throughput/response time [53,54].…”

Section: Methodology For Modeling and Analysis Of Distributed Control...mentioning

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