Ситуационный подход к координации гибридных процессов
Ключевые слова:
гибридный автомат, автоматическое управление, автоматическая координация, компьютерное моделированиеАннотация
Подход основан на использовании известного ситуационно-событийного формализма спецификации взаимодействующих гибридных процессов. Приводится краткое описание формализма, отмечаются достоинства его применения для компьютерной реализации динамических систем и обсуждаются возможности его использования для автоматической координации процессов. Рассматриваются основанные на этом формализме методы координации гибридных процессов и особенности их использования. Представлены примеры реализации систем автоматической координации, иллюстрирующие применение некоторых методов.Литература
Umeshwar Dayal, Meichun Hsu, Rivka Ladin Business Process Coordination: State of the Art, Trends, and Open Issues, http://www.dia.uniroma3.it/~vldbproc/001_003.pdf
Шпаков В.М. Ситуационные спецификации имитационных моделей гибридных реактивных систем // Труды СПИИРАН. Вып. 1, т. 2. СПб.: СПИИРАН, 2002. 212– 222 с.
Henzinger T.A. The Theory of Hybrid Automata. // Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS 96). 1996. 278–292 pp.
Поспелов Д.А. Ситуационное управление: теория и практика. М.: Наука. Гл. ред.физ.-мат. Лит., 1986. 288 с.
Шпаков В.М. Спецификация знаний динамики на основе транзитивной модели непрерывных процессов // Труды СПИИРАН. Вып. 3, т. 1. СПб.: Наука, 2006. 191–197 с.
Alur R., Henzinger T.A., Lafferriere G., Pappas G. J. Discrete Abstractions of Hybrid Systems // Proceedings of the IEEE. No. 88. 2000. 971–984 pp.
Yannick Aoustin and Alexander Formal’skii Ball on a beam: stabilization under saturated input control with large basin of attraction, Multibody System Dynamics (2009) V. 21, No. 1. 2009. 71–89 pp.
E. Laukonen and S. Yurkovich A Ball and Beam Testbed for Fuzzy Identification and Control Design," The 1993 American Control Conference, San Francisco, CA, June 1993.
Шпаков В.М. Пример применения гибридного логического закона управления // Труды СПИИРАН. Вып. 7. — СПб.: Наука, 2008. 54–63 с.
В.М. Шпаков Прототип среды моделирования структурированных совокупностей взаимодействующих процессов‖ // Сборник докладов конференции ―Имитационное моделирование. Теория и практика‖, Санкт-Петербург, 19 – 21 октября 2005.-Т.II, сс. 292 – 295.
Шпаков В.М. Ситуационные спецификации имитационных моделей гибридных реактивных систем // Труды СПИИРАН. Вып. 1, т. 2. СПб.: СПИИРАН, 2002. 212– 222 с.
Henzinger T.A. The Theory of Hybrid Automata. // Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS 96). 1996. 278–292 pp.
Поспелов Д.А. Ситуационное управление: теория и практика. М.: Наука. Гл. ред.физ.-мат. Лит., 1986. 288 с.
Шпаков В.М. Спецификация знаний динамики на основе транзитивной модели непрерывных процессов // Труды СПИИРАН. Вып. 3, т. 1. СПб.: Наука, 2006. 191–197 с.
Alur R., Henzinger T.A., Lafferriere G., Pappas G. J. Discrete Abstractions of Hybrid Systems // Proceedings of the IEEE. No. 88. 2000. 971–984 pp.
Yannick Aoustin and Alexander Formal’skii Ball on a beam: stabilization under saturated input control with large basin of attraction, Multibody System Dynamics (2009) V. 21, No. 1. 2009. 71–89 pp.
E. Laukonen and S. Yurkovich A Ball and Beam Testbed for Fuzzy Identification and Control Design," The 1993 American Control Conference, San Francisco, CA, June 1993.
Шпаков В.М. Пример применения гибридного логического закона управления // Труды СПИИРАН. Вып. 7. — СПб.: Наука, 2008. 54–63 с.
В.М. Шпаков Прототип среды моделирования структурированных совокупностей взаимодействующих процессов‖ // Сборник докладов конференции ―Имитационное моделирование. Теория и практика‖, Санкт-Петербург, 19 – 21 октября 2005.-Т.II, сс. 292 – 295.
Опубликован
2011-09-01
Как цитировать
Шпаков, В. М. (2011). Ситуационный подход к координации гибридных процессов. Труды СПИИРАН, 3(18), 286-300. https://doi.org/10.15622/sp.18.12
Раздел
Статьи
Авторы, которые публикуются в данном журнале, соглашаются со следующими условиями:
Авторы сохраняют за собой авторские права на работу и передают журналу право первой публикации вместе с работой, одновременно лицензируя ее на условиях Creative Commons Attribution License, которая позволяет другим распространять данную работу с обязательным указанием авторства данной работы и ссылкой на оригинальную публикацию в этом журнале.
Авторы сохраняют право заключать отдельные, дополнительные контрактные соглашения на неэксклюзивное распространение версии работы, опубликованной этим журналом (например, разместить ее в университетском хранилище или опубликовать ее в книге), со ссылкой на оригинальную публикацию в этом журнале.
Авторам разрешается размещать их работу в сети Интернет (например, в университетском хранилище или на их персональном веб-сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению, а также к большему количеству ссылок на данную опубликованную работу (Смотри The Effect of Open Access).
