Theory of control systems described by differential inclusions. (2016)