Acceleration; Closed loop systems; Safety; Vectors; Vehicle dynamics; Vehicles; Embedded systems; Hybrid systems;
机译:网络控制系统状态预测LQG控制器的设计与实验验证
机译:通过设计并发控制器进行验证,消除空中交通管制软件中的同步故障
机译:Modelica的办公楼围护结构,HVAC和控制器的模型实现和验证
机译:使用已验证的控制信封进行安全控制器设计
机译:用于可重构制造系统的逻辑控制器的分析和设计的形式验证。
机译:航向与速度耦合非线性控制器的设计与验证
机译:网络控制系统状态预测LQG控制器的设计与实验验证
机译:使用最优控制理论和数值模拟设计和验证纵向振荡控制器:pEp-II的预测