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…

Enhancing CPS Data Reproducibility Click here to browse all datasets accessible through the CPS-VO.Click here to upload your own dataset.  Brief descriptionThrough this interactive tutorial, participants will be taken through the process…

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…

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…

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

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…

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…

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…

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…

DESTION 2024 will take place on May 13, 2024 in Hong Kong as part of the CPS-IoT Week events.The target audience of DESTION 2024 is researchers and practitioners of Cyber Physical Systems (CPS) design methodologies, machine learning, experts from the…

Institute for Software Integrated Systems/Vanderbilt UniversityApril 23, 2013 8:00am – 4:00pm CSTTimeNameTitle 8:00 - 8:05 Introductions/Opening Remarks 8:05 - 8:30Janos Sztipanovits (PI)Project Overview  Session IControl in…

Welcome to the 2021 National Robotics Initiative and Foundational Reseach in Robotics Principal Investigators' Meeting. This year's meeting was held virtually from Wednesday, March 10 through Friday, March 12, 2021.The goal of this meeting…

Welcome to the 2022 National Robotics Initiative and Foundational Research in Robotics Principal Investigators' Meeting. This year's meeting will be held virtually over three days from Tuesday, April 19 through Thursday, April 21,…

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…

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

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…

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

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…

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

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…

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…

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…