Система событий по времени

Общая система была описана в [Zeigler76] и [ZPK00] с точки зрения определения (1) временной базы, (2) допустимых входных сегментов, (3) состояний системы, (4) траектории состояния с допустимым входной сегмент, (5) выход для данного состояния.

Система временных событий, определяющая траекторию состояния, связанную с текущими и событийными сегментами, пришла из класса General System, чтобы обеспечить недетерминированное поведение в ней [Hwang2012] . Поскольку поведение DEVS можно описать с помощью системы временных событий, DEVS и RTDEVS являются подклассом или эквивалентным классом системы временных событий.

Системы временных событий

Система синхронизированных событий представляет собой структуру

${\mathcal {G}}=<Z,Q,Q_{0},Q_{A},\Delta >$

где

• $\,Z$ набор событий ;
• $\,Q$ – множество состояний ;
• $\,Q_{0}\subseteq Q$ – множество начальных состояний ;
• $Q_{A}\subseteq Q$ – множество принимающих состояний ;
• $\Delta \subseteq Q\times \Omega _{Z,[t_{l},t_{u}]}\times Q$ представляет собой набор траекторий состояния, в которых $(q,\omega ,q')\in \Delta$ указывает на то, что состояние $q\in Q$ может превратиться в $q'\in Q$ вместе с сегментом мероприятия $\omega \in \Omega _{Z,[t_{l},t_{u}]}$. Если две траектории состояния $(q_{1},\omega _{1},q_{2})$ и $(q_{3},\omega _{2},q_{4})\in \Delta$ называются смежными, если $q_{2}=q_{3}$и две траектории событий $\omega _{1}$ и $\omega _{2}$ являются смежными. Две смежные траектории состояния $(q,\omega _{1},p)$ и $(p,\omega _{2},q')\in \Delta$ подразумевает $(q,\omega _{1}\omega _{2},q')\in \Delta$.

Поведение и язык системы временных событий

Учитывая систему событий по времени ${\mathcal {G}}=<Z,Q,Q_{0},Q_{A},\Delta >$ называется набор его поведений его языком в зависимости отпродолжительность времени наблюдения. Позволять $t$ быть длительностью времени наблюдения.Если $0\leq t<\infty$, $t$-длинный язык наблюдения ${\mathcal {G}}$ обозначается $L({\mathcal {G}},t)$и определяется как

$L({\mathcal {G}},t)=\{\omega \in \Omega _{Z,[0,t]}:\exists (q_{0},\omega ,q)\in \Delta ,q_{0}\in Q_{0},q\in Q_{A}\}.$

Мы называем сегмент события $\omega \in \Omega _{Z,[0,t]}$ а $t$-длинное поведение ${\mathcal {G}}$, если $\omega \in L({\mathcal {G}},t)$.

Отправив длину времени наблюдения $t$ до бесконечности, мы определяем язык наблюдения бесконечной длины ${\mathcal {G}}$обозначается $L({\mathcal {G}},\infty )$и определяется как

$L({\mathcal {G}},\infty )=\{\omega \in {\underset {t\rightarrow \infty }{\lim }}\Omega _{Z,[0,t]}:\exists \{q:(q_{0},\omega ,q)\in \Delta ,q_{0}\in Q_{0}\}\subseteq Q_{A}\}.$

Мы называем сегмент события $\omega \in {\underset {t\rightarrow \infty }{\lim }}\Omega _{Z,[0,t]}$ поведение бесконечной длины ${\mathcal {G}}$, если $\omega \in L({\mathcal {G}},\infty )$.

См. также

Государственная переходная система

Ссылки

• [Зейглер76] Бернард Зейглер (1976). Теория моделирования и симуляции (первое изд.). Wiley Interscience, Нью-Йорк.
• [ЗКП00] Бернард Зейглер; Таг Гон Ким; Герберт Прехофер (2000). Теория моделирования и симуляции (второе изд.). Академик Пресс, Нью-Йорк. ISBN  978-0-12-778455-7 .
• [Хван2012] Мун Х. Хван. «Качественная верификация конечных сетей DEVS и сетей реального времени». Материалы 2012 TMS/DEVS . Орландо, Флорида, США. стр. 43:1–43:8. ISBN  978-1-61839-786-7 .