Спецификация комплекса моделей взаимодействующих динамических систем
Ключевые слова:
моделирование, автоматическое управление, представление и обработка знанийАннотация
Обсуждаются преимущества представления моделей сложных динамических систем в виде иерархического комплекса взаимодействующих моделей отдельных подсистем. Предлагается холоническая структура комплекса и расширенный ситуационно-событийный формализм спецификации гибридных процессов, который позволяет обеспечить спецификацию процессов в моделях с учетом взаимодействия моделей между собой и с внешней средой. Показано, что предложенный формализм позволяет моделировать структурные изменения систем. Рассматриваются некоторые вопросы реализации подобного комплекса моделей. Приводится иллюстративный пример комплекса моделей, реализованного на основе предложенного формализма. Комплекс обеспечивает моделирование автоматической координации процессов в двух автоматических системах позиционирования ролика на плоскости.Литература
Henzinger T.A. The Theory of Hybrid Automata // Proc. of the 11th An. IEEE . on Logic in Computer Sci. (LICS 96). 1996. Р. 278–292.
Шпаков В.М. Ситуационные спецификации имитационных моделей гибридных реактивных систем // Тр. СПИИРАН. 2002. Вып. 1, т. 2. С. 212–222.
Шпаков В.М. Спецификация знаний динамики на основе транзитивной модели непрерывных процессов // Тр. СПИИРАН. 2006. Вып. 3, т. 1. С. 191–197.
Alur R., Henzinger T.A., Lafferriere G., Pappas G. J. Discrete Abstractions of Hybrid Systems // Proc. of the IEEE. 2000. N 88. Р. 971–984.
Koestler A. The Ghost in the Machine. London: Arkana Books, 1989.
Adrien R. Presley, Donald H. Liles. A holon-based process modeling methodology // Intern. J. of Operations & Production Management. 2001. Vol. 21, N 5/6. P. 565–581.
Поспелов Д.А. Ситуационное управление: теория и практика. М.: Наука, 1986. 288 с.
Шпаков В.М. Ситуационные спецификации имитационных моделей гибридных реактивных систем // Тр. СПИИРАН. 2002. Вып. 1, т. 2. С. 212–222.
Шпаков В.М. Спецификация знаний динамики на основе транзитивной модели непрерывных процессов // Тр. СПИИРАН. 2006. Вып. 3, т. 1. С. 191–197.
Alur R., Henzinger T.A., Lafferriere G., Pappas G. J. Discrete Abstractions of Hybrid Systems // Proc. of the IEEE. 2000. N 88. Р. 971–984.
Koestler A. The Ghost in the Machine. London: Arkana Books, 1989.
Adrien R. Presley, Donald H. Liles. A holon-based process modeling methodology // Intern. J. of Operations & Production Management. 2001. Vol. 21, N 5/6. P. 565–581.
Поспелов Д.А. Ситуационное управление: теория и практика. М.: Наука, 1986. 288 с.
Interacting dynamic Systems Model Complex Specification
Abstract
Advantages of compound dynamic systems presentation in the form of an interacting subsystem models complex are discussed. A holonic complex structure and expanded situationevent formalism of hybrid processes specification are proposed. The formalism enables to specify model processes taking into consideration an interaction of the processes between each other and with the environment. It is shown that the formalism proposed enables to simulate system structure changes. Some problems of the model complex realization are considered. A model complex realized in terms of the formalism proposed is produced as an illustrative example. The complex enables to simulate automatic coordination of processes, which occur in two systems of automatic positioning a roll on a plane.Опубликован
2009-12-01
Как цитировать
Шпаков, В. М. (2009). Спецификация комплекса моделей взаимодействующих динамических систем. Труды СПИИРАН, (11), 176-192. https://doi.org/10.15622/sp.11.10
Выпуск
Раздел
Статьи
Авторы, которые публикуются в данном журнале, соглашаются со следующими условиями:
Авторы сохраняют за собой авторские права на работу и передают журналу право первой публикации вместе с работой, одновременно лицензируя ее на условиях Creative Commons Attribution License, которая позволяет другим распространять данную работу с обязательным указанием авторства данной работы и ссылкой на оригинальную публикацию в этом журнале.
Авторы сохраняют право заключать отдельные, дополнительные контрактные соглашения на неэксклюзивное распространение версии работы, опубликованной этим журналом (например, разместить ее в университетском хранилище или опубликовать ее в книге), со ссылкой на оригинальную публикацию в этом журнале.
Авторам разрешается размещать их работу в сети Интернет (например, в университетском хранилище или на их персональном веб-сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению, а также к большему количеству ссылок на данную опубликованную работу (Смотри The Effect of Open Access).