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…

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 2012 NSF CPS Science of Integration Review Meeting! Agenda & PresentationsMain papersYear 1 Report

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…

 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…

The 2018 NRI PI Meeting was held at the Hilton Crystal City at Washington Reagan National Airport located in Arlington, Virginia at 2399 Jefferson Davis Highway on Monday, October 29 and Tuesday, October 30, 2018.…

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…

The Cyber Physical Systems Virtual Organization (CPS-VO) will be conducting a one day workshop on CPS Reference Architectures. The workshop will be held at NSF on 26 March.Topics will include:What is a CPS reference architectureGeneral CPS architecture…

July 18-19 2012 Planning Meeting  to prepare for Spring 2013 Workshopon “Medical Device Innovation Using Cyber Physical Systems” Julian M. Goldman, Chair, Massachusetts General Hospital This planning meeting is intended to develop the…

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…

 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…

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…

The 2025 NSF-Jacobs Foundation Workshop on Deconstructing the Universal Mind took place June 12th and 13th, 2025 on the campus of The George Washington University on the third floor of the Media & Public Affairs (MPA) building located at 805 21st…

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…

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…

NSF in cooperation with Federal S&T agencies will hold the Cyberspace 2025 Workshop on Tuesday-Wednesday, April 22-23, 2014 at the Waterview Conference Center located at 1919 North Lynn Street in Arlington, VA 22209. This an invitation-only workshop…

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

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

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…

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