The 2022 Cyber-Physical Systems (CPS) Principal Investigators' (PI) Meeting was held at the Crystal Gateway Marriott Hotel located at 1700 Richmond Highway in Arlington, VA 22202 on Monday, November 7, 2022 (arrival night) and Tuesday, November 8, 2022…

The Secure and Trustworthy Cyberspace (SaTC) program of the National Science Foundation held a two-and-a-half-day conference of its principal investigators' from Tuesday morning, November 27,  to Thursday noon, November 29, 2012 at the Gaylord National…

The seventh annual CPS PI Meeting took place on Monday, October 31 and Tuesday, November 1, 2016 at the Renaissance Arlington Capital View (RACV) Hotel located in the Crystal City Community of Arlington, Virginia at 2800 South Potomac Avenue, Arlington,…

NSF in cooperation with Federal S&T agencies will hold the Cyberspace 2025 Workshop on Tuesday-Wednesday, April 22-23, 2014 at the Waterview Conference Center located at 1919 North Lynn Street in Arlington, VA 22209. This an invitation-only workshop…

The 2022 Secure and Trustworthy CyberSpace Principal Investigators’ Meeting (2022 SaTC PI Meeting), was held Wednesday, June 1 and Thursday, June 2, 2022 at the Hyatt Regency Crystal City Hotel in Arlington, VA. This meeting highlighted the 10-year…

The eighth annual CPS PI Meeting took place on November 13 and 14, 2017 in Alexandria, Virginia. The meeting provided a forum for a wide range of stakeholders in academia, industry, and Federal agencies to review new developments in CPS foundations, to…

In today's climate, hyperscalers are reporting frequent silent data corruptions (SDCs)—i.e, silent errors or corrupt execution errors (CEEs)—in their cloud fleets caused by silicon manufacturing defects. Remarkably, SDCs at-scale are exhibiting error…

 The fifth annual CPS PI Meeting was held Thursday and Friday, November 6-7, 2014 at the Crystal Gateway Marriott Hotel located at 1700 Jefferson Davis Highway, Arlington, Virginia 22202 near the Crystal City Metro and Reagan Washington National Airport…

The closing workshop of the NSF PIRE Science of Design of Societal-Scale CPS project took place June 5-6, 2023 at the Garching campus of Technische Universitat Munchen (Technical University of Munich) in Munich, Germany. This international effort was co-…

Cyber-physical systems are very hard to control and verify because of the mix of discrete dynamics (originating from computing elements) and continuous dynamics (originating from physical elements). We present completely new methods for deverticalisation…

5th Workshop on Design Automation for CPS and IoT (DESTION 2023)One Day Workshop at IEEE/ACM CPS-IoT WEEK, May 9, 2023, San Antonio, Texas, USADESTION 2023 took place on May 9, 2023 as part of the CPS-IoT Week events.The target audience of DESTION 2023…

 A B O U T  S D S S - C P S This project aims to develop a new Science of Design for Societal-Scale Cyber- Physical Systems (CPS). Emerging industrial platforms such as the Internet of Things (IoT), Industrial Internet (II) in the US and Industrie 4.0 in…

 Verification of continuous and hybrid systems is increasing in importance due to new cyber-physical systems that are safety- or operation-critical. This workshop addresses verification techniques for continuous and hybrid systems with a special focus on…

The first annual Cyber-Physical Systems Principal Investigators' Meeting was held August 10-12, 2010 at the Westin Arlington Gateway in Arlington, Virginia.The CPS Principal Investigator Meeting provides a forum for a wide range of stakeholders in…