Algebraic approach for dependable logic control systems design - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue International Journal of Production Research Année : 2004

Algebraic approach for dependable logic control systems design

Résumé

This article presents a formal method that enables to design a logic control system from specifications given in natural language. The aim of the proposed method is to prevent designer's faults coming from specifications misinterpretation. A significant part of the article is devoted to the presentation of the formal framework that underlies this formal design method: the algebra II. The operations and relations on this algebra allow to state formally specifications of a logic control system and to detect inconsistencies in a specifications set. This inconsistency problem is solved by introducing priority levels. From the consistent set of specifications obtained, control laws can be generated by using theorems and properties of the algebra II. An application of this formal design method to an industrial example permits to illustrate its main advantages.
Fichier principal
Vignette du fichier
2004_IJPR_PrePrint.pdf (260.59 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00344923 , version 1 (06-12-2008)

Identifiants

Citer

Jean-Marc Roussel, Jean-Marc Faure, Jean-Jacques Lesage, Antonio Medina. Algebraic approach for dependable logic control systems design. International Journal of Production Research, 2004, 42 (14), pp. 2859-2876. ⟨10.1080/00207540410001705266⟩. ⟨hal-00344923⟩
143 Consultations
141 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More