Home » Verification de La Surete Des Systemes Hybrides by Othman Nasri
Verification de La Surete Des Systemes Hybrides Othman Nasri

Verification de La Surete Des Systemes Hybrides

Othman Nasri

Published August 8th 2012
ISBN : 9783838171975
Paperback
144 pages
Enter the sum

 About the Book 

Les systemes dynamiques hybrides sont des systemes dynamiques faisant intervenir explicitement et simultanement des phenomenes ou des modeles de type dynamique continu et evenementiel. Dans cette these, nous proposons des techniques algorithmiques deMoreLes systemes dynamiques hybrides sont des systemes dynamiques faisant intervenir explicitement et simultanement des phenomenes ou des modeles de type dynamique continu et evenementiel. Dans cette these, nous proposons des techniques algorithmiques de verification formelle de proprietes pour ces systemes. Ces techniques de verification se basent sur le calcul de lespace atteignable a partir dune region initiale pour determiner si lintersection de cet espace avec le domaine a eviter est bien vide. Notre methode consiste a partitionner lespace detat du systeme complexe en regions et a approximer pour chacune de ces regions la dynamique du systeme etudie par une dynamique plus simple. Nous presentons des extensions a une proposition precedente afin de prendre en compte des incertitudes dans les dynamiques affines. Dans un premier temps cette incertitude est consideree comme invariante. Dans un second temps nous la considerons variante. Cette deuxieme extension permet de considerer latteignabilite des systemes non-lineaires.