Opportunities and Obligations for Physical Computing Systems, Computer, Volume 38, Issue 11, November 2005, pages 23-31. (Report produced by a Workshop at the IEEE Real-Time Systems Symposium, December 2003).

NSF Workshop on Cyber-Physical Systems October 16-17, 2006 | Austin, Texas http://www.mdpnp.org/FDA_Workshop.html PROGRAM | SPONSORS | ORGANIZERS

NSF Industry Round-Table on Cyber-Physical Systems, May 17, 2007, Arlington, VA.

Cyber-Physical Systems Summit "Holistic Approaches to Cyber-Physical Integration" April 24-25, 2008 | St. Louis, Missouri http://varma.ece.cmu.edu/Summit/ PROGRAM | BREAKOUTS | ORGANIZERS

CPS Community Forum San Francisco, California, USA Note: Before attending the CPS Forum, attendees are strongly encouraged to read the CPS Executive Summary. Monday, April 13, 2009 1800 - 2030: CPS Forum Posters and Demos Wenesday, April 15, 2009 - Program Agenda

ACC2010  -- American Control Conference

CompCPS-2010  -- The First Australasian Workshop on Computation in Cyber-Physical Systems Sydney, Australia http://www.prokopenko.net/CompCPS-2010.html

MobiCPS 2010 - The 1st IEEE International Workshop on Mobile Cyber-Physical Systems The MobiCPS workshop is an international forum for researchers and practitioners to present innovative ideas and results on all aspects of mobile cyber-physical systems, including theoretical foundations, techniques and methods, tools and platforms, prototypes, and practical applications. Besides research papers, this workshop will feature Invited Talks and a Panel Discussion session.  

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.

Cyber-physical systems (CPS) are engineered systems that are built from and depend upon the synergy of computational and physical components.