Информация о статье
2022 г., Том 27, № 5, с.89-100
Давыдов А.В., Нагул Н.В., Ларионов А.А.
Oб oбpaбoтke coбытий в фopмaльнoм лoгичeckoм пoдxoдe k yпpaвлeнию диckpeтнo-coбытийными cиcтeмaми
Дается представление об управлении дискретно-событийными системами, представленными в форме конечных автоматов, с помощью исчисления позитивно-образованных формул. Показано, как знания, имеющиеся в системе, в ходе построения вывода формулы могут быть использованы для обработки событий и реализации супервизора. Описанный подход может применяться на разных уровнях систем управления роботами. В качестве иллюстрации рассматривается задача о перемещении мобильными роботами блока в целевую область
[полный текст] [ссылка на elibrary]
Ключевые слова: дискретно-событийные системы, позитивно-образованные формулы, автоматическое доказательство теорем, супервизорное управление
doi: 10.25743/ICT.2022.27.5.009
Библиографическая ссылка: Давыдов А.В., Нагул Н.В., Ларионов А.А. Oб oбpaбoтke coбытий в фopмaльнoм лoгичeckoм пoдxoдe k yпpaвлeнию диckpeтнo-coбытийными cиcтeмaми // Вычислительные технологии. 2022. Т. 27. № 5. С. 89-100
|
|
|