CPS: Small: Dynamically Managing the Real-time Fabric of a Wireless Sensor-Actuator Network
Lead PI:
Michael Lemmon
Co-PI:
Abstract
The objective of this research is to develop algorithms for wireless sensor-actuator networks (WSAN) that allow control applications and network servers to work together in maximizing control application performance subject to hard real-time service constraints. The approach is a model-based approach in which the WSAN is unfolded into a real-time fabric that captures the interaction between the network's cyber-processes and the application's physical-processes. The project's approach faces a number of challenges when they are applied to wireless control systems.
Michael Lemmon
Michael Lemmon is a professor of electrical engineering at the University of Notre Dame. He received his PhD and MS in EE from Carnegie-Mellon University in 1987 and 1990, respectively. He got his BSEE from Stanford University in 1979. He was an aerospace engineering from 1979-1986. He joined the faculty of electrical engineering at Notre Dame in 1990. His early research was on neural network, hybrid and cyber-physical systems, wireless sensor-actuator networks, and networked control systems. He is currently studying deep learning for robust adaptive control.
Performance Period: 09/01/2009 - 08/31/2014
Institution: University of Notre Dame
Sponsor: National Science Foundation
Award Number: 0931195
CPS: Medium: Collaborative Research: Abstraction of Cyber-Physical Interplays and Its Application to CPS Design
Lead PI:
C.Mani Krishna
Co-PI:
Abstract
The objective of this research is to develop abstractions by which the controlled process and computation state in a cyber-physical system can both be expressed in a form that is useful for decision-making across real-time task scheduling and control actuation domains. The approach is to quantify the control degradation in terms of response time, thereby tying computer responsiveness to the controlled process performance and use such cost functions to effectively manage computational resources. Similarly, control strategies can be adjusted so as to be responsive to computational state.
Performance Period: 10/01/2009 - 09/30/2014
Institution: University of Massachusetts Amherst
Sponsor: National Science Foundation
Award Number: 0931035
CPS: Medium: Collaborative Research: Physical modeling and software
Lead PI:
Sonia Martinez
Abstract
The objective of this research is the transformation from static sensing into mobile, actuated sensing in dynamic environments, with a focus on sensing in tidally forced rivers. The approach is to develop inverse modeling techniques to sense the environment, coordination algorithms to distribute sensors spatially, and software that uses the sensed environmental data to enable these coordination algorithms to adapt to new sensed conditions. This work relies on the concurrent sensing of the environment and actuation of those sensors based on sensed data.
Performance Period: 09/01/2009 - 08/31/2013
Institution: University of California-San Diego
Sponsor: National Science Foundation
Award Number: 0930946
CPS: Small: Control of Surgical Robots: Network Layer to Tissue Contact
Lead PI:
Blake Hannaford
Co-PI:
Abstract
This proposed CPS project aims to enable intelligent telesurgery in which a surgeon, or a distributed team of surgeons, can work on tiny regions in the body with minimal access. The University of Washington will expand an existing open surgical robot testbed, and create a robust infrastructure for cyber-physical systems with which to extend traditional real-time control and teleoperation concepts by adding three new interfaces to the system: networking, intelligent robotics, and novel non-linear controllers.
Performance Period: 09/01/2009 - 12/31/2012
Institution: University of Washington
Sponsor: National Science Foundation
Award Number: 0930930
CPS: Medium: Collaborative Research: Physical Modeling and Software Synthesis for Self-Reconfigurable Sensors in River Environments
Lead PI:
Jonathan Sprinkle
Abstract
The objective of this research is the transformation from static sensing into mobile, actuated sensing in dynamic environments, with a focus on sensing in tidally forced rivers. The approach is to develop inverse modeling techniques to sense the environment, coordination algorithms to distribute sensors spatially, and software that uses the sensed environmental data to enable these coordination algorithms to adapt to new sensed conditions. This work relies on the concurrent sensing of the environment and actuation of those sensors based on sensed data.
Jonathan Sprinkle
Dr. Jonathan Sprinkle is a Professor of Computer Science at Vanderbilt University. From 2007-2021 he was with the faculty of Electrical and Computer Engineering of the University of Arizona, where he was a Distinguished Scholar and a Distinguished Associate Professor. He served as a Program Director at the National Science Foundation from 2017-2019 in the Computer and Information Science and Engineering Directorate, working with programs such as Cyber-Physical Systems, Smart & Connected Communities, and Research Experiences for Undergraduates.
Performance Period: 09/01/2009 - 08/31/2013
Institution: University of Arizona
Sponsor: National Science Foundation
Award Number: 0930919
GOALI/CPS:Medium:A Framework for Enabling Energy-Aware Smart Facilities
Lead PI:
Mario Berges
Co-PI:
Abstract
The goal of the proposed research is to identify ways to inexpensively provide specific information about energy consumption in buildings and facilitate conservation. Signal processing, machine learning, and data fusion techniques will be developed to extract actionable information from whole-building power meters and other available sensors.
Performance Period: 10/01/2009 - 09/30/2014
Institution: Carnegie Mellon University
Sponsor: National Science Foundation
Award Number: 0930868
Project URL
CPS: Medium: Collaborative Research: Abstraction of Cyber-Physical Interplays and Its Application to CPS Design
Lead PI:
Kang Shin
Co-PI:
Abstract
The objective of this research is to develop abstractions by which the controlled process and computation state in a cyber-physical system can both be expressed in a form that is useful for decision-making across real-time task scheduling and control actuation domains. The approach is to quantify the control degradation in terms of response time, thereby tying computer responsiveness to the controlled process performance and use such cost functions to effectively manage computational resources. Similarly, control strategies can be adjusted so as to be responsive to computational state.
Performance Period: 10/01/2009 - 09/30/2014
Institution: University of Michigan Ann Arbor
Sponsor: National Science Foundation
Award Number: 0930813
CPS: Medium: Collaborative Research: Infrastructure and Technology Innovations for Medical Device Coordination
Lead PI:
Insup Lee
Co-PI:
Abstract
The objective of this research is to develop a framework for the development and deployment of next-generation medical systems consisting of integrated and cooperating medical devices. The approach is to design and implement an open-source medical device coordination framework and a model-based component oriented programming methodology for the device coordination, supported by a formal framework for reasoning about device behaviors and clinical workflows.
Performance Period: 09/15/2009 - 08/31/2012
Institution: University of Pennsylvania
Sponsor: National Science Foundation
Award Number: 0930647
CPS: Small: Collaborative Research: Methods and Tools for the Verification of Cyber-Physical Systems
Lead PI:
Hao Zheng
Abstract
The objective of this research is to investigate and develop methods and tools for the analysis and verification of cyber-physical systems. The approach is to augment the methods and tools that have been developed at the University of Utah and the University of South Florida for modeling and verification of asynchronous and analog/mixed-signal circuits to address challenges in cyber-physical system verification.
Performance Period: 09/15/2009 - 08/31/2013
Institution: University of South Florida
Sponsor: National Science Foundation
Award Number: 0930510
CPS: Small: Collaborative Research: Methods and Tools for the Verification of Cyber-Physical Systems
Lead PI:
Chris Myers
Abstract
The objective of this research is to investigate and develop methods and tools for the analysis and verification of cyber-physical systems. The approach is to augment the methods and tools that have been developed at the University of Utah and the University of South Florida for modeling and verification of asynchronous and analog/mixed-signal circuits to address challenges in cyber-physical system verification.
Performance Period: 09/15/2009 - 08/31/2013
Institution: University of Utah
Sponsor: National Science Foundation
Award Number: 0930225
Project URL
Project URL
Feedback
Feedback
If you experience a bug or would like to see an addition or change on the current page, feel free to leave us a message.