Ситуационно-событийный подход к спецификации гибридных процессов
Аннотация
Рассматривается подход к разработке исполняемых спецификаций совокупностей гибридных процессов, основанный на представлении функций перехода дискретных состояний с помощью правил трансформации ситуаций. Обсуждаются возможные структуры правил с точки зрения их выразительности и пригодности для создания надежных спецификаций и быстродействующих исполняющих процедур. Свойства правил иллюстрируются на примерах спецификации простого гибридного процесса.Литература
Alur R., Henzinger T. A., Lafferriere G., Pappas G. J. Discrete Abstractions of Hybrid Systems // Proceedings of the IEEE. 2000. No. 88. P. 971–984.
Шпаков В. М. Ситуационные спецификации имитационных моделей гибридных реактивных систем // Труды СПИИРАН. Вып. 1, т. 2. СПб.: СПИИРАН, 2002. 212–222 с.
Шпаков В. М. Спецификация знаний динамики на основе транзитивной модели непрерывных процессов // Труды СПИИРАН. Вып. 3, т. 1. СПб.: Наука, 2006. 191–197 с.
Шпаков В. М. Ситуационные спецификации имитационных моделей гибридных реактивных систем // Труды СПИИРАН. Вып. 1, т. 2. СПб.: СПИИРАН, 2002. 212–222 с.
Шпаков В. М. Спецификация знаний динамики на основе транзитивной модели непрерывных процессов // Труды СПИИРАН. Вып. 3, т. 1. СПб.: Наука, 2006. 191–197 с.
Опубликован
2007-08-01
Как цитировать
Шпаков,. (2007). Ситуационно-событийный подход к спецификации гибридных процессов. Труды СПИИРАН, (4), 291-300. https://doi.org/10.15622/sp.4.22
Выпуск
Раздел
Статьи
Авторы, которые публикуются в данном журнале, соглашаются со следующими условиями:
Авторы сохраняют за собой авторские права на работу и передают журналу право первой публикации вместе с работой, одновременно лицензируя ее на условиях Creative Commons Attribution License, которая позволяет другим распространять данную работу с обязательным указанием авторства данной работы и ссылкой на оригинальную публикацию в этом журнале.
Авторы сохраняют право заключать отдельные, дополнительные контрактные соглашения на неэксклюзивное распространение версии работы, опубликованной этим журналом (например, разместить ее в университетском хранилище или опубликовать ее в книге), со ссылкой на оригинальную публикацию в этом журнале.
Авторам разрешается размещать их работу в сети Интернет (например, в университетском хранилище или на их персональном веб-сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению, а также к большему количеству ссылок на данную опубликованную работу (Смотри The Effect of Open Access).
