Enviar artigo por via de e-mail To Simplification of Timed Automata During Synchronization of Components of Physical Systems
- Autores: Gromov M.L.1, Evtushenko N.V.1
-
Afiliações:
- National Research Tomsk State University
- Edição: Volume 58, Nº 11 (2016)
- Páginas: 1645-1647
- Seção: Article
- URL: https://journals.rcsi.science/1064-8887/article/view/236852
- DOI: https://doi.org/10.1007/s11182-016-0695-x
- ID: 236852
Citar
Acesso aberto
Acesso está concedido
Somente assinantes
Resumo
Possibilities of reduction of the number of time variables in a timed automaton used for synchronization of components in physical systems, for example, lasers are investigated. Reduction of the number of time variables allows problems of testing of the components for compliance with requirement specification to be simplified.
Palavras-chave
Sobre autores
M. Gromov
National Research Tomsk State University
Autor responsável pela correspondência
Email: gromov@sibmail.com
Rússia, Tomsk
N. Evtushenko
National Research Tomsk State University
Email: gromov@sibmail.com
Rússia, Tomsk
Arquivos suplementares
