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.
  • 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) for high-…
  • 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…
  • 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 'OpenUAV2'. 2) Once the container…
  • 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 focus on…
  • Science of Design for Societal-Scale Cyber-Physical Systems (CPS)
     A B O U T  S D S S - C P S This project aims to develop a new Science of Design for Societal-Scale Cyber- Physical Systems (CPS). Emerging industrial platforms such as the Internet of Things (IoT), Industrial Internet (II) in the US and Industrie 4.0 in…
  • 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…
  • Formal Methods at Scale
    In Fall 2019 the National Science and Technology Council's Special Cyber Operations Research and Engineering Subcommittee convened two one-day meetings to discuss successes and barriers, opportunities and challenges, in the (accelerating) use of formal…
  • DARPA META Program
    The goal of the META program is to substantially improve upon the existing systems engineering, integration, and testing process for defense systems. META is not predicated on one particular alternative approach, metric, technique, or tool. Broadly…
  • 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…
  • 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 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…
  • 2014 National Workshop on Research Frontiers in Medical Cyber-Physical Systems
    The National Science Foundation (NSF) - Directorate of Computer and Information Science and Engineering (CISE) and the Directorate for Engineering (ENG), in cooperation with the Networking and Information Technology Research and Development (NITRD)…
  • 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…