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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
R. Alur and D. L. Dill, Theor. Comput. Sci., 126, 183–235 (1994).
P. A. Bokhan, V. V. Buchanov, D. È. Zakrevskii, et al., Optical and Laser-Chemical Separation of Isotopes in Atomic Vapors [in Russian], Fizmatlit, Moscow (2010).
G. S. Evtushenko, M. V. Ttigub, F. A. Gubarev, et al., Rev. Sci. Instrum., 85, No. 3, 1–5 (2014).
A. M. Shalagin, Usp. Fiz. Nauk, 181, No. 9, 1011–1016 (2010).
S. Tripakis, Inform. Proc. Lett., 99 (6), 222–226 (2006).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Izvestiya Vysshikh Uchebnykh Zavedenii, Fizika, No. 11, pp. 150–152, November, 2015.
Rights and permissions
About this article
Cite this article
Gromov, M.L., Evtushenko, N.V. To Simplification of Timed Automata During Synchronization of Components of Physical Systems. Russ Phys J 58, 1645–1647 (2016). https://doi.org/10.1007/s11182-016-0695-x
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11182-016-0695-x