где
- I1…Ir — множество непрерывных входных сигналов, контроль за которыми должна осуществлять система.
- I1’…I’r — множество граничных значений параметров определяющих достижение непрерывным сигналом определенного значения.
Основной недостаток данного метода в его недостаточной наглядности и сложности восприятия описания, при описании сложных систем в статье [1].
В настоящее время для проектирования систем с преобладающим большинством логических сигналов получают методы теории автоматов и их отдельные приложения [2, 3, 4]. Наибольшее распространение получили автоматы Мили и Мура [5].
Для описания СЛУ ШПУ как системы обладающей свойствами автоматов обоих типов, большая часть выходных сигналов системы управления зависит только от состояния, часть же сигналов, формируется в момент изменения состояния, и зависит от входного сигнала, вызвавшего переход, целесообразно применять Cl- автомат, сочетающий в себе автоматы Мили и Мура.
Тогда с учетом (1) и (2) С-автомат СЛУ определяется множеством, из восьми элементов: