UC Los Angeles;
UC Los Angeles;
MPI-SWS and UCLA;
cyber-physical systems; controller synthesis; symbolic algorithms; linear temporal logic;
机译:混合系统工具,用于编译网络物理系统的控制器
机译:混合系统工具,用于编译网络物理系统的控制器
机译:对网络物理系统的强大和安全控制器的对抗学习
机译:PESSOA 2.0:网络物理系统的控制器合成工具
机译:交互式综合工具的开发,用于模块化,可重新配置的机器人的智能控制器。
机译:T4SP数据库2.0:带有新的在线分析工具的细菌基因组IV型分泌系统的改进数据库
机译:网络物理系统的分布式最优控制:控制器综合,体系结构设计与系统辨识