 |
 |
|
|
| HAL : hal-00353634, version 1 |
| Fiche détaillée |  Récupérer au format |
 |
| 9th International Workshop On Discrete Event Systems (WODES'08), Göteborg : Suède (2008) |
|
|
|
|
| Algebraic Synthesis of Transition Conditions of a State Model |
|
|
Yann Hietter 1Jean-Marc Roussel 1 |
|
|
| (05/2008) |
|
|
|
| The synthesis method presented in this paper has been developed to automatically design logic controllers. In this paper, we show how to use this approach in the specific case where a designer must derive a particular controller from a generic model. The instantiation of the model is completely achieved by an algebraic synthesis. To illustrate the approach, the example of a water supply system is used and the generic model of the controller is given under the form of a Sequential Function Chart (SFC). |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire Universitaire de Recherche en Production Automatisée (LURPA) |
|
|
|
École normale supérieure de Cachan - ENS Cachan – Université Paris XI - Paris Sud |
|
|
|
|
|
|
|
|
|
| Domaine | : | Sciences de l'ingénieur/Automatique / Robotique |
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00353634, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00353634 | |
| oai:hal.archives-ouvertes.fr:hal-00353634 | |
| Contributeur : Jean-Marc Roussel | |
| Soumis le : Jeudi 15 Janvier 2009, 20:45:44 | |
| Dernière modification le : Vendredi 16 Janvier 2009, 17:17:29 | |
