In order to solve the problem of artificial generation and low efficiency of test sequences for zone controller (ZC), a model-based automatic generation method of test sequence is proposed. Firstly, the timed automata...In order to solve the problem of artificial generation and low efficiency of test sequences for zone controller (ZC), a model-based automatic generation method of test sequence is proposed. Firstly, the timed automata model is established based on function analysis of the zone controller, and the correctness of the model is verified by UPPAAL. Then by parsing the timed automata model files, state information and transition conditions can be extracted to generate test case sets. Finally, according to the serialization conditions of test cases, the test cases are serialized into test sequences by using the improved depth first search algorithm. A case, the ZC controls the train running within its jurisdiction, shows that the method is correct and can effectively improve the efficiency of test sequence generation.展开更多
针对PID(proportional-integral-derivative)整定方法存在模型辨识困难、调节时间长、临界稳定点难以确定等问题,提出一种基于案例推理(case-based reasoning,CBR)的PID控制器参数认知整定方法(cognitive tuning based on case-based re...针对PID(proportional-integral-derivative)整定方法存在模型辨识困难、调节时间长、临界稳定点难以确定等问题,提出一种基于案例推理(case-based reasoning,CBR)的PID控制器参数认知整定方法(cognitive tuning based on case-based reasoning,CTCBR).设计具有动态学习功能的案例推理模型新结构,借鉴多属性决策思想改进案例检索策略,并运用多目标评价准则对参数整定后的预期效果进行评价,从而得到一种具有自学习能力的PID参数认知整定方法.与典型方法对比,该方法能够获得更好的控制性能,同时也能提高PID控制器系统的适应性和整定成功率.展开更多
This paper studies the mixed H2/H∞ control for continuous-time linear dynamic systems.By applying Stackelberg game approach, the control input is treated as the leader and the disturbance is treated as the follower, ...This paper studies the mixed H2/H∞ control for continuous-time linear dynamic systems.By applying Stackelberg game approach, the control input is treated as the leader and the disturbance is treated as the follower, respectively. Under standard assumptions and maximum principle, a necessary and sufficient existence condition which is based on three decoupled Riccati equations is obtained.Explicit expression of controllers and solutions to forward backward differential equations(FBDES)are obtained by homogeneous analysis of variables. A numerical example is finally given to verify the efficiency of the proposed approach.展开更多
文摘In order to solve the problem of artificial generation and low efficiency of test sequences for zone controller (ZC), a model-based automatic generation method of test sequence is proposed. Firstly, the timed automata model is established based on function analysis of the zone controller, and the correctness of the model is verified by UPPAAL. Then by parsing the timed automata model files, state information and transition conditions can be extracted to generate test case sets. Finally, according to the serialization conditions of test cases, the test cases are serialized into test sequences by using the improved depth first search algorithm. A case, the ZC controls the train running within its jurisdiction, shows that the method is correct and can effectively improve the efficiency of test sequence generation.
文摘针对PID(proportional-integral-derivative)整定方法存在模型辨识困难、调节时间长、临界稳定点难以确定等问题,提出一种基于案例推理(case-based reasoning,CBR)的PID控制器参数认知整定方法(cognitive tuning based on case-based reasoning,CTCBR).设计具有动态学习功能的案例推理模型新结构,借鉴多属性决策思想改进案例检索策略,并运用多目标评价准则对参数整定后的预期效果进行评价,从而得到一种具有自学习能力的PID参数认知整定方法.与典型方法对比,该方法能够获得更好的控制性能,同时也能提高PID控制器系统的适应性和整定成功率.
基金supported by the National Natural Science Foundation of China under Grant Nos.61633014,61573220,61573221,61403235the Fundamental Research Funds of Shandong University under Grant No.2017JC009
文摘This paper studies the mixed H2/H∞ control for continuous-time linear dynamic systems.By applying Stackelberg game approach, the control input is treated as the leader and the disturbance is treated as the follower, respectively. Under standard assumptions and maximum principle, a necessary and sufficient existence condition which is based on three decoupled Riccati equations is obtained.Explicit expression of controllers and solutions to forward backward differential equations(FBDES)are obtained by homogeneous analysis of variables. A numerical example is finally given to verify the efficiency of the proposed approach.
