Показано, що з погляду принципової можливості розв'язку діагностичних задач для лінійних автоматів прості умовні і кратні експерименти не несуть нічого нового порівняно з простими безумовними експериментами.

Рассмотрена устойчивость нулевого стационарного состояния линейного непрерывного гибридного автомата. Исследование проведено методом функций Ляпунова. Получены достаточные условия устойчивости. Для асимптотически устойчивого гибридного автомата приведены коэффициенты экспоненциального затухания. Условия легко вычисляются и носят конструктивный характер.

Исследована устойчивость тривиальной фазовой орбиты гибридного автомата смешанного типа - для описания динамики использованы дифференциальные и разностные уравнения. Показано, что такого типа автоматы используются для моделирования динамики летального аппарата. Получены достаточные условия устойчивости и асимптотической устойчивости тривиальной фазовой орбиты.

Розглянуто питання стійкості нового класу неперервно-дискретних систем - лінійних нечітких гібридних автоматів. Одержано достатні умови стійкості, доведено теореми про стійкість та стійкість за частиною змінних. Розглянуто випадки циклічних та довільних перемикань. Дослідження проведено за допомогою метода функції Ляпунова.

Предложен метод синтеза совмещенного микропрограммного автомата в базисе FPGA, позволяющий получить схему с минимальным числом элементов LUTK встроенных блоков памяти ЕМВ. Минимизация достигается путем замены части множества логических условий и соответствующего кодирования состояний автомата. Приведен пример применения метода.