 |
 |
|
|
| HAL: hal-00019877, version 1 |
| Detailed view |  Export this paper |
 |
| Actes du 5ème Colloque sur la Modélisation des Systèmes Réactifs (MSR'05), Autrans : France (2005) |
|
|
|
|
| Introduction au contrôle des systèmes temps-réel |
|
|
| Karine Altisen 1Patricia Bouyer 2 |
|
|
| (2005) |
|
|
|
| Ce document est une introduction rapide au domaine du contrôle des sytèmes temporisés |
|
|
|
|
|
|
|
|
|
|
|
| 1: | VERIMAG (VERIMAG - IMAG) |
|
|
|
CNRS : UMR5104 – Université Joseph Fourier - Grenoble I – Institut National Polytechnique de Grenoble (INPG) |
|
|
| 2: | Laboratoire Spécification et Vérification [Cachan] (LSV) |
|
|
|
CNRS : UMR8643 – INRIA – École normale supérieure de Cachan - ENS Cachan |
|
|
| 3: | Laboratoire d'informatique Algorithmique : Fondements et Applications (LIAFA) |
|
|
|
CNRS : UMR7089 – Université Paris VII - Paris Diderot |
|
|
| 4: | Institut de Recherche en Communications et en Cybernétique de Nantes (IRCCyN) |
|
|
|
CNRS : UMR6597 – PRES Université Nantes Angers Le Mans [UNAM] – École Centrale de Nantes – École Nationale Supérieure des Mines - Nantes – Ecole Polytechnique de l'Université de Nantes |
|
|
|
|
|
|
|
|
|
|
|
| contrôle – temporisés |
|
|
|
| Attached file list to this document: | ||||||||||
|
||||||||||
|
|
|
| hal-00019877, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00019877 | |
| oai:hal.archives-ouvertes.fr:hal-00019877 | |
| From: Thierry Cachat | |
| Submitted on: Tuesday, 28 February 2006 17:11:34 | |
| Updated on: Monday, 13 March 2006 23:47:07 | |
