Future autonomous systems should not only meet basic properties for correctness in their interaction with human operators, but also be capable of accommodating heterogeneity and uncertainty in human operators, responding and behaving in a socially appropriate and context aware manner, anticipating and re-directing intentional abuse of autonomous capabilities, and collaborating seamlessly with naturalistic human decision making. Findings from human factors, behavioral economics, social psychology, and human-centered design are vitally important for addressing these challenges. However, major conceptual gaps must be overcome to be able to embed these concepts into frameworks amenable to computation and control of dynamical systems. We propose an interdisciplinary workshop, with researchers from control theory, robotics, formal methods, as well as human factors, cognitive modeling, human-centered design, behavioral economics, and social psychology, to articulate the conceptual gaps that currently exist in formalizing human factors into computational models.

The workshop seeks to address the question: How can we formalize knowledge from human-centered disciplines into frameworks amenable to computation and control? The novelty of the proposed workshop is the articulation of the major research challenges that exist in the formalizing of human factors into models that enable theoretical or computational reasoning in dynamical systems. Discussion will focus on novel research areas, such as responsiveness to human-autonomy interaction dynamics, naturalistic human behavior, human decision making under uncertainty, prevention of misuse of autonomous systems, socially responsive robotics and control, accommodation of human heterogeneity, and context-aware control.