Skip to Main content Skip to Navigation
Theses

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.
Complete list of metadatas

Cited literature [35 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00753503
Contributor : Abes Star :  Contact
Submitted on : Monday, November 19, 2012 - 12:02:39 PM
Last modification on : Friday, June 23, 2017 - 9:45:02 AM
Document(s) archivé(s) le : Thursday, February 21, 2013 - 11:24:39 AM

File

Perin2012.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-00753503, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

566

Files downloads

470