 |
 |
|
|
| HAL : hal-00612273, version 1 |
| Fiche détaillée |  Récupérer au format |
 |
| IEEE 7th International Conference on Automation Science and Engineering, Trieste : Italie (2011) |
|
|
|
|
| Designing operational control architectures of critical systems by reachability analysis |
|
|
| Thibault Lemattre 1, 2Bruno Denis 1 |
|
|
| (27/08/2011) |
|
|
|
| This paper presents a method that eases the design of the operational architecture of a control system by providing, from the knowledge of some characteristics of the functions that the control system must ensure and a generic model of controller, an assignment solution of these functions that satisfies capabilities and distribution constraints. This method relies on the verification of a reachability property on a network of communicating automata that models the assignment process. The benefit of this proposal is illustrated by a non-trivial case study from industry. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire Universitaire de Recherche en Production Automatisée (LURPA) |
|
|
|
École normale supérieure de Cachan - ENS Cachan – Université Paris XI - Paris Sud |
|
|
| 2 : | EDF R&D |
|
|
|
EDF |
|
|
| 3 : | Centre de recherche en automatique de Nancy (CRAN) |
|
|
|
CNRS : UMR7039 – Université Henri Poincaré - Nancy I – Institut National Polytechnique de Lorraine (INPL) |
|
|
|
|
|
|
|
|
|
| Domaine | : | Sciences de l'ingénieur/Automatique / Robotique |
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00612273, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00612273 | |
| oai:hal.archives-ouvertes.fr:hal-00612273 | |
| Contributeur : Thibault Lemattre | |
| Soumis le : Mercredi 14 Septembre 2011, 09:09:11 | |
| Dernière modification le : Mercredi 14 Septembre 2011, 21:47:03 | |
