论文部分内容阅读
与电子地控制的空气暂停(ECAS ) 的车辆高度调整联系的控制问题仍然为研究人员提出理论挑战，它在最后年在这个题目上在出版物表明自己。这份报纸处理当模特儿并且为 ECAS 一个车辆高度调整系统控制，它由于共存是一个混合动态系统的一个例子并且连续变量和分离事件联合。混合的 A 逻辑动态(MLD ) 为途径建模为捕获车辆高度调整过程的足够的细节被选择。混合动态模型根据一些假设和 piecewise 被构造为部件非线性的线性近似。然后，螺线管阀门的开关地位和 piecewise 近似过程被命题逻辑描述，并且混合