Apport d'une approche à objets fondée sur les réseaux de Petri à l'analyse des systèmes hybrides

E. Villani*, J.C. Pascal**, P.E. Miyagi*, R. Valette**
*Dep. Mecatrônica, EPUSP, São Paulo, Brasil
**LAAS-CNRS, F-31077 Toulouse Cedex 4, France

Présenté à
CIFA 2002, Nantes, France, 8-10 juillet 2002 (article 659).

Résumé:

Cet article présente une approche pour l'analyse des systèmes hybrides à partir d'un modèle fondé sur les réseaux de Petri pour la partie discrète et sur les équations algébro- différentielles pour la partie continue. Le modèle est structuré par l'utilisation d'une approche à objets. Au moyen d'un exemple concernant un système d'air conditionné, il est montré qúune preuve complexe peut se décomposer en une suite de preuves plus élémentaires portant soit sur la partie discrète, soit sur la partie continue. Il devient possible d'envisager l'analyse du système non plus dans sa globalité, mais en s'appuyant sur les objets résultant de sa décomposition.