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…

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…

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

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…

Assurance Cases As cyber-physical systems become increasingly complex, regulators and third parties are looking for a means of assessing various properties of these systems, such as safety and security, under increasing time constraints. One possible…

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

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…

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…

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…

COVID-19 UPDATE: given the situation with the COVID-19 pandemic, the workshop is moving to an entirely digital format. Please check the CPS-IoT Week website for more information.Design Automation for CPS and IoT (DESTION 2020)Co-located with…

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…

CPS-IoT Week 2022 will be fully virtualThis tutorial session will be held as a fully virtual event. We appreciate the hard work that the CPSWeek organizing committee displayed to permit an in-person event, but the tail of the pandemic prevents an in-…

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…

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

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

About CPS Security Summer Camps '18The Cyber-Physical Systems (CPS) Summer Camps were a 5-day experience for highly-qualified students interested in the growing field of CPS Security. The camps will be held at the Vanderbilt University…

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…

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

5th Workshop on Design Automation for CPS and IoT (DESTION 2023)One Day Workshop at IEEE/ACM CPS-IoT WEEK, May 9, 2023, San Antonio, Texas, USADESTION 2023 took place on May 9, 2023 as part of the CPS-IoT Week events.The target audience of DESTION 2023…

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…