En este artículo, utilizamos el producto semitensorial de matrices y métodos algebraicos para estudiar la controlabilidad, alcanzabilidad y estabilidad del autómata finito extendido. En primer lugar, construimos un modelo de sistema dinámico bilineal para el autómata finito extendido como base para futuros estudios. En segundo lugar, utilizando este modelo de sistema dinámico bilineal, presentamos teoremas sobre la controlabilidad, alcanzabilidad y estabilidad del modelo de sistema dinámico bilineal para el autómata finito extendido. Por último, diseñamos un algoritmo para determinar la controlabilidad y estabilidad del autómata finito extendido. La precisión de los principales resultados se verificó mediante ejemplos de cálculo.

producto semitensorial de matrices; método de matrices; método algebraico; sistema de valores finitos