The Institute for Software-Integrated Systems is a professional research organization at the Vanderbilt University School of Engineering (located just off campus on Nashville's Music Row) and is engaged in various educational activities focusing on…

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…

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

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

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

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…

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…

The first annual Cyber-Physical Systems Principal Investigators' Meeting was held August 10-12, 2010 at the Westin Arlington Gateway in Arlington, Virginia.The CPS Principal Investigator Meeting provides a forum for a wide range of stakeholders in…

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

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…

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…

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…

Our mission is to provide reports, presentations and a science-based predictable tool suite to the Cyber Physical Systems (CPS) community related to our work in developing a new Science of Integration for CPS. This new science re-examines the…

The National Workshop on Transportation Cyber-Physical Systems was held January 23-24, 2014 in Arlington, Virginia. The workshop gathered leaders from industry, research laboratories, academic institutions, and government agencies to assess the current…

Mission StatementTo co-ordinate and document regulators’ and safety authority experts’ technical viewpoints on the use of safety critical software for nuclear reactors, both existing and new build (membership is not restricted to regulators involved in…

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

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…

As an active and contributing member of the formal methods community the National Science and Technology Council's Special Cyber Operations Research and Engineering Subcommittee would like to invite you to attend a one-day meeting to discuss…

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

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

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