积分对象的扩展非最小化状态空间预测控制

传统的预测控制在处理积分对象时,往往会因为模型与过程的失配,导致过程在受到持续干扰时会达到一个异于设定值的稳态。首先将积分对象的传递函数模型转换为扩展非最小化状态空间模型,然后结合预测控制完成对积分对象的控制。基于扩展非最小化状态空间模型的预测控制能有效地处理模型失配情况下的各种干扰,最后的仿真例子验证算法的有效性。

对时间输入/输出自动机一致性测试的改进

Jan.S等提出了对时间输入 /输出自动机 (TIOA)模型进行黑盒一致性测试的算法 .针对其生成的测试序列数量太大这一问题 ,提出用可最小化的时间自动机 (MTA)模型来描述稠密的实际系统 ,并用递归算法实现了对测试序列的首部即转换覆盖 P的构造 .由分析得出结论 :使用 MTA模型可使上述测试算法生成的测试序列的数量大大减少 。