Skip to Main content Skip to Navigation

Contribution à la modélisation réaliste et multi-échelles des systèmes bouclés temporisés

Abstract : The analysis of a complete industrial production line, composed of several closed-loop systems, using detailed models is almost impossible due to size-related issues. A solution consists in performing a multi-scale analysis which uses some abstract models in place of detailed ones. In order to guarantee the analysis result, the detailed models need to have a correct behavior, and the abstract model of a closed-loop system has to be equivalent to the detailed model of the same closed-loop system. The first contribution details the construction process and the solutions used to build a correct --exempt from unrealistic evolutions-- model of a timed closed-loop system. This is achieved by using an urgency semantics upon timed automata with synchronization variables. The second contribution consists in proposing an equivalence which is suitable for the multi-scale analysis and then in proposing a technique --using formal methods-- to prove the equivalence between the abstract and detailed models.
Document type :
Complete list of metadata

Cited literature [35 references]  Display  Hide  Download
Contributor : ABES STAR :  Contact
Submitted on : Monday, November 19, 2012 - 12:02:39 PM
Last modification on : Monday, February 15, 2021 - 10:49:58 AM
Long-term archiving on: : Thursday, February 21, 2013 - 11:24:39 AM


Version validated by the jury (STAR)


  • HAL Id : tel-00753503, version 1



Matthieu Perin. Contribution à la modélisation réaliste et multi-échelles des systèmes bouclés temporisés. Autre. École normale supérieure de Cachan - ENS Cachan, 2012. Français. ⟨NNT : 2012DENS0028⟩. ⟨tel-00753503⟩



Record views


Files downloads