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…

The 2018 NRI PI Meeting was held at the Hilton Crystal City at Washington Reagan National Airport located in Arlington, Virginia at 2399 Jefferson Davis Highway on Monday, October 29 and Tuesday, October 30, 2018.…

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

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…

July 18-19 2012 Planning Meeting  to prepare for Spring 2013 Workshopon “Medical Device Innovation Using Cyber Physical Systems” Julian M. Goldman, Chair, Massachusetts General Hospital This planning meeting is intended to develop the…

The Defense Advanced Research Projects Agency's (DARPA) Adaptive Vehicle Make (AVM) portfolio of programs had a goal of compressing the development timelines for new complex cyber-physical systems by at least five-fold.  With AVM, DARPA pursued the…

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…

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

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…

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…

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

Welcome 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,…

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…

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…

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…

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…

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…

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…

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…

This group is for planning the CPS Curriculum/Education Workshop sometime during the week of April 8-11, 2013 during CPSWeek in Philadelphia. This invitation-only planning meeting was held in Baltimore on Wednesday, October 24, 2012 (just before the…