基于切换表面状态划分的倒立摆模型验证

针对仿真对不存在或难以寻找的问题，利用商迁移系统，给出了混合系统的验证过程。结合倒立摆模型给出的只对状态空间切换表面进行离散化的空间划分方法，相对于常规验证所采用的离散整个连续状态空间的方法，降低了系统分析的维数。提出将阈值切换切分为两类，明确了切换面的划分方式。

Verification of Inverted Pendulum's Model Based on State Partition of Switching Surface

For the problem of bisimulation's none existence or hard search, this paper gave the verification procedure by means of a quotient transition system. Using space partition method, it discreted the continuous state space only at its switching surface. Compared with the general verification methods discreting the whole state space, the proposed method reduces analytical dimension. The verification procedure was illustrated by the hybrid model of inverted pendulum. Two kinds of switching surfaces were put forward to give a deep research into threshold switching method, which points out the partition mode of switching surfaces.