Электронная библиотека (репозиторий) Томского государственного университета
временные автоматы

Add to Quick Collection   All 17 Results

Showing items 1 - 15 of 17.
Sort:
 Add All Items to Quick Collection
Add   Использование конечно-автоматных абстракций при решении задач анализа и синтеза для временных автоматов
Authors: Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна
Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.. Томск, 2022. С. 75-76
Type: статьи в сборниках
Date: 2022
Add   Конечно автоматные методы анализа и синтеза дискретных систем с одной временной переменной : диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01.
Authors: Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна (научный руководитель)
Type: диссертации
Date: 2019
Add   Minimizing deterministic timed finite state machines
Authors: Tvardovskii, Aleksandr | Yevtushenko, Nina V. | Villa, Tiziano | Gromov, Maxim L. | Bresolin, Davide
Source: IFAC-PapersOnLine. 2018. Vol. 51, № 7. P. 486-492
Type: статьи в журналах
Date: 2018
Description: Timed automata and timed finite state machins (TFSMs) have been proposed to represent more accurately the behaviour of systems in continuous time. Recently, we introduced a model of TFSMs that extends ... More
Add   Тестирование с гарантированной полнотой покрытия неисправностей на основе модели временного автомата
Authors: Твардовский, Александр Сергеевич
Source: Труды Пятнадцатой Всероссийской конференции студенческих научно-исследовательских инкубаторов, Томск, 17-19 мая 2018 г.. Томск, 2018. С. 11-13
Type: статьи в сборниках
Date: 2018
Add   Derivation of the cascade parallel composition of timed finite state machines using BALM-II
Authors: Gromov, Maxim L. | Shabaldina, Natalia V.
Source: Automatic control and computer sciences. 2017. Vol. 51, № 7. P. 507-515
Type: статьи в журналах
Date: 2017
Description: The paper considers the problem of deriving a cascade parallel composition of timed finite state machines (TFSMs). It can be reduced to a step-by-step derivation of a binary parallel composition. It i ... More
Add   Минимизация автоматов с таймаутами и временными ограничениями
Authors: Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна | Громов, Максим Леонидович
Source: Труды Института системного программирования РАН. 2017. Т. 29, вып. 4. С. 139-154
Type: статьи в журналах
Date: 2017
Description: Конечные автоматы широко используются для анализа и синтеза управляющих систем. При описании систем, поведение которых зависит от времени, конечный автомат расширяется введением временных аспектов и в ... More
Add   Программная реализация преобразования глобального полуавтомата во временной автомат
Authors: Сотников, Александр Павлович
Source: Труды Четырнадцатой Всероссийской конференции студенческих научно-исследовательских инкубаторов, Томск, 17-18 мая 2017 г.. Томск, 2017. С. 86-89
Type: статьи в сборниках
Date: 2017
Add   Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов
Authors: Твардовский, Александр Сергеевич | Громов, Максим Леонидович | Евтушенко, Нина Владимировна | Эль-Факи, Калед
Source: Моделирование и анализ информационных систем. 2017. Т. 24, № 4. С. 496-507
Type: статьи в журналах
Date: 2017
Description: В настоящее время при описании поведения дискретных систем достаточно часто необходимо принимать во внимание временные аспекты, и соответственно появляется необходимость в распространении автоматных м ... More
Add   К минимизации автоматов с таймаутами
Authors: Твардовский, Александр Сергеевич
Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.. Томск, 2016. С. 62-63
Type: статьи в сборниках
Date: 2016
Add   Расширение возможностей пакета FSMTest-1.0: вывод автоматов в графическом виде
Authors: Белых, Виталий Сергеевич | Шабалдина, Наталия Владимировна
Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.. Томск, 2016. С. 44-45
Type: статьи в сборниках
Date: 2016
Add   Conformance relations for finite state machines with timeouts
Authors: Kondratyeva, O. | Yevtushenko, Nina V. | Cavalli, Ana
Source: Известия высших учебных заведений. Физика. 2015. Т. 58, № 10/3. С. 218-221
Type: статьи в журналах
Date: 2015
Add   К минимизации автоматов с временными ограничениями
Authors: Твардовский, Александр Сергеевич | Евтушенко, Нина Владимировна
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2014. № 4. С. 77-83
Type: статьи в журналах
Date: 2014
Add   О минимизации временных автоматов
Authors: Твардовский, Александр Сергеевич
Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участием. Томск, 2014. С. 41-42
Type: статьи в сборниках
Date: 2014
Add   Параллельная композиция конечных автоматов с таймаутами
Authors: Кондратьева, Ольга Викторовна | Евтушенко, Нина Владимировна | Кавалли, Ана Роза
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2014. № 2. С. 73-81
Type: статьи в журналах
Date: 2014
Add   Решение автоматных уравнений для временных автоматов относительно параллельной композиции
Authors: Кондратьева, Ольга Викторовна | Евтушенко, Нина Владимировна | Кавалли, Ана Роза
Source: Труды Института системного программирования РАН. 2014. Т. 26, вып. 6. С. 85-98
Type: статьи в журналах
Date: 2014

Creator

Date

Subject

Resource Type

^