Algebraic synthesis of logical controllers despite inconsistencies in specifications - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Algebraic synthesis of logical controllers despite inconsistencies in specifications

Résumé

This paper deals with the problem of consistency of the requirements which are the starting point of controller synthesis methods for Discrete Event Systems (DES). In previous papers, an algebraic synthesis method for logical systems has been proposed. This method includes a theorem allowing the proof of consistency of the set of specifications. In this paper, we show that if inconsistencies are detected, the conditions of these inconsistencies can be given to the designer. It is therefore possible for the designer to propose priority rules between the involved requirements allowing the correction of incoherent specifications. Both the mathematical and the methodological aspects of this work are presented. In an illustrative purpose, the case study of a hydraulic press is developed.
Fichier principal
Vignette du fichier
2012_WODES_Roussel_Lesage.pdf (308.03 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00738467 , version 1 (04-10-2012)

Identifiants

  • HAL Id : hal-00738467 , version 1

Citer

Jean-Marc Roussel, Jean-Jacques Lesage. Algebraic synthesis of logical controllers despite inconsistencies in specifications. 11th International Workshop on Discrete Event Systems, WODES 2012, Oct 2012, Guadalajara, Mexico. pp. 307--314. ⟨hal-00738467⟩
105 Consultations
222 Téléchargements

Partager

Gmail Facebook X LinkedIn More