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…

Welcome to the CASTLE competition!Overview: You are playing as a "red" offensive agent whose goal is to disrupt the network. Your goal is to maximize your reward. You will find that some actions lead to a high reward while others do not increase the…

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…

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…

 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…

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…

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

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…

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…

The 2011 Workshop for Developing Dependable and Secure Automotive Cyber-Physical Systems from Components (DDSA-CPS) was held in Troy, Michigan on March 17-18, 2011. The goal of this workshop, a follow-on to previous workshops on Cyber-Physical Systems…

Our mission is to provide reports, presentations and a science-based predictable tool suite to the Cyber Physical Systems (CPS) community related to our work in developing a new Science of Integration for CPS. This new science re-examines the…

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

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…

This Teacher Camp was held June 3-7, 2019 at Vanderbilt University Institute for Software Integrated Systems in Nashvillle, Tennessee. The camp offered a team-based, hands-on curriculum for teaching cybersecurity, distributed programming, and robotics.…

The fourth biennial NSF Secure and Trustworthy CyberSpace Principal Investigators’ Meeting (SaTC PI Meeting ’19) was held Monday, October 28 starting at 8:00 a.m. through 3:30 p.m. Tuesday, October 29, 2019 at the Hilton Alexandria Mark Center,…

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…

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

Workshop Goals and ObjectivesIn order to foster innovative and thought-provoking discussions exploring new frontiers of cyber-physical systems, an Early Career Professionals' Workshop on Exploring New Frontiers in Cyber-Physical Systems was held March 13…