A generic approach to build plant models for DES verification purposes
José Machado, Bruno Denis, Jean-Jacques Lesage · 2006
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