Oct 7, 2016 · To tackle this problem, a computationally efficient abstraction method for the hybrid model is proposed using intent inference, from which an ...

DOI: 10.2514/1.I010393. As the flight deck has become highly automated, mode confusion between the pilot and the automation has emerged.

Oct 22, 2024 · In particular, for mode-confusion detection, we employ a hybrid system whose discrete states include the flight intent instead of traditional ...

This paper presents a formal verification framework that can be used to efficiently detect a wide range of mode-confusion problems in the pilot–automation ...

Intent-based Abstraction for Formal Verification of Flight Deck Mode Confusion ... Flight Deck Mode Confusion Detection using Intent-based Probabilistic Model ...

The abstracted model for the hybrid system M is described in the intent domain I, which is much smaller compared to the original infinite-dimensional domain ...

Formal Verification for Mode Confusion in the Flight Deck Using Intent-Based Abstraction. Nandiganahalli, Jayaprakash Suraj / Lee, Sangjin / Hwang, Inseok ...

In this regard, our group develops a range of mode confusion detection algorithms: Intent Inference Based Flight Deck Human-Automation Mode Confusion Detection.

This report describes an effort by. Rockwell. Collins and NASA. Langley to identify potential sources of mode confusion through two complementary strategies.

To capture this characteristic of mode confusion, an intent-based mode confusion detection framework is proposed. A flight intent is an abstract state that ...