摘要
针对仿真对不存在或难以寻找的问题 ,利用商迁移系统 ,给出了混合系统的验证过程 .结合倒立摆模型给出的只对状态空间切换表面进行离散化的空间划分方法 ,相对于常规验证所采用的离散整个连续状态空间的方法 ,降低了系统分析的维数 .提出将阈值切换面分为两类 ,明确了切换面的划分方式 .
For the problem of bisimulation's none existence of hard search, this paper presents a verification procedure by means of quotient transition system. Using space partition method, it discreted the continuous state space only at its switching surface. Compared with 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.
出处
《上海交通大学学报》
EI
CAS
CSCD
北大核心
2001年第2期293-296,共4页
Journal of Shanghai Jiaotong University
