CAREER: Formal Tools For Analysis and Design of Collaborative Hybrid Systems

职业：协作混合系统分析和设计的正式工具

• 批准号: 1254990
• 负责人: Meeko Oishi
• 金额: $ 40万
• 依托单位: University of New Mexico
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2013
• 资助国家: 美国
• 起止时间: 2013-04-15 至 2020-03-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1254990&HistoricalAwards=false
• 关键词: CAREER; Formal; Tools; Analysis; Design

The research objective of this Faculty Early Career Development (CAREER) Program award is to apply observability methods and reachability analysis and controller synthesis from hybrid control theory to the analysis and design of human-automation systems. Methods and tools will be created to validate and design collaborative hybrid systems. A formal framework will be developed that incorporates both qualitative human factors guidelines for user-centered design, and mathematical models of human input and user interfaces, into a mathematically rigorous framework for collaborative hybrid systems. This research specifically addresses: 1) prioritized, dynamics-driven user-interface design, 2) collaborative control synthesis, 3) verification of safety with a human in the loop, and 4) customizable displays. These techniques will be used to 1) assess information content in multi-modal user interfaces (modeled as output maps of hybrid systems), 2) identify regions in the state-space with potential for ?fighting? between the human and the automation, 3) associate state configurations with multiple levels of safety, and 4) assess efficacy of user-interfaces under imperfect information that represent inaccurate mental models or various levels of user training.If successful, the results of this research could help identify problems (such as automation surprises, fighting between the human operator and the automation, inadequate or excessive information contained in the user interface, and false or frequent alarms) in safety-critical, high-risk, or expensive collaborative systems before they are built, tested, and deployed. The proposed research and education plan will contribute to the formal methods in human computer interaction community, and to the control theory communities focused on the design of decision support aids. Developed theory, code, and data will be disseminated in a timely manner. Graduate and undergraduate students will benefit through new and resigned courses that incorporate active learning techniques, as well as through mentoring and participation in the proposed research.

该教师早期职业发展（CAREER）计划奖的研究目标是将混合控制理论中的可观测性方法、可达性分析和控制器综合应用于人类自动化系统的分析和设计。 将创建方法和工具来验证和设计协作混合系统。 将开发一个正式的框架，将定性人为因素的指导方针，以用户为中心的设计，和数学模型的人的输入和用户界面，到一个数学上严格的框架协作混合系统。 这项研究具体解决：1）优先级，动态驱动的用户界面设计，2）协同控制合成，3）验证安全与人在循环中，和4）可定制的显示。 这些技术将被用来1）评估信息内容在多模态用户界面（建模为输出地图的混合动力系统），2）确定区域的状态空间的潜力？打架？3）将状态配置与多个安全级别相关联，4）在代表不准确心理模型或不同级别用户培训的不完美信息下评估用户界面的功效。如果成功，本研究的结果可以帮助识别问题（例如自动化意外、操作员和自动化之间的冲突、用户界面中包含的信息不足或过多，以及错误或频繁的警报）。 建议的研究和教育计划将有助于在人机交互社区的形式化方法，并集中在决策支持辅助设计的控制理论社区。 开发的理论、代码和数据将及时传播。 研究生和本科生将受益于新的和辞职的课程，包括主动学习技术，以及通过指导和参与拟议的研究。