On the Modeling of Sequential Reactive Systems by Means of Real Time Automata
Sequential reactive systems include hardware devices and software programs which operate in continuous interaction with the external environment, from which they receive streams of input signals (data, commands) and in response to them form streams of output signals. Systems of this type include con...
Main Authors: | Evgeney Maximovich Vinarskii, Vladimir Anatolyevich Zakharov |
---|---|
Format: | Article |
Language: | English |
Published: |
Yaroslavl State University
2020-12-01
|
Series: | Моделирование и анализ информационных систем |
Subjects: | |
Online Access: | https://www.mais-journal.ru/jour/article/view/1432 |
Similar Items
-
Modeling and analysis of the behavior of successive reactive programs
by: V. A. Zakharov
Published: (2018-10-01) -
On the Model Checking Problem for Some Extension of CTL*
by: Anton Romanovich Gnatenko, et al.
Published: (2020-12-01) -
On the Minimization of Finite State Trans- ducers over Semigroups
by: V. A. Zakharov, et al.
Published: (2016-12-01) -
STRUCTURAL STATE MACHINES IN THE FORM OF THE TENSORS OF THE THIRD RANK SUDOKU TYPE
by: Юрий Михайлович Пенкин, et al.
Published: (2019-12-01) -
On the Designing of Model Checkers for Real-Time Distributed Systems
by: D. Yu. Volkanov, et al.
Published: (2012-01-01)