Методы количественной оценки контролепригодности логических схем дискретных устройств

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