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 36/7 - 2002  - pp.959-971
TITLE
Hybrid Approximations for Continuous Systems

RÉSUMÉ
L'abstraction d'une dynamique continue par un automate hybride linéaire permet d'utiliser les techniques de vérification formelle sur ces modèles pour vérifier des propriétés de systèmes hybrides. Cette abstraction est basée sur une partition de l'espace d'état continu et un encadrement des dérivées des composantes du vecteur d'état. Dans le cadre des systèmes linéaires nous proposons d'utiliser des caractéristiques du système telles que les isoclines pour guider la partition de l'espace. Cette utilisation permet de concilier l'amélioration de l'encadrement de la dérivée et la structuration de l'automate abstrait et permet donc de diminuer les sur-approximations introduites par l'abstraction dans les calculs d'atteignabilité.


ABSTRACT
Abstracting a continuous dynamics with a hybrid linear automaton allows to use formal verification techniques to check properties of hybrid systems. In order to do this approximation, the state space is partitioned and the rate of each state variable is over approximated. When the system is linear we propose to use properties of the continuous system such as the isoclines to split the state space. This enables to get a tighter abstraction with an automaton that remains simple and so the reachability calculuses are more accurate.


AUTEUR(S)
M. LEFEBVRE, Hervé GUÉGUEN, Jean BUISSON

MOTS-CLÉS
systèmes hybrides, abstraction, structuration.

KEYWORDS
Hybrid systems, abstraction, structuring.

LANGUE DE L'ARTICLE
Anglais

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



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier