Abstract:
We consider the problems of constructing synchronizing, homing, and diagnostic input sequences for fuzzy finite state machines that generalize similar sequences for deterministic finite state machines. We propose methods to construct such sequences based on using tree-like constructions of a special form. We show examples of synthesizing generalized input sequences of each of the above-listed types. We show that the synthesis problems we have studied belong to the class of multicriterial optimization problems.
Fulltext:
PDF file (259 kB)
