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.
  • 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…
  • 2020 National Robotics Initiative (NRI) Principal Investigators' Meeting
    The 2020 NSF NRI PI Meeting was held Thursday, February 27 starting at 8:30 a.m. through 5:00 p.m. Friday, February 28, 2020 at the Renaissance Arlington Capital View, located at 2800 South Potomac Ave., Arlington, Virginia 22202. There was a…
  • 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…
  • 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…
  • 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…
  • CPS SummerCamp '17
    This summer camp took place at Vanderbilt University July 31st - August 4th.  Invited participants were 15 MLK Jr Magnet School rising HS Seniors and Juniors.  The program will provides summer camp experience in Cyber-Physical Systems (CPS…
  • 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…
  • Design Automation for CPS and IoT (DESTION 2022)
    The relentless growth of complexity and heterogeneity of CPS and IoT systems imposes major challenges on and offers new opportunities for design automation methods and tools. Intrinsic heterogeneity—the large span in size from small CPS appliances to…
  • NSF PIRE: Science of Design for Societal Scale Cyber-Physical Systems Workshop
    The closing workshop of the NSF PIRE Science of Design of Societal-Scale CPS project took place June 5-6, 2023 at the Garching campus of Technische Universitat Munchen (Technical University of Munich) in Munich, Germany. This international effort was co-…
  • 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…
  • 2019 Secure and Trustworthy Cyberspace Principal Investigators' Meeting (SaTC PI Meeting '19)
    The fourth biennial NSF Secure and Trustworthy CyberSpace Principal Investigators’ Meeting (SaTC PI Meeting ’19) was held Monday, October 28 starting at 8:00 a.m. through 3:30 p.m. Tuesday, October 29, 2019 at the Hilton Alexandria Mark Center…
  • Secure and Trustworthy Cyberspace Principal Investigators' Meeting (2012)
    The Secure and Trustworthy Cyberspace (SaTC) program of the National Science Foundation held a two-and-a-half-day conference of its principal investigators' from Tuesday morning, November 27,  to Thursday noon, November 29, 2012 at the Gaylord…
  • Next Big Research Challenges in Cyber-Physical Systems Workshop
    The National Science Foundation (NSF) initiated its Cyber-physical systems (CPS) program more than a decade ago. As a result, there have been many foundational solutions developed to address various research challenges in modeling, design and analysis of…
  • DARPA VehicleFORGE
    The VehicleFORGE platform is a web-based, collaborative design environment based loosely on the concept of modern day software ‘forges’ (e.g., SourceForge, forge.mil, etc.).  The purpose of VehicleFORGE within AVM is to provide a common platform for…
  • 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).  …
  • 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…
  • 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…
  • 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…
  • 2012 CPS Curriculum/Education Workshop Planning Meeting
    This group is for planning the CPS Curriculum/Education Workshop sometime during the week of April 8-11, 2013 during CPSWeek in Philadelphia. This invitation-only planning meeting was held in Baltimore on Wednesday, October 24, 2012 (just before the…
  • 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…
  • 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…
  • 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…
  • 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…