Modeling of Embedded Human Systems

Principal Investigator:Jonathan Sprinkle (University of Arizona)
Funding Agency:Air Force Office of Scientific Research
Program Officer:Dr. Robert Bonneau
Award Number:#FA9550-091-0519

This work is supported by the Air Force Office of Scientific Research, under award #FA9550-091-0519, titled "Modeling of Embedded Human Systems".

Project Summary

The objective of this research is to develop abstractions of embedded human systems (i.e., where components are necessarily human and computational) that permit computational analysis and verification of their design. Our technical approach is the design and application of an embedded human modeling environment that synthesizes validating simulations, user-driven simulators, and configuration for analysis and verification tools. This modeling environment permits the specification of multi-modal behaviors, and synthesizes additional system constraints based on global design preferences. We will also develop analysis methods that reveal weaknesses in a design when latency, communications breakdown, or ambiguous decision paths are introduced.



The final report and a zipfile of papers is available from the Status Updates page.


The Year 2.5 Software and Systems Review presentation is available from the Status Updates page.


Our paper titled "Reachability Calculations for Vehicle Safety during Manned/Unmanned Vehicle Interaction." (Jerry Ding, Jonathan Sprinkle, Claire Tomlin, S. Shankar Sastry and James L. Paunicka) is accepted in AIAA Journal of Guidance, Control, and Dynamics, 35(1):138-152, 2012, and is available online.