Controller Design and Verification Using Qualitative and Semi-Quantitative Reasoning

这项研究将侧重于开发一种方法和一种 用于设计和验证异构 由多个简单控制器组成的控制器。 组件 控制器可以在不同的操作区域上操作， 在不同的时间尺度上。 设计工具将使用定性和 半定量模拟的植物和控制器， 由QSIM和NSIM模拟器产生，以绘制出可能的 行为，从而产生自动稳定性证明。 （定性） 模型指定变量之间的单调关系，而 半定量模型指定了约束函数的包络 变量之间的关系）。 故障和干扰的模型将 用于测试拟议的控制器的鲁棒性， 证明其稳定性或建议修改控制律。 这是一个与Benjamin Kuipers教授的合作项目， 德克萨斯大学奥斯汀分校计算机科学系， 德克萨斯州，奥斯汀。 //

This research will focus on developing a methodology and a software tool for the design and verification of heterogeneous controllers composed of multiple simple controllers. The component controllers may operate either on different operations regions or on different time scales. The design tool will use qualitative and semiquantitative simulations of the plants and controllers as produced by the QSIM and NSIM simulators to map out possible behaviors, thus producing automatic stability proofs. (Qualitative models specify monotonic relationships between variables, while semiquantitative models specify envelopes which bound the function relating the variables.) Models of faults and disturbances will be used to test the robustness of proposed controllers, and either prove their stability or suggest modifications to the control law. This is a collaborative project with Prof. Benjamin Kuipers, Department of Computer Sciences, University of Texas at Austin, Austin, Texas. //