机译:模型检查使用实时时间逻辑RTCTL及其在真正的微控制器软件应用程序的实时性能
机译:使用基于梯度的增强拉格朗日方法(GRAMPC)进行嵌入式非线性模型预测控制的软件框架
机译:一种使用基于梯度的扩大拉格朗日方法的嵌入式非线性模型预测控制软件框架(Grampc)
机译:用于嵌入式控制软件开发的CSP元模型的设计和使用
机译:面向控制的聚光太阳能发电(CSP)工厂模型及其应用。
机译:外科模型 - 视图 - 控制器仿真本地和协作应用的软件框架
机译:嵌入式控制软件开发的Csp元模型的设计与使用