| Popis: |
В докладе рассматривается применение логического исчисления позитивно-образованных формул как средства формализации и решения различных задач супервизорного управления дискретно-событийными системами. На примере дискретно-событийной модели, описывающей переключение режимов работы автономного подводного необитаемого аппарата, действующего в связке лидер-ведомый при выполнении групповой миссии, представлен алгоритм для проверки свойства ко-наблюдаемости языка спецификации. Ко-наблюдаемость языка спецификации является одним из условий существования децентрализованного супервизора, как правило, необходимого для выполнения задач группового управления. |
