Algebraic synthesis of logical controllers despite inconsistencies in specifications

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [20 references]  Display  Hide  Download
Contributor : Jean-Marc Roussel <>
Submitted on : Thursday, October 4, 2012 - 1:45:04 PM
Last modification on : Thursday, February 9, 2017 - 3:03:14 PM
Long-term archiving on : Friday, December 16, 2016 - 9:45:58 PM


Files produced by the author(s)


  • HAL Id : hal-00738467, version 1



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⟩



Record views


Files downloads