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…

Vanderbilt Digital Nights Series(2020-2021)Welcome to the home page for the Vanderbilt Digital Nights Program! This series of events is sponsored by the Computational Thinking and Learning Initiative (CTLI), a group of interdisciplinary researchers from…

Mission StatementTo co-ordinate and document regulators’ and safety authority experts’ technical viewpoints on the use of safety critical software for nuclear reactors, both existing and new build (membership is not restricted to regulators involved in…

The summer cybercamp will offer a hands-on curriculum that teaches cybersecurity, programming, and robotics. Students will work in teams utilizing virtual robots in a shared 3D world. Participants will create computer programs to control the robots using…

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…

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…

Welcome to the 2012 NSF CPS Science of Integration Review Meeting! Agenda & PresentationsMain papersYear 1 Report

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

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

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…

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…

ECBS 2013 will be the 20th Annual IEEE International Conference and Workshops on the Engineering of Computer Based Systems (ECBS). The meeting is dedicated to formulating and advancing methods, techniques and tools for the Engineering of Computer-…

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…

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…

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…

Welcome to the official 2023 Foundational Research in Robotics (FRR) - National Robotics Initiative (NRI) Principal Investigators' (PI) Meeting website.The 2023 FRR-NRI PI Meeting was held in person over three days from Monday,…

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…

The NITRD National Workshop on The New Clockwork for Time-Critical Cyber-Physical Systems workshop was held on October 25-27, 2012 at the Hyatt Regency in Baltimore, Maryland. The general session was on Thursday, October 25 and Friday, October 26 with a…

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…

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