Theory of Control Systems Described by Differential Inclusions