To Simplification of Timed Automata During Synchronization of Components of Physical Systems

Аннотация

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.