Abstract FR:

La simulation qualitative est une technique permettant de produire des descriptions qualitatives de comportements de systèmes imparfaitement connus. Plusieurs problèmes empêchaient jusqu'à maintenant d'utiliser la simulation qualitative pour analyser des systèmes complexes : - désaccords sur la façon de produire et de représenter les comportements - production de comportements physiquement impossibles ; - production de comportements très similaires. Cette thèse présente une architecture unificatrice pour la simulation qualitative, basée sur l'algorithme QSIM de Kuipers, dans laquelle est intégré un ensemble de techniques pour résoudre ces problèmes : - une nouvelle contrainte basée sur une analyse qualitative de l'équilibre énergétique d'un système, appelée «contrainte d'énergie» ; - plusieurs méthodes d'abstraction permettant de regrouper des comportements similaires ; - un mécanisme pour instancier partiellement un graphe d'états, qui unifie les approches existantes. Nous avons montré la puissance, mais aussi les limitations de notre approche sur plusieurs exemples complexes comme un contrôleur proportionnel intégral non-linéaire et l'équation de Van der POL.