-
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…
-
DARPA iFAB ProgramThe 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).…
-
NSF PIRE: Science of Design for Societal Scale Cyber-Physical Systems WorkshopThe 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…
-
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)…
-
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…
-
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…
-
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,…
-
2022 NSF National Robotics Initiative - Foundational Research in Robotics Principal Investigators' MeetingWelcome to the 2022 National Robotics Initiative and Foundational Research in Robotics Principal Investigators' Meeting. This year's meeting will be held virtually over three days from Tuesday, April 19 through Thursday, April 21,…
-
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…
-
Design Automation for CPS and IoT (DESTION 2020)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…
-
2021 Virtual CPS Summer CampThe 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…
-
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…
-
6th International Workshop on Design Automation for CPS and IoT (DESTION 2024)
DESTION 2024 will take place on May 13, 2024 in Hong Kong as part of the CPS-IoT Week events.The target audience of DESTION 2024 is researchers and practitioners of Cyber Physical Systems (CPS) design methodologies, machine learning, experts from 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…
-
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…
-
2012 National Workshop on the New Clockwork for Time-Critical Cyber-Physical SystemsThe NITRD National Workshop on The New Clockwork for Time-Critical Cyber-Physical Systems workshop was held on October 25-27, 2012 at the Hyatt Regency in Baltimore, Maryland. The general session was on Thursday, October 25 and Friday, October 26 with a…
-
2012 Science of Integration Review MeetingWelcome to the 2012 NSF CPS Science of Integration Review Meeting! Agenda & PresentationsMain papersYear 1 Report
-
Unifying Control and Verification of Cyber-Physical Systems (UnCoVerCPS)
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…
-
Music City BEST RoboticsBEST Robotics is a national non-profit organization providing middle and high school students with a FREE STEM Education program and competition for career and workforce development. BEST is an acronym for Boosting Engineering, Science and…
-
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…
-
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…
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.