机译:人机交互制造系统控制的形式控制理论模型
Department of Information and Industrial Engineering, Hanyang University, Ansan, 426-791, South Korea;
communicating finite state machine; formal model; human-automation interaction; human material handler; shop floor control system;
机译:正式验证人机交互作为系统模型的一部分:局限和权衡
机译:网络物理制造系统的正式建模和控制:
机译:从可变形制造系统的正式模型转向过程控制
机译:在交互式,半自动化的人类自动化系统中,通过基于情境,基于任务和模型的过程信息过滤为用户提供帮助
机译:使用任务分析行为建模,错误的人类行为生成和形式化方法来评估人类自动化交互在系统故障中的作用。
机译:糖尿病医院管理技术:评估用于重症监护病房患者严格血糖控制的交互式输液泵系统中全自动算法(增强模型预测控制)的实施评估
机译:适用于柔性制造系统的半正式和形式模型⋆