Modeling of Embedded Human Systems

Aug 27, 2013 · 1 min read

| 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”. The archived project webpage is the best resource to learn about this project.

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.

Related Publications

A Safety-Driven Interpretable Model for Vehicle Control With Impact on Traffic

Xia Wang, Yuwei Yang, Yifan Shangguan, Weiyu Yan, Ziyan An, Matt Bunting, Matthew Nice, Thomas Beckers, Meiyi Ma, Dan Work, Jonathan Sprinkle

IEEE Transactions on Intelligent Transportation Systems · 2025

Design, Preparation, and Execution of the 100-AV Field Test for the CIRCLES Consortium: Methodology and Implementation of the Largest Mobile Traffic Control Experiment to Date

Mostafa Ameli, Sean McQuade, Jonathan W. Lee, Matt Bunting, Matthew Nice, Han Wang, William Barbour, Ryan J. Weightman, Chris Denaro, Ryan Delorenzo, Sharon Hornstein, Jon F. Davis, Dan Timsit, Riley Wagner, Ruotong Xu, Malaika Mahmood, Mikail Mahmood, Maria Laura Delle Monache, Benjamin Seibold, Dan Work, Jonathan Sprinkle, Benedetto Piccoli, Alexandre M. Bayen

IEEE Control Systems · 2025

Traffic Control via Connected and Automated Vehicles (CAVs): An Open-Road Field Experiment with 100 CAVs

Jonathan W. Lee, Han Wang, Kathy Jang, Nathan Lichtlé, Amaury Hayat, Matt Bunting, Arwa Alanqary, William Barbour, Zhe Fu, Xiaoqian Gong, George Gunter, Sharon Hornstein, Abdul Rahman Kreidieh, Mat-Thew W. Nice, William A. Richardson, Adit Shah, Eugene Vinitsky, Fangyu Wu, Shengquan Xiang, Sulaiman Almatrudi, Fahd Althukair, Rahul Bhadani, Joy Carpio, Raphael Chekroun, Eric Cheng, Maria Teresa Chiri, Fang-Chieh Chou, Ryan Delorenzo, Marsalis Gibson, Derek Gloudemans, Anish Gollakota, Junyi Ji, Alexander Keimer, Nour Khoudari, Malaika Mahmood, Mikail Mahmood, Hossein Nick Zinat Matin, Sean McQuade, Rabie Ramadan, Daniel Urieli, Xia Wang, Yanbing Wang, Rita Xu, Mengsha Yao, Yiling You, Gergely Zachár, Yibo Zhao, Mostafa Ameli, Mirza Najamuddin Baig, Sarah Bhaskaran, Kenneth Butts, Manasi Gowda, Caroline Janssen, John Lee, Liam Pedersen, Riley Wagner, Zimo Zhang, Chang Zhou, Dan Work, Benjamin Seibold, Jonathan Sprinkle, Benedetto Piccoli, Maria Laura Delle Monache, Alexandre M. Bayen

IEEE Control Systems · 2025

Traffic Smoothing Using Explicit Local Controllers: Experimental Evidence for Dissipating Stop-and-go Waves with a Single Automated Vehicle in Dense Traffic

Amaury Hayat, Arwa Alanqary, Rahul Bhadani, Chris Denaro, Ryan J. Weightman, Shengquan Xiang, Jonathan W. Lee, Matt Bunting, Anish Gollakota, Matthew Nice, Derek Gloudemans, Gergely Zachár, Jon F. Davis, Maria Laura Delle Monache, Benjamin Seibold, Alexandre M. Bayen, Jonathan Sprinkle, Dan Work, Benedetto Piccoli

IEEE Control Systems · 2025

No results found

Modeling of Embedded Human Systems

Project Summary

Related Publications

A Safety-Driven Interpretable Model for Vehicle Control With Impact on Traffic

Design, Preparation, and Execution of the 100-AV Field Test for the CIRCLES Consortium: Methodology and Implementation of the Largest Mobile Traffic Control Experiment to Date

Traffic Control via Connected and Automated Vehicles (CAVs): An Open-Road Field Experiment with 100 CAVs

Traffic Smoothing Using Explicit Local Controllers: Experimental Evidence for Dissipating Stop-and-go Waves with a Single Automated Vehicle in Dense Traffic

Interpretable Finite State Machine Controller: A Case Study on Lane Merge Yield Mode

Data from the Development Evolution of a Vehicle for Custom Control

Medium-scale to large-scale implementation of cyber-physical human experiments in live traffic

Semantic Tagging of CAN and Dash Camera Data from Naturalistic Drives

Autonomous vehicles: From vehicular control to traffic control

Quantifying air quality benefits resulting from few autonomous vehicles stabilizing traffic

Real-time distance estimation and filtering of vehicle headways for smoothing of traffic waves

Dissipation of stop-and-go waves via control of autonomous vehicles: Field experiments

Fuzzy Control of an Autonomous Car using a Smart Phone

Related News

Research featured at DC Auto Show

Results from experiment on traffic flow

Wanted: Young Engineers with Drive

CAT Vehicle 2015 Demonstration Success

Cat Vehicle demonstration to President Hart

mHealth featured in UA@Work

AP: Safety is Big Concern for Autonomous Cars

Micro Air Vehicle from University of Arizona Takes a First Place Win in Germany

News: Domestic drones: Good idea or an invasion of privacy?

UANews: Industry Helps Students Reanimate Robotic Mine Vehicles