面向智慧家居的人机协作情景建模及危害检测

摘要

在智慧家居这类复杂多变的服务场景中，人类的随机行为和临时变动的空间布局危害着人机近距离交互的安全．然而，现有智慧家居研究大多聚焦于任务逻辑与执行效能的优化，忽视了在任务过程中的交互危害．针对上述局限，该文通过形式化定义的家居服务案例，展示了一种兼顾任务功能正确性与交互安全性的建模和验证方法．该方法先将用户和机器人拆分并构建部位关联，再显式建模人机并发行为，在确保任务时序约束的基础上，从几何角度判断危害，显著提升了用户在人机共存环境中的安全性．

关键词

人机协作 / 智慧家居 / 危害检测 / 并发任务

基金资助

国家自然科学基金(62462036); 江西省自然科学基金(20242BAB26017); 江西省教育厅科学技术研究课题(GJJ2500212)资助项目