National CPS PI Meeting 2010
The Westin Arlington Gateway, Arlington, VA
[Meeting Invitation] [Agenda] [Guidance for Participants] [Poster Assignment] [Register for Meeting] [Hotel Reservations]
The Westin Arlington Gateway, Arlington, VA
[Meeting Invitation] [Agenda] [Guidance for Participants] [Poster Assignment] [Register for Meeting] [Hotel Reservations]
The ASEE Engineering Research Council held a meeting in Washington DC on March 5, 2012. There were presentations from OSTP, ASD-R&E, AFOSR, ARO, DOE, NIH, NSF, ONR, USDA about the agencies' research interests, funding levels and new opportunities including CPS. Several of the presentations had information relevant to CPS, including Dr. Reginald Brothers, Assistant Secretary of Defense for Research and Engineering; John P.
To address the challenges imposed by the rapidly evolving global energy market, ARPA-E seeks to support transformational research in all areas of energy R&D, including resource identification, extraction, transportation and use, and energy ge
The far-reaching impact and rate of innovation in the computing and information disciplines has been remarkable, generating economic prosperity and enhancing the quality of life for people throughout the world. But the best is yet to come!
Synopsis:
The goal of the High-Assurance Cyber Military Systems (HACMS) program is to create technology for the construction of high-assurance, cyber-physical systems, where high assurance is defined to mean functionally correct and satisfying appropriate safety and security properties. Achieving this goal requires a fundamentally different approach from what the software community has taken to date. HACMS will adopt a clean-slate, formal methods–based approach that enables semi-automated code synthesis from executable, formal specifications.
Synopsis:
Synopsis:
The goal of the Power Efficiency Revolution for Embedded Computing Technologies (PERFECT) program is to provide the technologies and techniques to overcome the power efficiency barriers that currently constrain embedded computing systems capabilities and limit the potential of future embedded systems.
Important Dates:
Posting Date: February 3, 2012
Abstract Due Date: February 23, 2012
Proposal Due Date: April 16, 2012
Cyber-physical systems (CPS) are engineered systems that are built from and depend upon the synergy of computational and physical components.