|Current Projects [Past Projects]|
|Formal Models of Human Control and Interaction with Cyber-Physical Systems
Cyber-Physical Systems (CPS) encompass a large variety of systems including example future energy systems (e.g. smart grid), homeland security and emergency response, smart medical technologies, smart cars and air transportation. The goal of this project is to develop cognitively-based analytic models of human operators so that they can be integrated with models of the physical/robotic system so that the whole mixed human-CPS system can be formally verified.
|Human Control of Robotic Swarms
Robotic Swarms are distributed systems whose members interact via local control laws to achieve different behaviors. The goal of the project is to develop effective methods for human-swarm interaction and control considering realistic environment and system constraints.
|Modeling Cultural Factors in Collaboration and Negotiation (MURI 14)
This multi-university cooperation project concentrates on Modeling Cultural Factors in Collaboration and Negotiation The goal of this project is to conduct basic research to provide validated theories and techniques for descriptive and predictive models of dynamic collaboration and negotiation that consider cultural and social factors.
|Modelling Synergies in Large Human-Machine Networked Systems (MURI 7)
This multi-university cooperation project concentrates on modeling synergies in large Human-Machine networked systems. The goals of this project are to achieve following: develop validated theories and techniques to predict behavior of large-scale, networked human-machine systems involving unmanned vehicles; model human decision making efficiency in such networked systems; and investigate the efficacy of adaptive automation to enhance human-system performance.
|The Robotics Institute is part of the School of Computer Science, Carnegie Mellon University.|
Contact Us | Update Instructions