Logical approach to control theory and applications - Vassilyev, Stanislav N.