Достаточные условия оптимальности для дифференциальных включений

Доказываются достаточные условия оптимальности в форме принципа максимума для задачи быстродействия из множества $M_0$ в множество $M_1$, поведение объекта описывается дифференциальным включением $\dot x\in F(x)$.