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

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…

Going Public with Your CPS Code and Data Join us at Doheny Beach C on Tuesday, May 6, 2025 for two sessions: (1) Making your code do the talking and (2) Creating an accessible and active resource. Participants are welcome to attend one or both…

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

The 2021 Cyber-Physical Systems (CPS) Principal Investigators' (PI) Meeting was held from Wednesday, June 2 through Friday, June 4, 2021 in a virtual format.The PI meeting included keynote talks, panels, PI-led activities (lightning talks…

DESTION 2026 will take place on May 11th, 2026 in Saint Malo, France as part of the CPS-IoT Week events.The target audience of DESTION 2026 is researchers and practitioners of Cyber Physical Systems (CPS) design methodologies, machine learning, experts…

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

Workshop on the Control of Cyber-Physical Systemshttp://controls.ame.nd.edu/mediawiki/index.php/London_CPS_WorkshopOctober 20-21, 2012University of Notre Dame London Centreorganized byUniversity of Notre Dame, USAKTH Royal Institute of Technology, Sweden…

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…

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…

 A cyber-physical system consists of two interacting subsystems, a cyber-system and a physical system. The behavior of the cyber system is controlled by the execution of programs on a distributed digital computer system, while the laws of physics…

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…

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…

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

The 2020 NSF NRI PI Meeting was held Thursday, February 27 starting at 8:30 a.m. through 5:00 p.m. Friday, February 28, 2020 at the Renaissance Arlington Capital View, located at 2800 South Potomac Ave., Arlington, Virginia 22202. There was a…

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

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…

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…