Resumen de Automatización del análisis y simulación de modelos cualitativos mediante restricciones

Juan Antonio Ortega Ramírez , Rafael Martínez Gasca , José Miguel Toro Bonilla

• español

  En este trabajo estudiamos los sistemas que evolucionan en el tiempo de forma continua, y que se pueden representar por modelos cualitativos compuestos por variables y restricciones. Las variables tienen un conjunto de marcas relevantes. Definimos nuevas marcas importantes en el modelo, utilizando el conocimiento sobre equilibrios, estabilidad y bifurcaciones de la teoría cualitativa de los sistemas dinámicos.

  El objetivo es hacer ejecutables los modelos cualitativos. Para conseguirlo hemos de: transformar las restricciones del modelo en un conjunto de restricciones lineales combinadas mediante operadores and y or, formalizar las propiedades sobre monotonía en funciones continuas, y aplicar un algoritmo apropiado de propagación de restricciones. Esta representación nos ayuda a obtener los comportamientos del sistema que representamos mediante trayectorias cualitativas.

• English

  In this paper we study the systems that evolve in the time in a continuous way, and that can be represented through qualitative models made up for variables and constraints. Every variable has a set of landmarks. We define new landmarks using the knowledge about equilibrium points, stability, and bifurcation points of the qualitative theory of dinamical systems.

  The aim of this paper is to make executable the qualitative models. In order to obtain it, we transform the constraints of the model into a set of linear constraints combined through operators 'and' and 'or', we formalize the properties about monotony of continuous functions, and we apply an adequate constrint propagation algorithm. This representation help us to obtain the behaviors of the system that we represent by means of qualitative trajectories.