|
Малиновский, М. Л. Синтез безопасных автоматов с функциональной деградацией [Текст] / М. Л. Малиновский // Управляющие системы и машины. – 2010. – № 1. – С. 84-91.
Разработаны абстрактные модели и выделены классы безопасных автоматов. Предложены табличные и графические методы задания таких автоматов и методы синтеза безопасных автоматов с функциональной деградацией, основанные на формировании множеств ответственных операций и построении, анализе и преобразовании автоматов. |