论文部分内容阅读
针对仿真对不存在或难以寻找的问题，利用商迁移系统，给出了混合系统的验证过程.结合倒立摆模型给出的只对状态空间切换表面进行离散化的空间划分方法，相对于常规验证所采用的离散整个连续状态空间的方法，降低了系统分析的维数.提出将阈值切换面分为两类，明确了切换面的划分方式.
基于切换表面状态划分的倒立摆模型验证
【摘 要】
：
针对仿真对不存在或难以寻找的问题，利用商迁移系统，给出了混合系统的验证过程.结合倒立摆模型给出的只对状态空间切换表面进行离散化的空间划分方法，相对于常规验证所采用的离
【机 构】
：
上海交通大学自动化系
【出 处】
：
上海交通大学学报
【发表日期】
：
2001年2期
其他文献
近年来，广西北海市立足市情，着眼于实现科学发展、和谐发展、跨越发展，把“产业兴市、人才强市”作为发展的根本大计，坚定不移地实施人才优先发展战略，以人才工作的创新发展助推北
分析了船体分段划分的原则，提出为解决本课题而改进的遗传算法，设计出确定货舱区分段位置的计算模型，并建立了模糊目标函数.应用非均匀B样条曲线拟合船体型线，为此迅速得到货舱区
研究了从点源激励散射场的近场信息来再现三维障碍物形状的反问题。提出了一种非线性最优化求解方法，该算法只需求解一个不适定的线性系和一个适定的非线性最小化问题。而且只
为了解决计算精度与计算时间之间的矛盾，针对三场耦合问题，根据区域分解策略，采用预处理共轭梯度法进行方程组的并行求解，利用mpi＋f77编制主从式并行有限元计算程序，并在河海大学高