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…

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

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…

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…

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 Institute for Convergent 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…

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…

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…

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…

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…

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

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

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…

 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 third biennial Secure and Trustworthy CyberSpace (Principal Investigators’ Meeting (SaTC PI Meeting ’17) was held January 9-11, 2017 at the Crystal Gateway Marriott Hotel located in the Crystal City Community of Arlington, Virginia at 1700…

The 2022 Secure and Trustworthy CyberSpace Principal Investigators’ Meeting (2022 SaTC PI Meeting), was held Wednesday, June 1 and Thursday, June 2, 2022 at the Hyatt Regency Crystal City Hotel in Arlington, VA. This meeting highlighted the 10-year…