-
Verification Tool LibraryThe 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…
-
CASTLEWelcome 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…
-
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…
-
2019 Secure and Trustworthy Cyberspace Principal Investigators' Meeting (SaTC PI Meeting '19)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…
-
7th International Workshop on Design Automation for CPS and IoT (DESTION 2025)
DESTION 2025 will take place on May 06, 2025 in Irvine, California, USA as part of the CPS-IoT Week events.The target audience of DESTION 2025 is researchers and practitioners of Cyber Physical Systems (CPS) design methodologies, machine learning,…
-
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…
-
Next Big Research Challenges in Cyber-Physical Systems WorkshopThe 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…
-
2024 Cyber-Physical Systems Principal Investigators' Meeting
The 2024 Cyber-Physical Systems Principal Investigators' Meeting (CPS PI Meeting '24) was held in person at Vanderbilt University's Student Life Center (SLC) located at 310 25th Ave. South, Nashville, TN 37212. The meeting dates were Wednesday…
-
OpenUAVRocky 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 '…
-
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…
-
2022 NSF Cyber-Physical Systems Principal Investigators' MeetingThe 2022 Cyber-Physical Systems (CPS) Principal Investigators' (PI) Meeting was held at the Crystal Gateway Marriott Hotel located at 1700 Richmond Highway in Arlington, VA 22202 on Monday, November 7, 2022 (arrival night) and Tuesday,…
-
2022 CPS-IoT Week TutorialCPS-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-…
-
2013 National Workshop on Energy Cyber-Physical SystemsThe National Science Foundation held the 2013 National Workshop on Energy CPS on December 16-17, 2013 at the Waterview Conference Center located at 1919 N. Lynn Street in Arlington, Virginia. This workshop offered a unique NSF perspective focusing on the…
-
2024 NSF Aspiring CPS PIs’ WorkshopApplications 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…
-
2014 NSF CPS Reference Architectures WorkshopThe 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…
-
Design Automation for CPS and IoT (DESTION 2023)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…
-
London CPS Workshop
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…
-
2014 NSF Workshop for Aspiring PIs in Cyber-Physical SystemsThis 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…
-
2021 NSF National Robotics Initiative Principal Investigators' MeetingWelcome 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…
-
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 (…
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.