In diesem Artikel verwenden wir das semi-tensorielle Produkt von Matrizen und algebraische Methoden, um die Kontrollierbarkeit, Erreichbarkeit und Stabilität des erweiterten endlichen Automaten zu untersuchen. Zunächst haben wir ein Modell eines bilinearen dynamischen Systems für den erweiterten endlichen Automaten als Grundlage für zukünftige Untersuchungen erstellt. Zweitens haben wir unter Verwendung dieses Modells des bilinearen dynamischen Systems Sätze zur Kontrollierbarkeit, Erreichbarkeit und Stabilität des Modells des bilinearen dynamischen Systems für den erweiterten endlichen Automaten vorgelegt. Schließlich haben wir einen Algorithmus entworfen, um die Kontrollierbarkeit und Stabilität des erweiterten endlichen Automaten zu bestimmen. Die Richtigkeit der Hauptergebnisse wurde anhand von Berechnungsbeispielen überprüft.

semi-tensorielles Produkt von Matrizen; Methode der Matrizen; algebraische Methode; System endlicher Werte