ПРОВЕРКА СВОЙСТВА КО-НАБЛЮДАЕМОСТИ ФОРМАЛЬНОГО ЯЗЫКА ПРИ ПОМОЩИ ЛОГИЧЕСКОГО ВЫВОДА
Published in Russian Agency for Digital Standardization • Jan 9, 2020
NobleIDNI5P34W48R86S73
Authors:,,
Давыдов А.В.
Нагул Н.В.
Ларионов А.А.
Abstract
В докладе рассматривается применение логического исчисления позитивно-образованных формул как средства формализации и решения различных задач супервизорного управления дискретно-событийными системами. На примере дискретно-событийной модели, описывающей переключение режимов работы автономного подводн...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!