Communities
The CPS-VO Portal provides extensive support for Communities of Interest. Groups can be formed around a technical topic, event/workshop, or research project.
-
2022 NSF Cyber-Physical Systems Principal Investigators' MeetingThe 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…
-
Secure and Trustworthy Cyberspace Principal Investigators' Meeting (2012)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…
-
2016 NSF Cyber-Physical Systems Principal Investigators' MeetingThe 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 SaTC CyberSpace 2025 Workshop (Cyber2025)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…
-
2022 Secure and Trustworthy Cyberspace Principal Investigators' Meeting (SaTC PI Meeting '22)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…
-
2017 NSF Cyber-Physical Systems Principal Investigators' MeetingThe 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…
-
2023 NSF Workshop on Silent Data CorruptionIn 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…
-
2014 NSF Cyber-Physical Systems Principal Investigators' MeetingThe 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…
-
NSF PIRE: Science of Design for Societal Scale Cyber-Physical Systems WorkshopThe 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-…
-
Unifying Control and Verification of Cyber-Physical Systems (UnCoVerCPS)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…
-
Design Automation for CPS and IoT (DESTION 2023)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…
-
Science of Design for Societal-Scale Cyber-Physical Systems (CPS)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…
-
Applied Verification for Continuous and Hybrid SystemsVerification 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…
-
2010 NSF Cyber-Physical Systems Principal Investigators' MeetingThe 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…