Ситуационный подход к координации гибридных процессов
Ключевые слова:
гибридный автомат, автоматическое управление, автоматическая координация, компьютерное моделированиеАннотация
Подход основан на использовании известного ситуационно-событийного формализма спецификации взаимодействующих гибридных процессов. Приводится краткое описание формализма, отмечаются достоинства его применения для компьютерной реализации динамических систем и обсуждаются возможности его использования для автоматической координации процессов. Рассматриваются основанные на этом формализме методы координации гибридных процессов и особенности их использования. Представлены примеры реализации систем автоматической координации, иллюстрирующие применение некоторых методов.Литература
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.
Situational approach to hybrid processes coordination
Abstract
The approach is based on using of the known situation-event formalism of an interacting hybrid processes specification. A short description of the formalism is set out. Some advantages of its using for dynamic systems computer implementation are pointed out and its abilities for processes coordination are discussed. Hybrid processes coordination methods based on it and peculiarities of their usage are reviewed. Instances of automatic coordination systems which illustrate some methods usage are given.Опубликован
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).
