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

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

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

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

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

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

  • 2014 National Workshop on Transportation Cyber-Physical Systems

    The National Workshop on Transportation Cyber-Physical Systems was held January 23-24, 2014 in Arlington, Virginia. The workshop gathered leaders from industry, research laboratories, academic institutions, and government agencies to assess the current…

  • 2010 NSF Cyber-Physical Systems Principal Investigators' Meeting

    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…

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

  • DARPA iFAB Program

    The manufacture of complex cyber-physical systems is generally limited to two options: large scale manufacturing that is efficient at producing one known product quickly and repeatably, or prototype assembly of a single (or few) test article(s).…

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

  • 2026 Workshop: Utilization of Digital Twins for Resilience Integration into Highway Infrastructure Asset Management.

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

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

  • Design Automation for CPS and IoT (DESTION 2020)

    COVID-19 UPDATE: given the situation with the COVID-19 pandemic, the workshop is moving to an entirely digital format. Please check the CPS-IoT Week website for more information.Design Automation for CPS and IoT (DESTION 2020)Co-located with…

  • Secure and Trustworthy Cyberspace (SaTC) Community Forum

    Image The Secure and Trustworthy Cyberspace (SaTC) program funds fundamentally new, principled approaches to protect and defend cyberspace against harmful actions by determined adversaries, and to measure…

  • 2013 National Workshop on Energy Cyber-Physical Systems

    The National Science Foundation held the 2013 National Workshop on Energy CPS on December 16-17, 2013 at the Waterview Conference Center located at 1919 N. Lynn Street in Arlington, Virginia. This workshop offered a unique NSF perspective focusing on the…

  • CPS Security Student Camps 2019

    Two 2019 summer camps were held </span>at the Vanderbilt University Institute for Software Integrated Systems in Nashvillle, Tennessee. The camps offered a hands-on curriculum that teaches cybersecurity, programming, and robotics. Students worked…

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