The state variables are proved to be able to hit the switching hyperplane and its requirement is discussed based on Lyapunov stability criterion.

• 基于Lyapunov理论证 明了所设计的控制器是滑模可达的，并给出了滑模可达条件。