-
CPS SummerCamp '17This 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…
-
IEEE ECBS 2013 -- Phoenix, AZ -- 22-24 April 2013ECBS 2013 will be the 20th Annual IEEE International Conference and Workshops on the Engineering of Computer Based Systems (ECBS). The meeting is dedicated to formulating and advancing methods, techniques and tools for the Engineering of Computer…
-
Applied Verification for Continuous and Hybrid SystemsVerification 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…
-
2012 The New Clockwork for Time-Critical Systems Planning Meeting
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…
-
2024 CPS-IoT Week Tutorial: Enhancing CPS Data ReproducibilityEnhancing CPS Data Reproducibility Click here to browse all datasets accessible through the CPS-VO.Click here to upload your own dataset. Brief descriptionThrough this interactive tutorial, participants will be taken through the process…
-
2011 Workshop on Developing Dependable and Secure Automotive Cyber-Physical Systems from ComponentsThe 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…
-
2023 NSF-MOST Workshop on Cyber Physical Systems & Smart and Connected CommunitiesWelcome 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…
-
2025 CPS-IoT Week Tutorial: Going Public with Your CPS Code and Data
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…
-
2014 NSF Early Career Professionals Workshop on Exploring New Frontiers in Cyber-Physical SystemsWorkshop 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…
-
DARPA META ProgramThe goal of the META program is to substantially improve upon the existing systems engineering, integration, and testing process for defense systems. META is not predicated on one particular alternative approach, metric, technique, or tool. Broadly…
-
Vanderbilt Digital NightsVanderbilt 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…
-
Secure and Trustworthy Cyberspace (SaTC) Community ForumImage 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…
-
DARPA VehicleFORGEThe 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…
-
Formal Methods at ScaleIn 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…
-
UPenn - Assuring Medical Device CPS Safety and ReliabilityMedical 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.…
-
2017 Secure and Trustworthy Cyberspace Principal Investigators' Meeting (SaTC PI Meeting '17)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…
-
2022 Secure and Trustworthy Cyberspace Principal Investigators' Meeting (SaTC PI Meeting '22)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…
-
Workshop on Assured CPS Autonomy for 3D Urban Transportation: Drones, Flying Cars and BeyondNSF-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…
-
2025 NSF-Jacobs Foundation workshop on Deconstructing the Universal Mind
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…
-
2020 NSF CISE-SBE Virtual Roundtable on Harnessing the Computational and Social Sciences to Solve Critical Societal Problems
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…
Communities
The CPS-VO Portal provides extensive support for Communities of Interest. Groups can be formed around a technical topic, event/workshop, or research project.