Allocation de fonctions de commande de systèmes critiques par recherche d'atteignabilité dans un réseau d'automates communicants

Abstract : The design of operational control architectures is a very important step of the design of energy production systems. This step consists in mapping the functional architecture of the system onto its hardware architecture while respecting capacity and safety constraints, i.e. in allocating control functions to a set of controllers while respecting these constraints. The work presented in this thesis presents: i) a formalization of the data and constraints of the function allocation problem- ii) a mapping method, by reachability analysis, based on a request/response mechanism in a network of communicating automata with integer variables- iii) a comparison between this method and a resolution method by integer linear programming. The results of this work have been validated on examples of actual size and open the way to the coupling between reachability analysis and integer linear programming for the resolution of satisfaction problems for non-linear constraint systems.
Document type :
Theses
Complete list of metadatas

Cited literature [1 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00916583
Contributor : Abes Star <>
Submitted on : Tuesday, December 10, 2013 - 2:33:49 PM
Last modification on : Wednesday, June 28, 2017 - 11:41:41 AM
Long-term archiving on : Tuesday, March 11, 2014 - 9:35:17 AM

File

Lemattre2013.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-00916583, version 1

Collections

Citation

Thibault Lemattre. Allocation de fonctions de commande de systèmes critiques par recherche d'atteignabilité dans un réseau d'automates communicants. Autre. École normale supérieure de Cachan - ENS Cachan, 2013. Français. ⟨NNT : 2013DENS0025⟩. ⟨tel-00916583⟩

Share

Metrics

Record views

523

Files downloads

253