Welcome to the home page of the Cyber-Physical Systems Virtual Organization

Upcoming Events

  • 10/22/19 - 10/25/19
    IoT 2019
    9th International Conference on the Internet of Things (IoT 2019) Building on the success of its... more
  • 11/04/19 - 11/07/19
    Resilience Week 2019
    Resilience Week 2019 Large disasters may ripple across cities, regions or even nationally through... more
  • 09/15/19 - 09/20/19
    MODELS 2019
    IEEE / ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS... more
more ►

Solicitations

more ►

CPS Research Projects

more ►
Upcoming Cognizant Autonomous Systems for Safety Critical Applications (CASSCA) Conference
Cognizant Autonomous Systems for Safety Critical Applications (CASSCA) September 16 & 17, 2019 Hyatt Regency, Miami, Florida The Institute of Navigation (ION) is holding the Cognizant Autonomous Systems for Safety Critical Applications (CASSCA) Conference on Monday, September 16 and Tuesday, September 17, 2019 at...
Upcoming Cognizant Autonomous Systems for Safety Critical Applications (CASSCA) Conference
Smart and Connected Communities (S&CC) Program Solicitation NSF 19-564
Smart and Connected Communities (S&CC) PROGRAM SOLICITATION NSF 19-564 REPLACES DOCUMENT(S): NSF 18-520 National Science Foundation Directorate for Computer & Information Science & Engineering Division of Computer and Network Systems Division of Information & Intelligent Systems...
Smart and Connected Communities (S&CC) Program Solicitation NSF 19-564
2019 SaTC PI Meeting – Save the Dates
The 2019 SATC PI meeting will be held at the Hilton Alexandria Mark Center in Alexandria, VA at 5000 Seminary Rd, Alexandria, VA 22311 from October 27-29, 2019. More details regarding registration will be sent shortly, and will be available through https://cps-vo.org/group/satc-pimtg19.
2019 SaTC PI Meeting – Save the Dates
Resilience Week 2019
Resilience Week 2019 Large disasters may ripple across cities, regions or even nationally through interconnected critical infrastructure systems. Right now, many of those connections are invisible, making it very difficult to put effective mitigation strategies in place. Critical links are often uncovered too late,...
Resilience Week 2019
Logical Foundations of Cyber-Physical Systems (15-424)
This video sequence accompanies the textbook on Logical Foundations of Cyber-Physical Systems, which teaches undergraduate students the core principles behind CPSs. Designing algorithms for CPSs is challenging due to their tight coupling with physical behavior, while it is vital that these algorithms be correct because we...
Logical Foundations of Cyber-Physical Systems (15-424)
Verification Tool Competition
ARCH brings together researchers and practitioners to establish a curated set of benchmarks for verification, testing and reachability, and evaluate them in a friendly competition. ARCH started in 2014 and has sustained a vibrant community since. Since 2017, ARCH has organized as a part of the workshop the International...
Verification Tool Competition
IoT 2019
9th International Conference on the Internet of Things (IoT 2019) Building on the success of its predecessors since 2008, IoT 2019 is the premier forum to share, discuss and witness cutting edge research in all areas of development for the Internet of Things. Pervasive connectivity, smart devices and demand for data...
IoT 2019
Cyber-Physical Systems (CPS) Program Solicitation 19-553
Cyber-Physical Systems (CPS) PROGRAM SOLICITATION NSF 19-553 REPLACES DOCUMENT(S): NSF 18-538 National Science Foundation Directorate for Computer & Information Science & Engineering Division of Computer and Network Systems Division of Computing and Communication Foundations Division of...
Cyber-Physical Systems (CPS) Program Solicitation 19-553

Visible to the public 

Submitted by akarns on Tue, 07/25/2017 - 3:16pm

Active Resources





    Visible to the public 

    Submitted by akarns on Tue, 07/25/2017 - 3:19pm

    Energy Domain Medical CPS Domain Smart Communities Domain Transportation Domain

      Visible to the public 

      Submitted by akarns on Thu, 02/28/2019 - 3:33pm

        FEATURED COMMUNITIES  

      Secure and Trustworthy Cyberspace (SaTC)
      Community Forum

      The Secure and Trustworthy Cyberspace (SaTC) Community Forum (or "SaTC Forum") is designed for users to have information about the research supported by the SaTC program at their fingertips for quickly accessing current and historical information about SaTC activities, research, reports, data, solicitations, and other information. 

      		  

      Science of Security and Privacy Virtual Organization (SOS-VO)

      The Science of Security Virtual Organization (SoS-VO) was established to provide a focal point for information about ongoing activities related to cybersecurity science and as a repository for significant research results. It emphasizes community development, information sharing, and interaction among researchers in the field.

        FEATURED EVENTS  

      Embedded Systems Week (ESWEEK) allows attendees to benefit from a wide range of topics covering the state of the art in embedded systems research and development.   SaTC PI Meeting '19 is a biennial forum of the SaTC research community with leading experts from academia, industry, and Federal agencies. The 2019 CPS PI Meeting provides a forum for a wide range of stakeholders in academia, industry, and federal agencies to review new developments in CPS foundations

      9th International Conference on the Internet of Things (IoT 2019)

      Building on the success of its predecessors since 2008, IoT 2019 is the premier forum to share, discuss and witness cutting edge research in all areas of development for the Internet of Things.      		 15th Symposium on Usable Privacy and Security

      SOUPS brings together an interdisciplinary group of researchers and practitioners in human computer interaction, security, and privacy to support exploration and networking.

      		 Symposium on Applications of Contextual Integrity

      Fosters communication among diverse communities of research and practice that have used the theory of contextual integrity as a framework to reason about, design and evaluate, craft regulation for, and generate formal logics for privacy. 

        Recent News

        more ►

        Announcements

        more ►

        Position Announcements

        more ►