ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne

APPEL À
CONTRIBUTION

Le comité de rédaction du JESA lance un appel à proposition de numéros spéciaux.

En savoir plus >>
Autres revues >>

Journal Européen des Systèmes Automatisés

1269-6935
Revues des Systèmes
 

 ARTICLE VOL 39/1-3 - 2005  - pp.381-393  - doi:10.3166/jesa.39.381-393
TITRE
Observation partielle des systèmes temporisés

RÉSUMÉ
Dans cet article, nous présentons la contrainte d'observation partielle, contrainte qui apparaît naturellement lorsqu'il s'agit de modéliser des systèmes réels. Nous avons sélectionné trois problèmes où cette contrainte est fondamentale mais pose des problèmes spécifiques : le contrôle des systèmes temporisés, la détection d'erreurs et le test de conformité. Nous expliquons quelles méthodes peuvent être employées pour aider à résoudre ces problèmes.


ABSTRACT
In this paper, we present the partial observability constraint, which naturally appears when modeling real-time systems. We have selected three problems in which this hypothesis is fundamental but leads to more difficult problems: control of timed systems, fault diagnosis, and conformance testing. We describe methods which can be used for solving such problems.


AUTEUR(S)
Patricia BOUYER, Fabrice CHEVALIER, Moez KRICHEN, Stavros TRIPAKIS

MOTS-CLÉS
systèmes temporisés, contrôle, test, observation partielle.

KEYWORDS
Timed systems, control, test, partial observation.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 7.5 €
• Non abonné : 15.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (80 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier