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' Meeting
    The 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,…
  • 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…
  • 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…
  • 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…
  • 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…
  • 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…
  • 2024 CPS-IoT Week Tutorial: Enhancing CPS Data Reproducibility
    Enhancing CPS Data ReproducibilityBrief descriptionThrough this interactive tutorial, participants will be taken through the process of taking their existing validation set, and producing both static and active ways for individuals to explore it onto the…
  • Workshop on Big Data Analytics in CPS: Enabling the Move from IoT to Real-Time Control
     Cyber-physical systems research to date has focused on the development of synergy and tight coupling of the physical and computational processes, vis-a-vis, the control of the system. However, this tight coupling is also enabling the accumulation…
  • 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…
  • 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…
  • 2023 NSF-MOST Workshop on Cyber Physical Systems & Smart and Connected Communities
    Welcome In order to promote Taiwan and US bilateral cooperation, a follow up to the "2022 NSF-MOST Workshop on Cyber Physical Systems (CPS) & Smart and Connected Communities (SCC)” virtual meeting has been organized to be held in-person 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…
  • 2020 NSF CISE-SBE Virtual Roundtable on Harnessing the Computational and Social Sciences to Solve Critical Societal Problems
    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…
  • ASU SES230
    Instructor: Prof. Jnaneshwar Das (jdas5@asu.edu)Teaching Assistants: Sarah Bearman (sbearman@asu.edu), Zhiang Chen (zchen256@asu.edu)Credits: 3 unitsCourse OverviewA series of lectures and computer labs on data processing and analysis in Earth and Space…
  • UPenn - Assuring Medical Device CPS Safety and Reliability
    Medical device systems are a prime example of cyber-physical systems, featuring complex and close interaction of sophisticated treatment algorithms with the physical aspects of the system, and especially the patient whose safety is of the utmost concern…
  • 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…
  • Vanderbilt ISIS Internship Program
     The Institute for Software-Integrated Systems is a professional research organization at the Vanderbilt University School of Engineering (located just off campus on Nashville's Music Row) and is engaged in various educational activities focusing on…
  • 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.…
  • 2024 NSF Aspiring CPS PIs’ Workshop
    Applications for this workshop are now closed.     Applicants invited to the workshop will be contacted by the organizers.  Workshop GoalsThe goal of the workshop is to help aspiring PIs understand what NSF (and…
  • 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…
  • 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…