Title: Control automata of complex engineering real time systems
Abstract: Рассматриваются методы динамического контроля управляющих автоматов (УА).Для сложных технических систем реального времени управляющие автоматы могут составлять большую часть оборудования средств автоматизации.Управляющие автоматы со структурной организацией Мура даже после минимизации не обеспечивают достаточного уровня безотказности и безопасности.Динамический контроль УА со специальными кодами наиболее эффективен для УА с выделением одного логического условия из всего множества условий по коду предыдущего состояния.Предложен метод контроля с нетрадиционным применением кодов Грея при разделении кодов на два множества, относящихся к счетчику и множеству вершин вне счетчика.Во втором множестве коды состояний делятся приблизительно пополам на группы старших и младших разрядов.Номер последующей вершины выбирается так, чтобы логическая сумма по модулю кодов соседних вершин младших разрядов соответствовала условию Грея.Коды старшей группы этих вершин доопределяются специальным образом для выполнения того же условия.Выведены правила принятия решений