Herramienta computacional para un análisis formal de modelos de dinámica de sistemas bajo el método Loop Eigenvalue elasticity analysis (Leea) con soporte a modelos de gran escala

Abstract

En esta investigación queremos mostrar un camino para automatizar la aplicación del LEEA, que es una metodología para realizar un análisis formal a modelos de dinámica de sistemas y está basada en el análisis de los valores propios de un sistema linealizado. Obligatoriamente para aplicar la metodología LEEA de forma “automatizada-rápida” hasta ahora has sido necesario intervenir los modelos creados para adecuarlos a los pocos software disponibles para tal propósito. Tal adecuación implica traducir funciones complejas a versiones más simples, y aún eliminar porciones del modelo que no pueden analizarse. En esta investigación proveemos un recurso para aplicar de manera rápida el LEEA sin la necesidad de intervenir los modelos creados. Los resultados obtenidos en los modelos fueron satisfactorios al compararlos con los dados en la literatura.