CPS: Frontier: Collaborative Research: Correct-by-Design Control Software Synthesis for Highly Dynamic Systems
Aaron Ames
Lead PI:
Aaron Ames
Abstract
This CPS Frontiers project addresses highly dynamic Cyber-Physical Systems (CPSs), understood as systems where a computing delay of a few milliseconds or an incorrectly computed response to a disturbance can lead to catastrophic consequences. Such is the case of cars losing traction when cornering at high speed, unmanned air vehicles performing critical maneuvers such as landing, or disaster and rescue response bipedal robots rushing through the rubble to collect information or save human lives.
Performance Period: 04/01/2013 - 10/31/2015
Institution: Texas A&M Engineering Experiment Station
Sponsor: National Science Foundation
Award Number: 1239055
Project URL
CPS: Frontiers: Collaborative Research: Foundations of Resilient CybEr-Physical Systems (FORCES)
Saurabh Amin
Lead PI:
Saurabh Amin
Co-PI:
Abstract
This CPS Frontiers project addresses highly dynamic Cyber-Physical Systems (CPSs), understood as systems where a computing delay of a few milliseconds or an incorrectly computed response to a disturbance can lead to catastrophic consequences. Such is the case of cars losing traction when cornering at high speed, unmanned air vehicles performing critical maneuvers such as landing, or disaster and rescue response bipedal robots rushing through the rubble to collect information or save human lives.
Performance Period: 04/15/2013 - 03/31/2018
Institution: Massachusetts Institute of Technology
Sponsor: National Science Foundation
Award Number: 1239054
Project URL
CPS: Frontier: Collaborative Research: Correct-by-Design Control Software Synthesis for Highly Dynamic Systems
Jessy Grizzle
Lead PI:
Jessy Grizzle
Abstract
This CPS Frontiers project addresses highly dynamic Cyber-Physical Systems (CPSs), understood as systems where a computing delay of a few milliseconds or an incorrectly computed response to a disturbance can lead to catastrophic consequences. Such is the case of cars losing traction when cornering at high speed, unmanned air vehicles performing critical maneuvers such as landing, or disaster and rescue response bipedal robots rushing through the rubble to collect information or save human lives.
Performance Period: 04/01/2013 - 03/31/2018
Institution: University of Michigan Ann Arbor
Sponsor: National Science Foundation
Award Number: 1239037
Project URL
CPS: Synergy: Collaborative Research: SensEye: An Architecture for Ubiquitous, Real-Time Visual Context Sensing and Inference
Lead PI:
Dutta Prabal
Abstract
Continuous real-time tracking of the eye and field-of-view of an individual is profoundly important to understanding how humans perceive and interact with the physical world. This work advances both the technology and engineering of cyber-physical systems by designing an innovative paradigm involving next-generation computational eyeglasses that interact with a user's mobile phone to provide the capability for real-time visual context sensing and inference.
Performance Period: 10/01/2012 - 09/30/2016
Institution: University of Michigan Ann Arbor
Sponsor: National Science Foundation
Award Number: 1239031
CPS: Synergy: Collaborative Research: A Cyber-Physical Infrastructure for the "Smart City"
Lead PI:
Robert Gao
Abstract
The project aims at making cities "smarter" by engineering processes such as traffic control, efficient parking services, and new urban activities such as recharging electric vehicles. To that end, the research will study the components needed to establish a Cyber-Physical Infrastructure for urban environments and address fundamental problems that involve data collection, resource allocation, real-time decision making, safety, and security.
Performance Period: 10/01/2012 - 12/31/2015
Institution: University of Connecticut
Sponsor: National Science Foundation
Award Number: 1239030
CPS: Frontiers: Collaborative Research: Foundations of Resilient CybEr-Physical Systems (FORCES)
Co-PI:
Abstract
This NSF Cyber-Physical Systems (CPS) Frontiers project "Foundations Of Resilient CybEr-physical Systems (FORCES)" focuses on the resilient design of large-scale networked CPS systems that directly interface with humans.
Performance Period: 04/15/2013 - 03/31/2018
Institution: University of Michigan Ann Arbor
Sponsor: National Science Foundation
Award Number: 1238962
Project URL
CPS: Frontiers: Collaborative Research: Foundations of Resilient CybEr-Physical Systems (FORCES)
Abstract
This NSF Cyber-Physical Systems (CPS) Frontiers project "Foundations Of Resilient CybEr-physical Systems (FORCES)" focuses on the resilient design of large-scale networked CPS systems that directly interface with humans.
Xenofon Koutsoukos

Xenofon Koutsoukos is a Professor of Computer Science, Computer Engineering, and Electrical Engineering in the Department of Electrical Engineering and Computer Science at Vanderbilt University. He is also a Senior Research Scientist in the Institute for Software Integrated Systems (ISIS).

