Method of reduction and qualitative analysis of dynamic systems: I
S. N. Vassilyev · Journal of Computer and Systems Sciences International · 2006
A reduction method, which is a further development of known algorithms of the comparison method, is proposed as a logical tool for generation of hypotheses. Some examples of application of the method in the qualitative analysis of dynamic systems are given for obtaining some criteria of the attainability of sets.