Оценка вероятности возникновения логико-динамических ситуаций
Ключевые слова:
гибридные процессы, случайные процессы, компьютерное моделирование, автоматическое управление, логическое программированиеАннотация
Приводится определение логико-динамической ситуации, используемое при спецификации функционирования гибридных динамических систем, в том числе гибридных систем управления. Обсуждается влияние случайных воздействий на поведение систем. Рассматриваются методы оценки вероятностей возникновения ситуаций, основанные на оценках статистических характеристик случайных процессов. Показаны способы использования этих оценок вероятностей для целей управления и поддержки принятия решений. Приводятся результаты экспериментального исследования рассматриваемых методов.Литература
Шпаков В.М. Исполняемые спецификации транзитивных моделей технологических процессов // Мехатроника, автоматизация, управление. 2004. № 3. С. 38–45
Henzinger T.A. The Theory of Hybrid Automata. // Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS 96). 1996. P. 278–292
Шпаков В.М. Транзитивный подход к реализации и оценке случайных процессов // Труды СПИИРАН. 2013. Вып. 30. (в печати)
Oscar N.Garcia and Yi-Tzuu Chien Knowledge-Based Systems: Fundamentals and Tools, IEEE Computer Society Press, Los Alamitos, California, 1991. 495 p.
Howe R.M. Analog computer fundamentals // IEEE Contr. Syst. Mag. 2005. Vol. 25, no. 3. P. 29–36
Вентцель Е.С., Овчаров Л.А. Прикладные задачи теории вероятностей. М.: Радио и связь, 1983. 416 с.
Шпаков В.М. Прототип среды моделирования структурированных совокупностей взаимодействующих процессов // Сборник докладов конференции “Имитационное моделирование. Теория и практика”, Санкт-Петербург, 19 – 21 октября 2005. Т. II. С. 292–295
Henzinger T.A. The Theory of Hybrid Automata. // Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS 96). 1996. P. 278–292
Шпаков В.М. Транзитивный подход к реализации и оценке случайных процессов // Труды СПИИРАН. 2013. Вып. 30. (в печати)
Oscar N.Garcia and Yi-Tzuu Chien Knowledge-Based Systems: Fundamentals and Tools, IEEE Computer Society Press, Los Alamitos, California, 1991. 495 p.
Howe R.M. Analog computer fundamentals // IEEE Contr. Syst. Mag. 2005. Vol. 25, no. 3. P. 29–36
Вентцель Е.С., Овчаров Л.А. Прикладные задачи теории вероятностей. М.: Радио и связь, 1983. 416 с.
Шпаков В.М. Прототип среды моделирования структурированных совокупностей взаимодействующих процессов // Сборник докладов конференции “Имитационное моделирование. Теория и практика”, Санкт-Петербург, 19 – 21 октября 2005. Т. II. С. 292–295
Assessment of the probability of logic-dynamic situation occurrence
Abstract
There is presented the definition of logic-dynamic situation that is used in specifying the operation of hybrid dynamic systems, including hybrid control systems. The influence of random effects on the behavior of systems is discussed. The methods of estimating the probabilities of occurrence of situations based on estimates of the statistical characteristics of random processes are considered. There show how to use estimates of the probabilities for the control and decision support. The results of experimental research of methods under consideration are given.Опубликован
2014-04-02
Как цитировать
Шпаков, В. М. (2014). Оценка вероятности возникновения логико-динамических ситуаций. Труды СПИИРАН, 8(31), 80-94. https://doi.org/10.15622/sp.31.5
Раздел
Статьи
Авторы, которые публикуются в данном журнале, соглашаются со следующими условиями:
Авторы сохраняют за собой авторские права на работу и передают журналу право первой публикации вместе с работой, одновременно лицензируя ее на условиях Creative Commons Attribution License, которая позволяет другим распространять данную работу с обязательным указанием авторства данной работы и ссылкой на оригинальную публикацию в этом журнале.
Авторы сохраняют право заключать отдельные, дополнительные контрактные соглашения на неэксклюзивное распространение версии работы, опубликованной этим журналом (например, разместить ее в университетском хранилище или опубликовать ее в книге), со ссылкой на оригинальную публикацию в этом журнале.
Авторам разрешается размещать их работу в сети Интернет (например, в университетском хранилище или на их персональном веб-сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению, а также к большему количеству ссылок на данную опубликованную работу (Смотри The Effect of Open Access).