Before joining Vanderbilt, Dr. Koutsoukos was a Member of Research Staff in the Xerox Palo Alto Research Center (PARC) (2000-2002), working in the Embedded Collaborative Computing Area.
He received his Diploma in Electrical and Computer Engineering from the National Technical University of Athens (NTUA), Greece in 1993. Between 1993 and 1995, he joined the National Center for Space Applications, Hellenic Ministry of National Defense, Athens, Greece as a computer engineer in the areas of image processing and remote sensing. He received the Master of Science in Electrical Engineering in January 1998 and the Master of Science in Applied Mathematics in May 1998 both from the University of Notre Dame. He received his PhD in Electrical Engineering working under Professor Panos J. Antsaklis with the group for Interdisciplinary Studies of Intelligent Systems.

His research work is in the area of cyber-physical systems with emphasis on formal methods, distributed algorithms, diagnosis and fault tolerance, and adaptive resource management. He has published numerous journal and conference papers and he is co-inventor of four US patents. He is the recipient of the NSF Career Award in 2004, the Excellence in Teaching Award in 2009 from the Vanderbilt University School of Engineering, and the 2011 Aeronautics Research Mission Directorate (ARMD) Associate Administrator (AA) Award in Technology and Innovation from NASA.

Performance Period: 04/15/2013 - 03/31/2018
Institution: Vanderbilt University
Sponsor: National Science Foundaiton
Award Number: 1238959
Project URL
CPS: Synergy: Collaborative Research: Formal Design of Semi-Autonomous Cyber-Physical Transportation Systems
Paul Green
Lead PI:
Paul Green
Abstract
The goal of this research is to develop fundamental theory, efficient algorithms, and realistic experiments for the analysis and design of safety-critical cyber-physical transportation systems with human operators. The research focuses on preventing crashes between automobiles at road intersections, since these account for about 40% of overall vehicle crashes. Specifically, the main objective of this work is to design provably safe driver-assist systems that understand driver's intentions and provide warnings/overrides to prevent collisions.
Paul Green

Dr. Paul A. Green is a research professor in UMTRI's Driver Interface Group and an adjunct professor in the University of Michigan (U-M) Department of Industrial and Operations Engineering (IOE).  He is also a past president of the Human Factors and Ergonomics Society (HFES) and currently a member of the HFES Executive Council and the Board of Certification in Professional Ergonomics Board of Directors.  He is a fellow in HFES and the Institute of Human Factors and Ergonomics.  Dr. Green teaches automotive human factors (IOE 437) and human-computer interaction (IOE 436) classes. He has also been leader of U-M's Human Factors Engineering Short Course, the flagship continuing education in the field since the 1980s.

Dr. Green leads a research team that focuses on driver distraction, driver workload and workload managers, navigation system design, and motor-vehicle controls and displays.  The research makes extensive use of instrumented cars and driving simulators.  

Dr. Green's research has been published in over 200 journal articles, proceedings papers, and technical reports.  He was the lead author of several landmark publications: the first set of U.S. DOT telematics guidelines and SAE recommended practices concerning navigation system design (SAE J2364, the 15-second rule), distraction compliance calculations (SAE J2365), and driving performance measurement and statistics (SAE J2944).

Before joining UMTRI, Dr. Green was an engineering staff member at the Philadelphia Naval Shipyard and a safety and health engineer for Scovill.  At U-M, he has held appointments in the Department of Psychology, the School of Art (Industrial Design), and the School of Information.  He has a B.S. degree in mechanical engineering from Drexel University and three degrees from U-M: an M.S.E. in IOE, an M.A. in psychology, and a joint Ph.D. in IOE and psychology.

Performance Period: 11/01/2012 - 12/31/2015
Institution: University of Michigan Ann Arbor
Sponsor: National Science Foundation
Award Number: 1238600
CPS: Small: Delays, Clocks, Timing and Reliability in Networked Control Systems: Theories, Protocols and Implementation
Abstract
The objective of this research is to address issues related to the platform revolution leading to a third generation of networked control systems. The approach is to address four fundamental issues: (i) How to provide delay guarantees over communication networks to support networked control? (ii) How to synchronize clocks over networks so as to enable consistent and timely control actions? (iii) What is an appropriate architecture to support mechanisms for reliable yet flexible control system design?
Performance Period: 09/01/2011 - 08/31/2013
Institution: Texas A&M Engineering Experiment Station
Sponsor: National Science Foundation
Award Number: 1232602
CPS: Medium: Collaborative Research: Architecture and Distributed Management for Reliable Mega-scale Smart Grids
Abstract
The objective of this research is to establish a foundational framework for smart grids that enables significant penetration of renewable DERs and facilitates flexible deployments of plug-and-play applications, similar to the way users connect to the Internet. The approach is to view the overall grid management as an adaptive optimizer to iteratively solve a system-wide optimization problem, where networked sensing, control and verification carry out distributed computation tasks to achieve reliability at all levels, particularly component-level, system-level, and application level.
Performance Period: 10/01/2011 - 08/31/2013
Institution: Texas A&M Engineering Experiment Station
Sponsor: National Science Foundation
Award Number: 1232601
Subscribe to