The effect of partiality and adaptivity on the complexity of FSM state identification problems

The effect of partiality and adaptivity on the complexity of FSM state identification problems

State identification is a long standing problem in the area of Finite State Machine (FSM) based modeling and testing of discrete event systems. For the identification of the current state of the system, so-called homing and synchronizing experiments with FSMs are used whereas for the initial state i...

Full description

Bibliographic Details
Main Authors: H. Yenigun, N. Yevtushenko, N. Kushik, J. López
Format: Article
Language:English
Published: Ivannikov Institute for System Programming of the Russian Academy of Sciences 2018-10-01
Series:Труды Института системного программирования РАН
Subjects:
конечные автоматы
задача идентификации состояний
сложность
Online Access:https://ispranproceedings.elpub.ru/jour/article/view/450

Similar Items

Similar Items