Communication Dans Un Congrès Année : 2025

From Algebraic Synthesis and GRAFCET to Logical Controller Design in ST Code (IEC 61131-3)

Résumé

This paper addresses the problem of logic controller synthesis and the automatic generation of code compliant with the IEC 61131-3 standard, specifically Structured Text (ST) code. From a methodological perspective, two complementary approaches can be used to tackle this problem. The extensional approach explicitly represents the solution using models such as GRAFCET or Petri nets. In contrast, the intensional approach defines the solution space through a set of rules or constraints, without enumerating all possible solutions. Among intensional techniques, algebraic synthesis stands out as a formal method to derive controllers from specifications. We argue that combining extensional and intensional approaches leads to more efficient and robust controller design. To this end, we propose a hybrid workflow that integrates an extensional model (GRAFCET) with an intensional method (algebraic synthesis), enabling the automatic generation of IEC 61131-3 ST code. To support this workflow, we have developed two software tools: GReSTIC, for code generation and simulation, and BooG, for the algebraic synthesis and fusion of the two approaches. The proposed methodology is validated through a case study, demonstrating the automatic generation of reliable and standard-compliant ST code.

Fichier principal
Vignette du fichier
Mathieu Roisin PapierICINCO.pdf (488.57 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-05361727 , version 1 (12-11-2025)

Licence

Identifiants

  • HAL Id : hal-05361727 , version 1

Citer

Mathieu Roisin, Dimitri Renard, David Annebicque, Bernard Riera, Pierre-Alain Yvars. From Algebraic Synthesis and GRAFCET to Logical Controller Design in ST Code (IEC 61131-3). 22nd international conference on information in control, automation and robotics (ICINCO 2025), Oct 2025, Marbella, Spain. ⟨hal-05361727⟩
1421 Consultations
106 Téléchargements

Partager

  • More