Power Plant Control Room reference
baxter Baxter
787 Cockpit reference
Predator Drone Control Room reference
State flow in WiSAR

Program

Proceedings of the symposium are available here.

Monday March 24, 2014

  • 09:15h - 09:30h Opening remarks
  • 09:30 - 10:30 Amy Prichett, Georgia Tech. Invited Speaker. Modeling the Pilot's Interaction with TCAS as an Expert Fallible Machine
  • 10:30h - 11:00h Break
  • 11:00h - 12:00h Validation
    • Matt Webster, Clare Dixon, Michael Fisher, Maha Salem, Joe Saunders, Kheng Lee Koay and Kerstin Dautenhahn. Formal Verification of an Autonomous Personal Robotic Assistant.
    • Joseph Krall, Tim Menzies and Misty Davies. Learning the Task Management Space of an Aircraft Approach Model
  • 12:00h - 13:30h Lunch
  • 13:30h - 15:15h Panel: Modeling Hurts
    • Mike Feary, NASA Ames
    • Marc Steinberg, ONR
    • Dimitra Giannakopoulou, NASA Ames
    • Ellen Bass, Drexel University
    • Emilie M. Roth, Roth Cognitive Engineering
  • 15:15h - 15:30h Break
  • 15:30h - 16:30h Poster session #1 (Coffee Served)
    • Laura Humphrey, Eric Wolff and Ufuk Topcu. Formal Specification and Synthesis of UAV Mission Plans
    • William Clancey, Chin Seah, Charlotte Linde, Michael Shafto and Neha Rungta. Work Practice Simulation of Complex Human-Automation Systems: The Brahms Generalized Überlingen Model
    • Dorrit Billman. Work Representations for Evaluating and Modeling Human-Machine Systems
    • Carrie Rebhuhn, Matt Knudson and Kagan Tumer. UAS Conflict-Avoidance Using Multiagent RL with Abstract Strategy Type Communication
    • Mitch Colby, Matt Knudson and Kagan Tumer. Multiagent Flight Control in Dynamic Environments with Cooperative Coevolutionary Algorithms
  • 16:30h - 17:00h Breakout Groups
  • 17:00h - 18:00h Poster session #2
    • Matthew Bolton and Samaneh Ebrahimi. An Approach to Generating Human-computer Interfaces from Task Models
    • Matthew Clark and Kuldip Rattan. Piecewise Affine Hybrid Automata Representation of a Multistage Fuzzy PID Controller
    • Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch and Marco Montali. Verification of Human Driven Data-Centric Dynamic Systems
    • Denis Javaux, Bertram Wortelen, Andreas Lüdtke, Charles Pecheur, Regina Peldszus, Sonja Sievi and Yuri Yushtein. A Methodology for Analyzing Human-Automation Interactions in Flight Operations Using Formal Verification Techniques

    Tuesday March 25, 2014

  • 09:00h - 10:00h Philippe Palanque, University Toulouse. Invited Speaker. Engineering Interactive Critical Systems: How to Reach Multiple Targets such as Usability, Dependability and Safety?
  • 10:00h - 10:30h Extended break/Breakout Group
  • 10:30h - 12:00h Breakout Group Presentations and Discussion
  • 12:00h - 13:45h Lunch
  • 13:45h - 15:30h Modeling
    • Arunkumar Ramaswamy, Bruno Monsuez and Adriana Tapus. Modeling Non-Functional Properties for Human-Machine Systems
    • Linda Mohand Oussaïd, Idir Ait Sadoune and Yamine Ait Ameur. Formal modelling of output multimodal HCI in Event-B. Modalities and media allocation
    • Jared Moore, Robert Ivie, Tj Gledhill, Eric Mercer and Michael Goodrich. Modeling Human Workload in Unmanned Aerial Systems
    • Behzad Tabibian, Michael Lewis, Christian Lebiere, Nilanjan Chakraborty, Katia Sycara, Stefano Bennati and Meeko Oishi. Towards a Cognitively-based Analytic Model of Human Control of Swarms
  • 15:30h - 16:00h Break
  • 16:00h - 17:30h Verification & Analysis of Human Machine Systems
    • Nisar Ahmed and Mark Campbell. A Look at Probabilistic Gaussian Process, Bayes Net, and Classifier Models for Prediction and Verification of Human Supervisory Performance
    • Dorsa Sadigh, Katherine Driggs-Campbell, Alberto Puggelli, Wenchao Li, Victor Shia, Ruzena Bajcsy, Alberto Sangiovanni-Vincentelli, S. Shankar Sastry and Sanjit A. Seshia. Data-Driven Probabilistic Modeling and Verification of Human Driver Behavior
    • Daniel Bryce. Explaining Verifier Traces with Explanation Based Learning
    • Christopher Miller, Jeffrey Rye, Peggy Wu and Eric Engstrom. An Interaction Fit Analysis Technique and its Applications
  • 18:00h - 19:30h AAAI Spring Symposium Plenary Session

  • Wednesday March 26, 2014

  • 09:30h - 10:30h Christian Lebiere, CMU. Invited Speaker. Combining instructions and examples in developing cognitive models of human-system interaction
  • 10:30h - 11:00h Break
  • 11:00h - 12:30h User Interfaces
    • Célia Martinie and Philippe Palanque. Fine grained modeling of task deviations for assessing the impact of both system failures and human error on qualitative human performance
    • Manuel Sousa, José Creissac Campos, Miriam C. Bergue Alves and Michael Harrison. Formal Verification of Safety-Critical User Interfaces: a space systems case study
    • Sébastien Combéfis, Dimitra Giannakopoulou and Charles Pecheur. State Event Models for the Formal Analysis of Human-Machine Interactions
  • 12:30h - 12:45h Closing Remarks
  •