Autómatas Cooperativos Extendidos: Sistemas Multi-Agente con dependencia geográfica

En este art́ıculo se define una extensión del modelo de los Autómatas Cooperativos. Dicho modelo está destinado a la representación de sistemas distribuidos multi-agente. Pese a su gran capacidad expresiva, para determinados sistemas en apariencia simples, el modelo de los Autómatas Cooperativos resultante es muy complejo y hasta en ocasiones confuso. Para ilustrar esto se presenta un ejemplo que contiene un autómata cuyos estados dependen de su posición relativa en el sistema. Facilitar el diseño de este tipo de problemas es el objetivo de la extensión del modelo, basada en la idea de añadir un tipo especial de atributos. Asimismo se construye un algoritmo que muestra la equivalencia entre la extensión y el original conservando, por tanto, las caracteŕısticas del modelo de los Autómatas Cooperativos y sus buenas propiedades.