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.
  • CASTLE

    Welcome to the CASTLE competition!Overview: You are playing as a "red" offensive agent whose goal is to disrupt the network. Your goal is to maximize your reward. You will find that some actions lead to a high reward while others do not increase the…

  • Verification Tool Library

    The Verification Tools Library documents several of the most mature verification tools available to the cyber-physical systems community.This site consists of:a search engine that suggests specific tools for various types of problems,as well as a…

  • 2021 NSF Cyber-Physical Systems Principal Investigators' Meeting

    The 2021 Cyber-Physical Systems (CPS) Principal Investigators' (PI) Meeting was held from Wednesday, June 2 through Friday, June 4, 2021 in a virtual format.The PI meeting included keynote talks, panels, PI-led activities (lightning talks,…

  • 2014 National Workshop on Research Frontiers in Medical Cyber-Physical Systems

    The National Science Foundation (NSF) - Directorate of Computer and Information Science and Engineering (CISE) and the Directorate for Engineering (ENG), in cooperation with the Networking and Information Technology Research and Development (NITRD)…

  • 2014 NSF CPS Reference Architectures Workshop

    The Cyber Physical Systems Virtual Organization (CPS-VO) will be conducting a one day workshop on CPS Reference Architectures. The workshop will be held at NSF on 26 March.Topics will include:What is a CPS reference architectureGeneral CPS architecture…

  • 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…

  • Workshop on Assured CPS Autonomy for 3D Urban Transportation: Drones, Flying Cars and Beyond

    NSF-PIRE Workshop: US-Germany CPS Collaborations      Assured CPS Autonomy for 3D Urban Transportation: Drones, Flying Cars and BeyondVirtual | June 9-10, 2021View Program Agenda There has been a tremendous amount…

  • Assurance Case Research Group

    Assurance Cases As cyber-physical systems become increasingly complex, regulators and third parties are looking for a means of assessing various properties of these systems, such as safety and security, under increasing time constraints. One possible…

  • 2024 CPS-IoT Week Tutorial: Enhancing CPS Data Reproducibility

    Enhancing CPS Data Reproducibility Click here to browse all datasets accessible through the CPS-VO.Click here to upload your own dataset.  Brief descriptionThrough this interactive tutorial, participants will be taken through the process…

  • DARPA META Program

    The goal of the META program is to substantially improve upon the existing systems engineering, integration, and testing process for defense systems. META is not predicated on one particular alternative approach, metric, technique, or tool. Broadly…

  • 2012 National Workshop on the New Clockwork for Time-Critical Cyber-Physical Systems

    The NITRD National Workshop on The New Clockwork for Time-Critical Cyber-Physical Systems workshop was held on October 25-27, 2012 at the Hyatt Regency in Baltimore, Maryland. The general session was on Thursday, October 25 and Friday, October 26 with a…

  • 7th International Workshop on Design Automation for CPS and IoT (DESTION 2025)

    DESTION 2025 will take place on May 06, 2025 in Irvine, California, USA as part of the CPS-IoT Week events.The target audience of DESTION 2025 is researchers and practitioners of Cyber Physical Systems (CPS) design methodologies, machine learning,…

  • 2020 NSF CISE-SBE VR on Harnessing the Computational and Social Sciences to Solve Critical Societal Problems - PC Group

    The Virtual Roundtable on Harnessing the Computational and Social Sciences to Solve Critical Societal Problems is an invitation-only event jointly convened by the National Science Foundation directorates of Computer and Information Science and…

  • 2019 NSF Cyber-Physical Systems Principal Investigators' Meeting

    The tenth annual Cyber-Physical Systems Principal Investigators' Meeting (CPS PI Meeting '19) was held Wednesday, November 20 (arrival night) - Thursday, November 21 & Friday, November 22 (meeting days) at the Crystal Gateway Marriott, located…

  • 2021 Virtual CPS Summer Camp

    The summer cybercamp will offer a hands-on curriculum that teaches cybersecurity, programming, and robotics. Students will work in teams utilizing virtual robots in a shared 3D world. Participants will create computer programs to control the robots using…

  • 2011 Workshop on Developing Dependable and Secure Automotive Cyber-Physical Systems from Components

    The 2011 Workshop for Developing Dependable and Secure Automotive Cyber-Physical Systems from Components (DDSA-CPS) was held in Troy, Michigan on March 17-18, 2011. The goal of this workshop, a follow-on to previous workshops on Cyber-Physical Systems…

  • 2023 NSF Workshop on Silent Data Corruption

    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…

  • Formal Methods at Scale - East

    As an active and contributing member of the formal methods community the National Science and Technology Council's Special Cyber Operations Research and Engineering Subcommittee would like to invite you to attend a one-day meeting to discuss…