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

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…

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…

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…

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

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…

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…

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…

The VehicleFORGE platform is a web-based, collaborative design environment based loosely on the concept of modern day software ‘forges’ (e.g., SourceForge, forge.mil, etc.).  The purpose of VehicleFORGE within AVM is to provide a common platform for…

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…

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…

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…

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…

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…

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…

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

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…

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…