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 2020 NSF NRI PI Meeting was held Thursday, February 27 starting at 8:30 a.m. through 5:00 p.m. Friday, February 28, 2020 at the Renaissance Arlington Capital View, located at 2800 South Potomac Ave., Arlington, Virginia 22202. There was a…

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…

 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…

Enhancing CPS Data ReproducibilityBrief descriptionThrough this interactive tutorial, participants will be taken through the process of taking their existing validation set, and producing both static and active ways for individuals to explore it onto the…

This summer camp took place at Vanderbilt University July 31st - August 4th.  Invited participants were 15 MLK Jr Magnet School rising HS Seniors and Juniors.  The program will provides summer camp experience in Cyber-Physical Systems (CPS…

 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…

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

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…

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…

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

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…

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

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…

In today's climate, hyperscalers are reporting frequent silent data corruptions (SDCs)—i.e, silent errors or corrupt execution errors (CEEs)—in their cloud fleets caused by silicon manufacturing defects. Remarkably, SDCs at-scale are exhibiting error…

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…

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…

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

To  discuss and identify research needs in the certifiable assurance of cyber-physical systems (CPSs), focusing on uncertainties associated with the verification and validation of the complex logic on which these CPSs rely, whether…

Two 2019 summer camps were held </span>at the Vanderbilt University Institute for Software Integrated Systems in Nashvillle, Tennessee. The camps offered a hands-on curriculum that teaches cybersecurity, programming, and robotics. Students worked…

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…