Email this article To Simplification of Timed Automata During Synchronization of Components of Physical Systems
- Authors: Gromov M.L.1, Evtushenko N.V.1
-
Affiliations:
- National Research Tomsk State University
- Issue: Vol 58, No 11 (2016)
- Pages: 1645-1647
- Section: Article
- URL: https://ogarev-online.ru/1064-8887/article/view/236852
- DOI: https://doi.org/10.1007/s11182-016-0695-x
- ID: 236852
Cite item
Open Access
Access granted
Subscription Access
Abstract
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.
Keywords
About the authors
M. L. Gromov
National Research Tomsk State University
Author for correspondence.
Email: gromov@sibmail.com
Russian Federation, Tomsk
N. V. Evtushenko
National Research Tomsk State University
Email: gromov@sibmail.com
Russian Federation, Tomsk
Supplementary files
