CPS-IoT Week 2019

news

Visible to the public Verification Tool Competition

Submitted by Anonymous on Thu, 03/14/2019 - 9:26am

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.

page

Visible to the public Organizers

Submitted by rodrigka on Tue, 04/23/2019 - 2:30pm

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

page

Visible to the public Topics of Interest

Submitted by rodrigka on Tue, 04/23/2019 - 2:22pm

Topics of Interest

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

page

Visible to the public Program Agenda

Submitted by rodrigka on Tue, 04/23/2019 - 1:57pm

page

Visible to the public 2019 SM²N Workshop

Submitted by rodrigka on Tue, 04/23/2019 - 12:27pm

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

event

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

Submitted by Anonymous on Thu, 02/07/2019 - 11:33am

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:

event

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

Submitted by Anonymous on Mon, 01/28/2019 - 12:55pm

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.

event

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

Submitted by Anonymous on Fri, 12/07/2018 - 3:48pm

Design Automation for CPS and IoT (DESTION 2019)

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

event

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

Submitted by akarns on Mon, 10/08/2018 - 8:43am

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

Part of CPS-IoT Week 2019

Scope

event

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

Submitted by Anonymous on Wed, 09/05/2018 - 1:00pm

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.