AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:具有线性时态逻辑规范的混合逻辑动力系统的最优控制
Sertac Karaman; Ricardo G. Sanfelice; Emilio Frazzoli;
机译:针对线性时序逻辑规范控制多仿射系统的输入输出仿真方法
机译:输入-输出仿真方法,用于控制线性时间逻辑规范的多仿射系统
机译:基于线性时序逻辑规范的仿射系统分段输出反馈控制
机译:线性时间逻辑规范的混合逻辑动力系统的优化控制
机译:具有时间逻辑规范的动态系统控制。
机译:与二阶线性微分方程有关的动力学系统在模糊条件下的最优控制
机译:具有长期时间逻辑规范的混合逻辑动力系统的最优控制
机译:用于个人计算机的电子模块化系统,具有配置为ASIC类型的逻辑组件,以参数化标准总线系统的电气和逻辑特性,或保持所选系统的电气和逻辑规范
机译:时间逻辑表达创建支持系统,时间逻辑表达创建支持方式以及用于时间逻辑表达创建支持的程序
机译:临时逻辑公式创建支持系统,临时逻辑公式创建支持方法和临时逻辑公式创建支持程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。