A generic approach to build plant models for DES verification purposes

Abstract : The modeling of plant behavior is often essential in the design, performance analysis or diagnosis of Discrete Event Systems (DES). Yet this task remains a difficult one for which little research has been devoted. In this paper, we propose a technique for building behavioral models specific to large-scale plants, in order to perform a formal verification of the controller by means of "model-checking". In this aim, we have opted to use a modular approach with an appropriate class of automata. To obtain the overall plant model, parallel evolutions of the elementary automata are to be coordinated by a sequencer that ensures consistency of these evolutions.
Document type :
Conference papers
Complete list of metadatas

Cited literature [23 references]  Display  Hide  Download

Contributor : Jean-Jacques Lesage <>
Submitted on : Friday, April 3, 2009 - 3:02:15 PM
Last modification on : Thursday, February 9, 2017 - 3:58:04 PM
Long-term archiving on : Thursday, June 10, 2010 - 7:41:57 PM


Files produced by the author(s)


  • HAL Id : hal-00373168, version 1



José Machado, Bruno Denis, Jean-Jacques Lesage. A generic approach to build plant models for DES verification purposes. 8th International Workshop on Discrete Event Systems, WODES'06, Jul 2006, Ann Arbor, Michigan, United States. pp.407-412. ⟨hal-00373168⟩



Record views


Files downloads