Líneas de Investigación



Modelado de Sistemas Dinámicos mediante Razonamiento Cualitativo y Semicuantitativo

El razonamiento cualitativo aporta un enfoque diferente a la resolución de sistemas físicos complejos. Mediante la utilización de representaciones y algebras más sencillos (i.e. el algebra de signos) las ecuaciones diferenciales ordinarias pueden ser mapeadas hacia un nuevo conjunto de ecuaciones denominadas ecuaciones diferenciales cualitativas EDC (i.e. las confluencias). Estas últimas aportan una solución al problema en forma de un conjunto de estados discretos que conforman lo que se conoce como grafo de comportamiento del sistema. Los algoritmos que se emplean a la hora de resolver computacionalmente estas ecuaciones, han sido ampliamente estudiados y desarrollados bajo el paradigma de la Inteligencia Artificial (i.e. Algoritmo de Satisfacción de Restricciones, Algoritmo de Propagación, etc...).

Nuestras líneas de trabajo son:



Volver a la página principal