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…

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…

In Fall 2019 the National Science and Technology Council's Special Cyber Operations Research and Engineering Subcommittee convened two one-day meetings to discuss successes and barriers, opportunities and challenges, in the (accelerating) use…

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…

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

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…

ISIS/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 CPS and Automotive CPS8:30 - 9:…

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…

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

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…

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…

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…

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…

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…

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…

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…

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 tenth annual Cyber-Physical Systems Principal Investigators' Meeting (CPS PI Meeting '19) was held Wednesday, November 20 (arrival night) - Thursday, November 21 & Friday, November 22 (meeting days) at the Crystal Gateway Marriott, located…

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…

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…

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