News Item
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.
Submitted by Anonymous on March 14th, 2019
Event
F1/10
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:
Submitted by Anonymous on February 7th, 2019
Event
SM2N 2019
1st International Workshop on Smart Manufacturing Modeling and Analysis [SM²N]
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.
Submitted by Anonymous on January 28th, 2019
Event
DESTION 2019
Design Automation for CPS and IoT (DESTION 2019)
Colocated with IEEE/ACM CPS-IoT WEEK 2019 | April 15, 2019 in Montreal, Canada
Submitted by Anonymous on December 7th, 2018
Event
ACM HSCC 2019
22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC)
Part of CPS-IoT Week 2019
Scope
Submitted by Amy Karns on October 8th, 2018
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.
Submitted by Anonymous on September 5th, 2018
Event
ICCPS 2019
The 10th ACM/IEEE International Conference on Cyber-Physical Systems (CM/IEEE ICCPS 2019)
Overview: As digital computing and communication become faster, cheaper, and available in packages that are smaller and use less power, these capabilities are increasingly embedded in many objects and structures in the physical environment. Cyber-physical systems (CPS) are physical and engineered systems whose operations are monitored, coordinated, controlled, and integrated by computing and communication.
Submitted by Anonymous on August 17th, 2018