Conformance Testing/Reachability Analysis AD

2016 Microsoft Indoor Localization Competition Co-located with IPSN 2016 Accurate indoor localization has the potential to transform the way people navigate indoors in a similar way that GPS transformed the way people navigate outdoors. Over the last…

2nd International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR 2016) Affiliated with CPSWeek 2016 Scope Hybrid systems are complex dynamical systems that combine discrete and continuous components. Reachability questions,…

22nd IEEE Rea​l-Time and Embedded Technology and Applications Symposium (RTAS 2016) will be held in Vienna, Austria, as part of the Cyber-Physical Systems Week (CPSWeek) in April 2016. The conference includes a Work in Progress (WiP) and Demo session…

3rd International Workshop on Applied Verification for Continuous and Hybrid Systems CPSWeek 2016 The workshop on applied verification for continuous and hybrid systems (ARCH) brings together researchers and practitioners, and establishes a curated set…

The 15th International Conference on Information Processing in Sensor Networks (IPSN '16) The 15th International Conference on Information Processing in Sensor Networks (IPSN '16) is a leading, single-track, annual forum on research in networked sensing…

Self-Awareness in Cyber-Physical Systems A CPS Week Workshop in frame of CPSWeek 2016 DESCRIPTION: Inspired by biological examples, self-awareness has become a hot research topic in a variety of disciplines and its applicability has been explored…

1st Tutorial on Tools for Real-Time Systems (TuToR'16) co-located with CPSWeek 2016  FOCUS TuToR'16 is a one-day tutorial  open to researchers from both industry and academia  who want  to familiarize themselves  with…

CPS Week is the premier event on Cyber-Physical Systems. It brings together four top conferences, HSCC, ICCPS, IPSN, and RTAS, 10-15 workshops, a localization competition, tutorials and various exhibitions from both industry and academia. Altogether…

7th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2016) held as part of CPS Week 2016 to be held in Vienna, Austria, from 11 to 14 April 2016. The CPS foundations (CPSF) area focuses on core science and technology for …

7th Advanced Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS 2016) The 7th Advanced Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS’16) will reflect on the growing interests in research,…

April 13, 2016 Asymmetric Information and Implementation In advance of the talk, please consider the question, "What is information?" Come up with your definition. In this talk, I will cover Hurwicz (1972) theorem, introduce the concepts of Mechanism…

UnCoVerCPS is represented at the ARTEMIS Spring event: https://artemis-ia.eu/springevent2016/spring-event-2016-1.html A detailed description of the abstract can be found here: https://artemis-ia.eu/publication/download/speaker-project-information-v2.pdf

Conformance Testing/Reachability Analysis AD

April 20, 2016 Asymmetric Information and Implementation (Part 2) I will briefly repeat Hurwicz '72 proof [slides 23-26] (With hidden info, truth telling is not achievable, and no efficient, individually rational, and incentive compatible privacy-…