CPS: Small: Collaborative Research: Methods and Tools for the Verification of Cyber-Physical Systems
Hao Zheng
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
Chris Myers
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
CPS: Small: Collaborative Research: Distributed Coordination of Agents For Air Traffic Flow Management
Adrian Agogino
Lead PI:
Adrian Agogino
Abstract
This objective of this proposal is to improve the management of the air traffic system, a cyber-physical system where the need for a tight connection between the computational algorithms and the physical system is critical to safe, reliable and efficient performance. The approach is based on an adaptive multi-agent coordination algorithm with a particular emphasis on the systematic selection of the agents, their actions and the agents' reward functions.
Performance Period: 09/01/2009 - 08/31/2013
Institution: University of California-Santa Cruz
Sponsor: National Science Foundation
Award Number: 0930168
CPS: Small: Control of Distributed Cyber-Physical Systems under Partial Information and Limited Communication
Stephane Lafortune
Lead PI:
Stephane Lafortune
Co-PI:
Abstract
The objective of this research is the development of novel control architectures and computationally efficient controller design algorithms for distributed cyber-physical systems with decentralized information infrastructures and limited communication capabilities. Active safety in Intelligent Transportation Systems will be the focus cyber-physical application. For the successful development and deployment of cooperative active safety systems, it is critical to develop theory and techniques to design algorithms with guaranteed safety properties and predictable behavior.
Performance Period: 09/01/2009 - 08/31/2013
Institution: University of Michigan Ann Arbor
Sponsor: National Science Foundation
Award Number: 0930081

Agenda: Cyber Physical Systems, Germany

Submitted by Anonymous on

The document defines the CPS research agenda in Germany. First it describes the rapidly growing research field of CPS. It provides a brief introduction to CPS, describing the capabilities and the many opportunities for application and new business models. The opportunities and challenges for technology, society and the economy associated with the profound change are analysed on the basis of an investigation into the characteristic features and capabilities of CPS. Overcoming these challenges is the aim of the as yet undefined CPS research agenda.

Realizing the Full Potential of Health Information Technology to Improve Healthcare for Americans: The Path Forward

Submitted by Anonymous on

The President's Council of Advisors on Science and Technology (PCAST) report, “Realizing the Full Potential of Health Information Technology to Improve Healthcare for Americans: The Path Forward,” examines how health information technology could improve the quality of healthcare and reduce its cost and whether exisiting Federal efforts in health information technology are optimized for these goals.

Designing a Digital Future: Federally Funded Research and Development In Networking and Information Technology

Submitted by Anonymous on
<p>The President's Council of Advisors on Science and Technology (PCAST) report, &ldquo;Designing a Digital Future: Federally Funded Research and Development in Networking and Information Technology,&rdquo; examines the Nation&rsquo;s Networking and Information Technology Research and Development (NITRD) Program.</p>

EU ICT Program 2011-2012

Submitted by Anonymous on

Full Call for Proposal for the EU ICT Program in 2011 and 2012. Pages 124-126 provide overview of objectives with budget figures and deadlines. CPS related areas are in the following chapters: 1.3; 1.6; 2.1; 3.3; 3.4; 6.1; 6.8; 7.1; 7.4; 9.7; 9.10

Subscribe to