homing sequence

A. Tvardovskii N. Yevtushenko Deriving homing sequences for Finite State Machines with timed guards // System Informatics. — . — # 17.  — P. 1-10
I. Burdonov N. Yevtushenko A. Kossatchev N. Kushik Synchronizing and Homing Experiments for Input/output Automata // System Informatics. — . — # 10.  — P. 1-10
Subscribe to homing sequence