Search papers, labs, and topics across Lattice.
This paper introduces a requirements-governed maneuver-response model that translates multi-modal human inputs into safe maneuvers for UAVs, addressing the inherent safety risks of direct command execution. By treating operator requests as bounded maneuver requests, the model ensures that inputs are validated against critical constraints such as terrain and inter-UAV separation. Validation through lab-based experiments shows that both voice and graphical inputs can be reliably interpreted and executed safely, paving the way for safer human-UAV interactions in dynamic environments.
Treating operator inputs as bounded requests rather than direct commands could revolutionize how UAVs safely interpret human intent in real-time.
Direct human interaction with autonomous UAV systems can be enabled through modalities such as speech, gestures, and graphical interfaces. However, interpreting such inputs as directly executable commands introduces safety risks in dynamic environments. Operator requests may conflict with terrain constraints, inter-UAV separation requirements, or flight-envelope limitations. In this paper, we present a requirements-governed maneuver-response model that mediates multi-modal human intent into safe UAV maneuvers by treating operator inputs as bounded maneuver requests rather than direct commands. Requested maneuvers are mapped to constrained motion primitives and processed through a structured request-evaluate-execute pipeline. Each request is interpreted with associated confidence, validated against terrain, separation, workspace, and flight-envelope constraints, and either constrained, rejected, or executed under continuous runtime monitoring. We further formalize the approach as a requirements-based specification model in which maneuver primitives are associated with explicit preconditions, invariants, guard conditions, and postconditions governing admissibility, execution safety, and emergency handling. These requirements support runtime verification and future reactive synthesis approaches. We present an initial lab-based validation demonstrating that voice and GUI-based inputs can be reliably interpreted and safely executed as constrained maneuver requests.
