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

https://hal.archives-ouvertes.fr/hal-00738467
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

File

2012_WODES_Roussel_Lesage.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00738467, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

174

Files downloads

185