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…

  • 2012 Medical Device Innovation Using Cyber Physical Systems Planning Meeting

    July 18-19 2012 Planning Meeting  to prepare for Spring 2013 Workshopon “Medical Device Innovation Using Cyber Physical Systems” Julian M. Goldman, Chair, Massachusetts General Hospital This planning meeting is intended to develop the…

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

  • London CPS Workshop

    Workshop on the Control of Cyber-Physical Systemshttp://controls.ame.nd.edu/mediawiki/index.php/London_CPS_WorkshopOctober 20-21, 2012University of Notre Dame London Centreorganized byUniversity of Notre Dame, USAKTH Royal Institute of Technology, Sweden…

  • 2014 NSF Workshop for Aspiring PIs in Cyber-Physical Systems

    This invitation-only workshop was held 18-19 February 2014, and was sponsored by the National Science Foundation under award CNS-1419419, under the direction of Jonathan Sprinkle of the University of Arizona. Invitations were issued to researchers with…

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

  • 2017 NSF Cyber-Physical Systems Principal Investigators' Meeting

    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…

  • 2017 Secure and Trustworthy Cyberspace Principal Investigators' Meeting (SaTC PI Meeting '17)

    The third biennial Secure and Trustworthy CyberSpace (Principal Investigators’ Meeting (SaTC PI Meeting ’17) was held January 9-11, 2017 at the Crystal Gateway Marriott Hotel located in the Crystal City Community of Arlington, Virginia at 1700…

  • Science of Integration

    Our mission is to provide reports, presentations and a science-based predictable tool suite to the Cyber Physical Systems (CPS) community related to our work in developing a new Science of Integration for CPS. This new science re-examines the…

  • 2024 Cyber-Physical Systems Principal Investigators' Meeting

    The 2024 Cyber-Physical Systems Principal Investigators' Meeting (CPS PI Meeting '24) was held in person at Vanderbilt University's Student Life Center (SLC) located at 310 25th Ave. South, Nashville, TN 37212. The meeting dates were Wednesday…

  • Foundations Of Resilient CybEr-physical Systems (FORCES)

    FORCES is designed to help protect the nation's critical infrastructure from attack and to ensure its robust, secure and efficient operation. Specifically, FORCES aims to increase the resilience of large-scale networked cyber-physical systems (CPS) in…

  • 2012 Science of Integration Review Meeting

    Welcome to the 2012 NSF CPS Science of Integration Review Meeting! Agenda & PresentationsMain papersYear 1 Report

  • 2022 CPS-IoT Week Tutorial

    CPS-IoT Week 2022 will be fully virtualThis tutorial session will be held as a fully virtual event. We appreciate the hard work that the CPSWeek organizing committee displayed to permit an in-person event, but the tail of the pandemic prevents an in-…

  • 8th Workshop on Design Automation for CPS and IoT (DESTION 2026)

    DESTION 2026 will take place on May 11th, 2026 in Saint Malo, France as part of the CPS-IoT Week events.The target audience of DESTION 2026 is researchers and practitioners of Cyber Physical Systems (CPS) design methodologies, machine learning, experts…

  • 2025 Cyber-Physical Systems Principal Investigators' Meeting

    The 2025 Cyber-Physical Systems Principal Investigators' Meeting (CPS PI Meeting '25) will be held in person at Vanderbilt University's Student Life Center (SLC) located at 310 25th Ave. South, Nashville, TN 37212. The meeting dates will be…

  • CPS Certification (CERT)

    To  discuss and identify research needs in the certifiable assurance of cyber-physical systems (CPSs), focusing on uncertainties associated with the verification and validation of the complex logic on which these CPSs rely, whether…

  • Applied Verification for Continuous and Hybrid Systems

     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…