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 38/1-2 - 2004  - pp.145-175  - doi:10.3166/jesa.38.145-175
TITRE
Vérification des systèmes hybrides. Etat de l'art

RÉSUMÉ
Cette communication a pour objet de présenter les différentes facettes de la vérification des systèmes hybrides. Deux approches peuvent être adoptées. La première s'appuie sur le calcul de l'espace atteignable par un automate hybride représentant le système étudié et la deuxième sur l'abstraction de ce système par un système événementiel. Au coeur de ces approches se trouve le problème du calcul de l'espace atteignable par un système dynamique continu à partir d'un domaine initial. Le besoin d'obtenir des ensembles facilement manipulables et la non-décidabilité des problèmes conduit à utiliser diverses techniques d'approximation et d'abstraction dont les intérêts, principalement en vue d'améliorer la convergence de l'analyse, et les cadres d'application sont illustrés.


ABSTRACT
The aim of this paper is to present the facets related to the verification of hybrid systems. Verification techniques are usually based on the calculation of the reachable state space of a hybrid automaton representing the system under study. Decidability issues concerning the verification algorithms lead to use approximation and abstraction techniques. The contribution of these techniques to the convergence of the analysis methods are then illustrated.


AUTEUR(S)
Hervé GUÉGUEN, Janan ZAYTOON

MOTS-CLÉS
automate hybride, vérification, abstraction, décidabilité, espace atteignable.

KEYWORDS
Hybrid Automata, Verification, Abstraction, Decidability, Reachable Space.

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  (309 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier