?
Verification, Model Checking, and Abstract Interpretation. 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings
Хам :
Springer, 2016.
Bouajjani A., Monniaux D.
This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017. The 27 full papers together with 3 invited keynotes presented were carefully reviewed and selected from 60 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.
Язык:
английский
Smeliansky R. L., Chemeritsky E. V., Захаров В. А., Automatic Control and Computer Sciences 2014 Vol. 48 No. 7 P. 398-406
Добавлено: 30 сентября 2015 г.
Веретенников А. Ю., Anulova S., , in : Modern Stochastics and Applications. Vol. Springer, Optimization and Its Applications.: Springer, 2014. P. 159-174.
Добавлено: 18 октября 2014 г.
Гнатенко А. Р., Захаров В. А., Моделирование и анализ информационных систем 2021 Т. 28 № 4 С. 356-371
К последовательным реагирующим системам относятся компьютерные программы и вычислительные устройства, которые обрабатывают потоки входных данных или сигналов управления и генерируют на выходе последовательности команд или результатов вычислений. Для проектирования таких систем полезно иметь формальные языки спецификаций, способные выражать отношения между входными и выходными потоками данных. В предшествующих работах нами было предложено семейство таких языков спецификаций, ...
Добавлено: 17 января 2022 г.
Berlin : Springer, 2014
This book constitutes the proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2014, held in Tunis, Tunisia, in June 2014. The 15 regular papers and 4 tool papers presented in this volume were carefully reviewed and selected from 48 submissions. In addition the book contains 3 ...
Добавлено: 3 июля 2014 г.
Гнатенко А. Р., Захаров В. А., Automatic Control and Computer Sciences, Allerton Press Inc., United States 2019 Vol. 53 No. 7 P. 663-675
One of the most simple models of computation which is suitable for representation of reactive systems behaviour is a nite state transducer which operates over an input alphabet of control signals and an output alphabet of basic actions. A behaviour of such a reactive system displays itself in the correspondence between ows of control signals ...
Добавлено: 17 октября 2019 г.
Хорошилов А. В., Мандрыкин М. У., Programming and Computer Software 2015 Vol. 41 No. 4 P. 197-207
Добавлено: 30 октября 2015 г.
Гнатенко А. Р., Захаров В. А., Proceedings of the Institute for System Programming of the RAS 2018 Vol. 30 No. 3 P. 303-324
Добавлено: 14 июня 2018 г.
Drozdov D., Dubinin V., Кулагин В. П., , in : 2016 International Siberian Conference on Control and Communications (SIBCON). Proceedings. : M. : HSE, 2016.
This paper proposes an approach to k-bounded Petri nets behavioral equivalence checking using the model checking method and mainstream verifier nuSMV. For the comparison of behavior of two nets, an add-in net is introduced which performs a supervisory control of these two nets. The approach uses an implicit word-to-word comparison of labeled Petri net languages ...
Добавлено: 28 сентября 2016 г.
Захаров В. А., Козлова Д. Г., В кн. : Материалы XII Международного семинара "Дискретная математика и её приложения" имени академика О.Б. Лупанова (Москва, МГУ, 20-25 июня 2016г.). : М. : Изд-во механико-математического факультета МГУ, 2016. С. 204-206.
Характерная особенность моделей Крипке и большинства темпоральных логик (PLTL, CTL, PDL, mu-исчисление и др.), используемых в качестве формальных языков спецификации, состоит в том, что элементарные свойства вычислений зависят только от состояний модели, но не от вычислений, которыми достигаются состояния. Однако для стороннего наблюдателя поведение реагирующей системы проявляется в соответствии между последовательностями стимулов (сигналов), которыми внешняя ...
Добавлено: 13 октября 2016 г.
Максимов В. П., Чадов А. Л., Вестник Пермского университета. Серия: Экономика 2013 № 1(16) С. 6-11
Динамические модели, рассматриваемые в этой работе, охватывают широкий класс моделей, возникающих при исследовании реальных экономических и эколого-экономических процессов с учетом эффектов последействия (запаздывания) и содержат одновременно как уравнения, описывающие динамику показателей в непрерывном времени на конечном промежутке, так и уравнения с дискретным временем, характерным для эконометрических моделей. Для таких моделей рассматриваются задачи управления, в которых ...
Добавлено: 15 октября 2013 г.
Berlin : Springer, 2012
This volume constitutes the refereed proceedings of the 37th International Symposium on Mathematical Foundations of Computer Science, MFCS 2012, held in Bratislava, Slovakia, in August 2012. The 63 revised full papers presented together with 8 invited talks were carefully reviewed and selected from 162 submissions. Topics covered include algorithmic game theory, algorithmic learning theory, algorithms ...
Добавлено: 30 октября 2013 г.
Чадов А. Л., Вестник Тамбовского университета. Серия: Естественные и технические науки 2013 Т. 18 № 5-2 С. 2735-2737
Рассматривается непрерывно-дискретная система функционально-дифференциаль-ных уравнений. Отличительной особенностью системы является наличие фазовых компонент как с непрерывным, так и с дискретным временем и постоянного запаздывания. Для рассматриваемой модели ставится задача управления в классе дискретных управлений с последействием и формулируются условия ее разрешимости в форме, допускающей проведение доказательного вычислительного эксперимента. Обсуждаются детали компьютерной реализации ...
Добавлено: 25 октября 2013 г.
Чадов А. Л., Максимов В. П., Вестник Тамбовского университета. Серия: Естественные и технические науки 2011 Vol. 16 No. 4 P. 1211-1213
Рассматривается система функционально-дифференциальных уравнений с непрерывным и дискретным временем. Сформулирована общая задача целевого управления, получены условия разрешимости. ...
Добавлено: 14 ноября 2012 г.
Гнатенко А. Р., Захаров В. А., В кн. : Дискретные модели в теории управляющих систем: Х Международная конференция, Москва и Подмосковье, 23-25 мая 2018 г. : Труды. : МГУ, МАКС Пресс, 2018. С. 131-133.
Проведено сравнение выразительных возможностей темпоральной логики LP-CTL*. В этой логике были выделены два класса формул (фрагмента) LP-1-LTL и LP-n-LTL и показано, что фрагмент LP-1-LTL превосходит по выразительным возможностям известную темпоральную логику линейного времени LTL, а фрагмент LP-n-LTL имеет такие же выразительные возможности, что и монадическая логика второго порядка с одной функцией следования S1S. ...
Добавлено: 14 июня 2018 г.
Бухаров О. Е., Боголюбов Д. П., Приборы и системы. Управление, контроль, диагностика 2018 № 1 С. 25-33
В статье описан процесс разработки гибридной системы поддержки принятия решения для работы с классом слабоструктурированных задач с недоопределенными переменными. Приводится общая постановка задач прогнозирования и оценивания для класса слабоструктурированных задач. Обосновано использование интервальных нейронных сетей и генетических алгоритмов при решении таких задач. Описан разработанный автором алгоритм обучения интервальных нейронных сетей. Рассмотрена схема предлагаемой системы поддержки ...
Добавлено: 9 февраля 2018 г.
Захаров В. А., Винарский Е. М., В кн. : Материалы XIII Международного семинара "Дискретная математика и ее приложения" имени академика О.Б. Лупанова (Москва, МГУ, 17-22 июня 2019). : М. : Изд-во механико-математического факультета МГУ, 2019. С. 257-260.
Конечные автоматы Мили, представляющие собой простейшую математическую модель преобразования потоковых данных, широко используются во многих областях информатики. Но для некоторых приложений большое значение имеют не только значения обрабатываемых данных и порядок их следования, но также интервалы времени, которые отделяют события, присходящие по ходу вычисления автомата. Такие свойства уже не описывается явно средствами классической теории конечных ...
Добавлено: 17 октября 2019 г.
Гнатенко А. Р., Захаров В. А., Automatic Control and Computer Sciences 2021 Vol. 55 No. 7 P. 776-785
Добавлено: 17 января 2022 г.
Хорошилов А. В., Мандрыкин М. У., , in : Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers, Lecture Notes in Computer Science. Vol. 10742.: Springer, 2018. P. 256-275.
Добавлено: 12 февраля 2018 г.
Хорошилов А. В., Петренко А. К., Девянин П. Н. и др., , in : Abstract State Machines, Alloy, B, TLA, VDM, and Z. : Heidelberg : Springer, 2014. P. 309-313.
Добавлено: 1 ноября 2015 г.
Vadim Azhmyakov, Oxford : Elsevier, 2019
Добавлено: 30 октября 2021 г.
Switzerland : Springer, 2017
This book constitutes the proceedings of the 38th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2017, held in Zaragoza, Spain, in June 2017. Petri Nets 2017 is co-located with the Application of Concurrency to System Design Conference, ACSD 2017.
The 16 papers, 9 theory papers, 4 application papers, and 3 tool papers, ...
Добавлено: 6 мая 2017 г.
Захаров В. А., Kozlova D., , in : Proceedings of the 25th International Workshop on Concurrency, Specification and Programming, Rostock, Germany, September 28-30, 2016. Vol. 1698.: Humboldt-Universität zu Berlin, 2016. P. 233-244.
Добавлено: 13 октября 2016 г.
Бабкин Э. А., Abdulrab H., Doucy J., , in : Dynamics of Information Systems: Algorithmic Approaches. Vol. 51.: NY : Springer, 2013. P. 67-98.
Добавлено: 12 декабря 2013 г.