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.
  • 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…
  • 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…
  • CPS Security Teacher Summer Camp 2019
    This Teacher Camp was held June 3-7, 2019 at Vanderbilt University Institute for Software Integrated Systems in Nashvillle, Tennessee. The camp offered a team-based, hands-on curriculum for teaching cybersecurity, distributed programming, and robotics.…
  • 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…
  • 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…
  • 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…
  • Music City BEST Robotics
    BEST Robotics is a national non-profit organization providing middle and high school students with a FREE STEM Education program and competition for career and workforce development. BEST is an acronym for Boosting Engineering, Science and…
  • OpenUAV
    Rocky Times Challenge  (mapping a precariously balanced rock at a fault scarp)March-April 2022  Instructions for running your simulation environment 1) Use the Design tab on the left to launch a simulation container, use '…
  • CPS Security Summer Camps '18
    About CPS Security Summer Camps '18The Cyber-Physical Systems (CPS) Summer Camps were a 5-day experience for highly-qualified students interested in the growing field of CPS Security. The camps will be held at the Vanderbilt University…
  • 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…
  • 2012 The New Clockwork for Time-Critical Systems Planning Meeting
     A cyber-physical system consists of two interacting subsystems, a cyber-system and a physical system. The behavior of the cyber system is controlled by the execution of programs on a distributed digital computer system, while the laws of physics…
  • 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…
  • 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…