The models of fail-safe structures of digital checking and control systems

Разработан класс моделей систем контроля и управления, которые позволяют учесть особенности многоверсионных отказобезопасных систем. Модели базируются на применении математического аппарата графов переходов и комбинаторных событийных моделей.Розроблено клас моделей систем контролю та управління, які дозволяють урахувати особливості багатоверсійних відмовобезпечних систем. Моделі базуються на комплексному застосуванні математичного апарату графів переходів та комбінаторних подійних моделейThe class of models of checking and control systems that permit to take into account multiversion fail-safe systems properties is developed. The models base on combined using of mathematical tools of transition graphs and combinatorial event models