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 41/7-8 - 2007  - pp.855-883  - doi:10.3166/jesa.41.855-883
TITRE
Vérification de sûreté et atteignabilité des systèmes hybrides. État de l'art

RÉSUMÉ
La vérification de propriétés de sûreté par atteignabilité pour les systèmes hybrides est un champ extrêmement actif de la recherche. De nombreuses approches, basées sur des considérations en apparence très différentes, sont proposées pour résoudre ce problème complexe. L'objectif de cet article est de présenter une synthèse des problèmes posés par la vérification de sûreté des systèmes hybrides et de mettre en perspective diverses approches de la littérature.


ABSTRACT
Safety verification and reachability for hybrid systems is a very active research domain. Many approaches that seem quite different, have been proposed to solve this complex problem and this paper presents a synthesis of these various approaches with respect to basic problems related to verification of hybrid systems.


AUTEUR(S)
Othman NASRI, Marie-Anne LEFEBVRE, Hervé GUÉGUEN, Janan ZAYTOON

MOTS-CLÉS
systèmes hybrides, sûreté, atteignabilité, vérification.

KEYWORDS
hybrid systems, safety, reachability, verification.

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



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier