Modelado y análisis probabilístico de sistemas híbridos

Abstract

Los sistemas híbridos, se han tornado de gran interés en la comunidad científica a partir del desafío que presenta el estudio de sus dinámicas, las continuas y las discretas, y el estudio y comprensión de sus interacciones. Estas puede tomar diversas formas, las más comunes ocurren cuando cambian de estado entre diferentes procesos continuos. Otras formas de interacción incluyen transiciones discretas que dependen de evoluciones continuas, u otras aparecen como resultados de una decisión, o por la ocurrencia de ciertos eventos. Un sistema híbrido probabilístico considera la distribución de probabilidad de ambas dinámicas, y se enfoca el análisis en lo referido a la alcanzabilidad probabilística El acercamiento numérico sufre del problema de explosión de estados y son computacionalmente muy exigentes. Un método alternativo de análisis es el realizado por medio de Model Checkers Probabilísticos. En nuestra línea de investigación proponemos el modelado y estudio de estos sistemas, como parte de la verificación y validación de sistemas desde un punto de vista de la ingeniería de software por medio de herramientas de model checking. En una primera etapa se centrará en modelos, específicamente de sistemas biológicos, con el objetivo de mejorar el poder predictivo de modelos formales existentes.