Modèles et raisonnements qualitatifs
Traité IC2, série Systèmes automatisés

Les chapitres 1 à 7 exposent les différents formalismes qualitatifs. Les chapitres 1, 2 et 3 présentent respectivement l'algèbre des signes, le raisonnement sur les ordres de grandeur et le raisonnement sur les intervalles. Ils sont illustrés et comparés sur un même exemple dans le chapitre 4. Le chapitre 5 s'intéresse ensuite à la théorie des intervalles modaux, extension des intervalles classiques. Le chapitre 6 sort des formalismes les plus connus et propose les ordres de croissance comme une contribution à l'analyse asymptotique des systèmes dynamiques. Enfin, le chapitre 7 concerne la causalité et les méthodes d'ordonnancement causal. Les chapitres 8 et 9 s'intéressent à la modélisation qualitative des systèmes dynamiques et aux techniques de simulation qualitative. Les concepts de base sont présentés en début de chapitre 8, notamment l'approche QSIM. Ce chapitre présente ensuite plusieurs extensions semi-qualitatives ainsi que des approches alternatives pour l'analyse qualitative des systèmes dynamiques. Il est complémenté par la chapitre 9 pour ce qui est des modèles par intervalles, dont une application à la détection de défauts est développée.

Introduction. L'algèbre des signes -J.-.L Dormoy, L. Travé-Massuyès. Le raisonnement sur les ordres de grandeur -L. Travé-Massuyès, Ph. Dague, N. Piera (décédé), N. Agell, F. Prats, M. Sanchez, A. Missier. Raisonnement sur les intervalles -O. Lhomme. L'exemple de l'échangeur de chaleur -Ph Dague, L. Travé-Massuyès. Intervalles modaux -E. Gardenyes, M.-A. Sainz. Raisonnement asymptotique par les ordres de croissance -A. Missier. Raisonnement causal en physique qualitative -Ph. Dague, L. Travé-Massuyès. Simulation qualitative -H. de Jong. Simulation semi-qualitative et application à la détection de défauts -J. Armengol, L. Travé-Massuyès, J. Vehi. Index.