...
机译:具有时间逻辑规范的电力系统储能控制器综合
Rensselaer Polytech Inst, Dept Elect Comp & Syst Engn, Troy, NY 12180 USA;
Rensselaer Polytech Inst, Dept Elect Comp & Syst Engn, Troy, NY 12180 USA;
Rensselaer Polytech Inst, Dept Elect Comp & Syst Engn, Troy, NY 12180 USA;
Controller synthesis; differential-algebraic equations; energy storage systems (ESSs); temporal logic;
机译:从高级时间逻辑规格自动合成机器人群的机器人群
机译:具有并联AC-DC联络线和电容器储能单元的互连电力系统双模式II型模糊逻辑负载频率控制器的新设计
机译:具有并联AC-DC联络线和超导磁储能单元的互联电力系统双模式II型模糊逻辑负载频率控制器的新设计
机译:基于采样的最大满足时间逻辑规范的控制器的综合
机译:时间逻辑规范下的多机器人系统可扩展控制合成
机译:使用全NMOS电源开关和超低静态电流控制器的高压能量收集接口用于物联网系统中不规则的动能收集改进了1365%
机译:从区间时态逻辑规范合成控制器