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
  • 07/22/19 - 07/26/19
    DeepLearn 2019
    3rd International Summer School on Deep Learning (DeepLearn 2019) DeepLearn 2019 will be a... more
more ►

Solicitations

more ►

CPS Research Projects

more ►
ISEF 2019 Trip Reports - NSA Research Directorate Awards
This that time of the year again. No, not Mother's Day. Yes, I have a wonderful mother that every year, I don't visit because I'm traveling for the science fair. So from Phoenix, Happy Mother's Day, Mom. Onto the trip. I'm back in Phoenix Arizona. Yay! We're back! So for the first time readers. This is the fifth (it's...
ISEF 2019 Trip Reports - NSA Research Directorate Awards
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
ICESS 2019 - Call for Participation
Call for Participation The 15th IEEE International Conference on Embedded Software and Systems (ICESS 2019) Co-located with DAC 2019 (attendees can access DAC Keynotes, Exhibits and Receptions) June 2-3, 2019 | Las Vegas Convention Center, Nevada, United States | http://lcs.ios.ac.cn/icess2019/ Overview: The...
ICESS 2019 - Call for Participation
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)
5th IEEE International Conference on Smart Computing (SMARTCOMP 2019)
Call for Papers 5th IEEE International Conference on Smart Computing (SMARTCOMP 2019) 12-14 June 2019 | Residence Inn Arlington Pentagon City, Arlington, VA | http://www.smart-comp.org/ SMARTCOMP is the premier conference on smart computing. Smart computing is based on the synergistic combination of advances in...
5th IEEE International Conference on Smart Computing (SMARTCOMP 2019)
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
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

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 COMPETITIONS & WORKSHOPS  

      ARCH Verification Tool Competition brought together 40 software developers creating verification tools for CPS participated across 8 categories of verification problems.   2019 CPS Challenge 
      "No robot left behind!"       Quadrotor recovery 
      competition held May
      14-16, 2019 at TIMPA Airfield in
      Marana, Arizona.      		 The F1 Tenth Competition involves designing, building, and testing autonomous F1 1/10 size race cars that can reach a top speed
      of 50mph.

      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.      		 The 15th IEEE International Conference on Embedded Software and Systems (ICESS 2019)

      A global forum for researchers and developers from academia, industry, and government to present and discuss emerging ideas and trends in embedded software and systems.

      		 5th IEEE International Conference on Smart Computing (SMARTCOMP 2019)

      The premier conference on smart computing. Smart computing is based on the synergistic  combination of advances in Sensor-based technologies, the Internet of Things (IoT), 

        Recent News

        more ►

        Announcements

        more ►

        Position Announcements

        more ►