Verification of hybrid human-automation systems

点击翻译按钮获取中文摘要

Problems in human-automation interaction have contributed to major failures in expensive, high-risk, and safety-critical systems, yet few mathematical methods or tools to analyze human-automation systems exist. To address this void, my research creates general methods and tools to identify problems in human-automation interaction before systems are built, tested, and deployed. For example, "automation surprises", which occur when the automation does something the user does not expect, have been implicated in many aircraft incidents and accidents (Nagoya 1994, Toulouse 1996). My methods are based on reachability analysis, which provides a mathematical guarantee of safety by identifying all states which could lead to an "unsafe" target (e.g., a stall condition). Used to prevent automation surprises and other undesirable phenomena in engineered systems, the developed computational tools and methods can significantly impact engineered system design and reliability.