-
-
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…
-
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…
-
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…
-
2014 National Workshop on Research Frontiers in Medical Cyber-Physical SystemsThe 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)…
-
Workshop on Big Data Analytics in CPS: Enabling the Move from IoT to Real-Time ControlCyber-physical systems research to date has focused on the development of synergy and tight coupling of the physical and computational processes, vis-a-vis, the control of the system. However, this tight coupling is also enabling the accumulation…
-
2020 NSF CISE-SBE VR on Harnessing the Computational and Social Sciences to Solve Critical Societal Problems - PC Group
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…
-
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…
-
ASU SES230Instructor: Prof. Jnaneshwar Das (jdas5@asu.edu)Teaching Assistants: Sarah Bearman (sbearman@asu.edu), Zhiang Chen (zchen256@asu.edu)Credits: 3 unitsCourse OverviewA series of lectures and computer labs on data processing and analysis in Earth and Space…
-
8th Workshop on Design Automation for CPS and IoT (DESTION 2026)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…
-
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…
-
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…
-
Design Automation for CPS and IoT (DESTION 2021)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…
-
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…
-
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,…
-
2013 Science of Integration Review MeetingInstitute for Software Integrated Systems/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 Security Teacher Summer Camp 2019This Teacher Camp was held June 3-7, 2019 at Vanderbilt University Institute for Software Integrated Systems in Nashvillle, Tennessee. The camp offered a team-based, hands-on curriculum for teaching cybersecurity, distributed programming, and robotics.…
-
Assurance Case Research GroupAssurance 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…
-
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…
-
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…
-
Secure and Trustworthy Cyberspace Principal Investigators' Meeting (2012)The Secure and Trustworthy Cyberspace (SaTC) program of the National Science Foundation held a two-and-a-half-day conference of its principal investigators' from Tuesday morning, November 27, to Thursday noon, November 29, 2012 at the Gaylord…
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.