Design, analysis and verification of complex cyber-physical systems using heterogeneous modeling formalisms.
The mission of this online community of CPS architectures is to share research results on using cyber-physical system architectures to support design, analysis and verification of complex cyber-physical systems using heterogeneous modeling formalisms.
This site is used for organizing and publicizing the 3rd National CPS PI Meeting
The CPS Principal Investigators' Meeting provides a forum for a wide range of stakeholders in academia, industry and federal agencies to review new developments in CPS foundations, to identify new, emerging applications, and to discuss technology gaps and barriers. The program of the meeting includes presentations about projects funded by NSF and other agencies, panels and discussion groups.