CPS-IoT Week 2019


Visible to the public 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 Competition on Verifying Continuous and Hybrid Systems (ARCH-COMP, https://cps-vo.org/group/ARCH/), now in its 3rd iteration.


Visible to the public Organizers


  • Kira Barton, University of Michigan Ann Arbor
  • Sibin Mohan, University of Illinois at Urbana- Champaign
  • Seta Bogosyan, Virginia Tech/Istanbul Technical University

Technical Program Committee


Visible to the public Topics of Interest

Topics of Interest

The areas of focus for the workshop are (broadly defined but not limited to these):


Visible to the public Program Agenda


Visible to the public 2019 SM²N Workshop

Welcome to the 2019 SM²N Workshop!

The 1st International Workshop on Smart Manufacturing Modeling and Analysis (SM²N) was held on Monday, April 15 and was collocated with CPS-IoT Week 2019 in Montreal, Quebec, Canada.

Workshop Overview


Visible to the public  F1/10
Apr 15, 2019 7:00 am - Apr 18, 2019 6:00 pm EDT

Pre-registration is now open!

4th F1/10 International Autonomous Racing Competition

@ CPS-IoT Week 2019

F1/10 is an international competition which exposes you to the foundations of perception, planning and control in a fun, and challenging environment. Participating teams race vehicles with similar hardware specification and try to outsmart, and outpace each other in a battle of algorithms.

This year, we will have two different racing classifications:


Visible to the public  SM2N 2019
Apr 15, 2019 7:00 am - 6:00 pm EDT

1st International Workshop on Smart Manufacturing Modeling and Analysis [SM2N]

Today's manufacturing paradigm is in the midst of a transformation towards smart manufacturing, driven by the generation and analysis of high-volume data coming from interconnected cyber-physical components. This has necessitated an advancement in a number of the tenets of smart manufacturing such as Industrial Internet of Things (IIoT), Artificial Intelligence (AI), anomaly detection, security of industrial plants, novel communication infrastructures, etc.


Visible to the public  DESTION 2019
Apr 15, 2019 7:00 am - 6:00 pm EDT

Design Automation for CPS and IoT (DESTION 2019)

Colocated with IEEE/ACM CPS-IoT WEEK 2019 | April 15, 2019 in Montreal, Canada


Visible to the public  ACM HSCC 2019
Apr 16, 2019 7:00 am - Apr 18, 2019 6:00 pm EDT

22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC)

Part of CPS-IoT Week 2019



Visible to the public  Cyber-Physical Systems and Internet-of-Things Week
Apr 15, 2019 7:00 am - Apr 18, 2019 6:00 pm EDT

CPS Week is the premier event on Cyber-Physical Systems. It brings together four top conferences, HSCC, ICCPS, IPSN, and RTAS, multiple workshops, tutorials, summits, and various exhibitions from both industry and academia. Altogether the CPS Week program covers a multitude of complementary aspects of CPS.