Department of Computer Science University of York York YO10 5GH UK;
Department of Electronic Engineering University of York York YO10 5DD UK;
Semantics; Refinement; Process algebra; CSP; Robotics;
机译:使用定时条件/事件系统模型验证连续工厂的逻辑控制器
机译:使用基于数学的定时Petri网的控制器的最优机器人细胞调度
机译:控制器防止机器人崩溃:安川Motoman机器人的Dio控制器一代DX200扩展了当前DX100型号,并提供了更多选件
机译:定时机器人控制器的建模与验证
机译:通过自动构建定性接触模型来合成用于机器人装配的离散事件控制器。
机译:改进的类人机器人模糊脑情感学习模型网络控制器
机译:定时机器人控制器的建模与验证
机译:机器人控制器的可扩展性:基于语音的机器人控制器评估