More up-to-date information may be avalialbe at each event's official websites.
CPS Week 2019 Program Overview

CPS Week 2019 - April 17

Previous Day (April 16)
8:00 - 9:00 Registration
Mezzanine
9:00 - 10:00 CPS Week Keynote
The Siren Song of Temporal Synthesis
Moshe Y. Vardi, Rice University
One of the most significant developments in the area of design verification over the last three decade is the development of algorithmic methods for verifying temporal specification of finite-state designs. A frequent criticism against this approach, however, is that verification is done after significant resources have already been invested in the development of the design. Since designs invariably contains errors, verification simply becomes part of the debugging process. The critics argue that the desired goal is to use temporal specification in the design development process in order to guarantee the development of correct designs. This is called temporal synthesis. In this talk I will review 60 years of research on the temporal synthesis problem, describe the automata-theoretic approach developed to solve this problem, and describe both succuesses and failures of this research program.

Room 221-Place du Canada (500)
10:00 - 10:30 Coffee Break
Square Dorchester/ Parc Mont Royal A, B & C (700)
10:30 - 12:30 HSCC Session 4 : Stability and invariance
Session Chair : Majid Zamani
  • 10:30
    Mohamed Maghenem and Ricardo Sanfelice
    Characterizations of Safety in Hybrid Inclusions via Barrier Functions
  • 11:00
    Guosong Yang, Joao Hespanha and Daniel Liberzon
    On topological entropy and stability of switched linear systems
  • 11:30
    Bai Xue, Qiuye Wang, Naijun Zhan and Martin Fraenzle
    Robust Invariant Sets Generation for State-Constrained Perturbed Polynomial Systems
  • 12:00
    Matthew Philippe and Raphaël Jungers
    A complete characterization of the ordering of path-complete methods

Room 215-Av.Duluth (120, 8am-7pm)
10:30 - 12:30 ICCPS Session 4 : Wireless & Control in CPS
Session Chair : Arvind Easwaran
  • 10:30
    Yehan Ma, Jianlin Guo, Yebin Wang, Ankush Chakrabarty, Heejin Ahn, Philip Orlik and Chenyang Lu
    Optimal Dynamic Scheduling of Wireless Networked Control Systems
  • 11:00
    Dohwan Kim, Yuchang Won, Seunghyeon Kim, Yongsoon Eun, Kyung-Joon Park and Karl H. Johansson
    Sampling Rate Optimization for IEEE 802.11 Wireless Control Systems
  • 11:30
    Fabian Mager, Dominik Baumann, Romain Jacob, Lothar Thiele, Sebastian Trimpe and Marco Zimmerling
    Feedback Control Goes Wireless: Guaranteed Stability over Low-power Multi-hop Networks
    ICCPS Best Paper Award Finalist
  • 12:00
    Onur Ayan, Mikhail Vilgelm, Markus Klügel, Sandra Hirche and Wolfgang Kellerer
    Age-of-Information vs. Value-of-Information Scheduling for Cellular Networked Control Systems

Room 213-Av.Van-Horne 120, 8am-7pm
10:30 - 12:30 IPSN Session 4 : AI related
Session Chair : Lu Su
  • Transferring Activity Recognition Models for New Wearable Sensors with Deep Generative Domain Adaptation
  • Mic2Mic: Using Cycle-Consistent Generative Adversarial Networks to Overcome Microphone Variability in Speech Systems
  • SoundSemantics: Exploiting Semantic Knowledge in Text for Embedded Acoustic Event Classification
  • SGSF: A Small Groups Based Serial Fusion Method

Room 217-Av.Viger 120, 8am-7pm
10:30 - 12:30 RTAS Session 4 : Security and Differential Timing Analysis
Session Chair : Bryan Ward
  • Chien-Ying Chen and Sibin Mohan (University of Illinois at Urbana-Champaign); Rodolfo Pellizzoni (University of Waterloo); Rakesh B. Bobba (Oregon State University); Negar Kiyavash (University of Illinois at Urbana-Champaign)
    A Novel Side-Channel in Real-Time Schedulers
  • Mitra Nasri (Delft University of Technology); Thidapat (Tam) Chantem (Virginia Tech); Gedare Bloom (Howard University); Ryan M. Gerdes (Virginia Tech)
    On the Limitations and Vulnerabilities of Schedule Randomization against Schedule-Based Attacks
  • Tushar Kumar (Google, Inc.); Kangqi Ni and Santosh Pande (Georgia Tech)
    Characterizing Dominant Program Behavior Using the Execution-Time Variance of the Call Structure

Room 206-Rue Sainte-Denis/ Room 204-Rue Notre-Dame 120, 8am-7pm
10:30 - 12:30 IoTDI Session 4 : Wireless and Networking for IoT
  • 10:30 - 11:00
    Zhicheng Yang (University of California, Davis); Parth H. Pathak (George Mason University); Mo Sha (State University of New York at Binghamton); Tingting Zhu, Junai Gan, Pengfei Hu, Prasant Mohapatra (University of California, Davis)
    On The Feasibility of Estimating Soluble Sugar Content using Millimeter-wave
  • 11:00 - 11:30
    Charlier Maximilien, Bruno Quoitin, David Hauweele (University of Mons (UMONS))
    Challenges in using Time Slotted Channel Hopping with Ultra Wideband communications
  • 11:30 - 12:00
    Mahbubur Rahman, Dali Ismail, Venkata P. Modekurthy, Abusayeed Saifullah (Wayne State University)
    Implementation of LPWAN over White Spaces for Practical Deployment
  • 12:00 - 12:30
    Poonam Yadav, Qi Li (University of Cambridge); Anthony Brown (University of Nottingham); Richard Mortier (University of Cambridge)
    Network Service Dependencies in Commodity Internet-of-Things Devices

Room 202-Rue Sainte-Catherine/ Room 200 - Rue Saint-Paul 120, 8am-7pm
12:30 - 14:00 Lunch
Room 221-Place du Canada/Room 219-Av.Laurier (700)
14:00 - 15:30 HSCC Session 5 : Special session on Safe autonomy, AI and ML for CPS I
Session Chair : Georgios Fainekos
  • 14:00
    Guy Katz
    Neural Network Verification via SMT Solving
  • 15:00
    Xiaowu Sun, Haitham Khedr and Yasser Shoukry Formal Verification of Neural Network Controlled Autonomous Systems

Room 215-Av.Duluth (120, 8am-7pm)
14:00 - 15:30 ICCPS Session 5 : CPS Security II
Session Chair : Mohammad Al Faruque
  • 14:00
    Anh-Duy Vu, Ramy Medhat and Borzoo Bonakdarpour
    Managing the Security-Energy Tradeoff in Distributed Cyber-physical Systems
  • 14:30
    Andreea Alexandru and George Pappas
    Encrypted LQG using Labeled Homomorphic Encryption
    ICCPS Best Paper Award Finalist
  • 15:00
    Song Fang, Karl Henrik Johansson, Mikael Skoglund, Henrik Sandberg and Hideaki Ishii
    Two-Way Coding in Control Systems Under Injection Attacks: From Attack Detection to Attack Correction

Room 213-Av.Van-Horne 120, 8am-7pm
14:00 - 15:30 IPSN Session 5 : Energy management and low-power systems
Session Chair : Bodhi Priyantha
  • Getting More Out of Energy-harvesting Systems: Energy Management under Time-varying Utility with PREACT
  • Capacity over Capacitance for Reliable Energy Harvesting Sensors
  • BackCam: Wireless Computer Vision Using Commodity Devices

Room 217-Av.Viger 120, 8am-7pm
14:00 - 15:30 RTAS Session 5 : Parallel Tasks
Session Chair : Mohamed Hassan
  • Saud Wasly(King Abdulaziz University); Rodolfo Pellizzoni (University of Waterloo)
    Bundled Scheduling of Parallel Real-time Tasks
  • Waqar Ali and Heechul Yun (The University of Kansas)
    RT-Gang: Real-Time Gang Scheduling Framework for Safety Critical Systems
  • Zhishan Guo and Ashikahmed Bhuiyan (University of Central Florida); Di Liu (Yunnan University); Aamir Khan (BrainCo); Abusayeed Saifullah (Wayne State University); Nan Guan (Hong Kong Polytechnic University)
    Energy-Efficient Real-Time Scheduling of DAGs on Clustered Multi-Core Platforms
  • Jinghao Sun (Northeastern University); Nan Guan (The Hong Kong Polytechnic University); Jingchang Sun (Tsinghua University); Yaoyao Chi (Northeastern University)
    Calculating Response Time Bounds for OpenMP Task Systems with Conditional Branches

Room 206-Rue Sainte-Denis/ Room 204-Rue Notre-Dame 120, 8am-7pm
14:00 - 15:30 IoTDI Session 5 : Privacy for IoT
  • 14:00 - 14:30
    Mohammad Malekzadeh, Richard G. Clegg, Andrea Cavallaro (Queen Mary University of London); Hamed Haddadi (Imperial College London)
    Mobile Sensor Data Anonymization
  • 14:30 - 15:00
    Linshan Jiang, Rui Tan (Nanyang Technological University, Singapore); Xin Lou (Illinois at Singapore Pte Ltd); Guosheng Lin (Nanyang Technological University, Singapore)
    On Lightweight Privacy-Preserving Collaborative Learning for Internet-of-Things Objects
  • 15:00 - 15:30
    Youssef Khazbak (The Pennsylvania State University); Junpeng Qiu (Facebook); Tianxiang Tan, Guohong Cao (The Pennsylvania State University)
    TargetFinder: Privacy Preserving Target Search through IoT Cameras

Room 202-Rue Sainte-Catherine/ Room 200 - Rue Saint-Paul 120, 8am-7pm
15:30 - 16:00 Coffee Break
Square Dorchester/ Parc Mont Royal A, B & C (700)
16:00 - 17:30 HSCC Session 6 : Special session on Safe autonomy, AI and ML for CPS II
Session Chair : Jyotirmoy Deshmukh
  • 16:00
    Souradeep Dutta, Xin Chen and Sriram Sankaranarayanan
    Reachability Analysis for Neural Feedback Systems using Regressive Polynomial Rule Inference
  • 16:30
    Radoslav Ivanov, James Weimer, Rajeev Alur, George Pappas and Insup Lee Verisig: verifying safety properties of hybrid systems with neural network controllers
  • 17:00
    Shakiba Yaghoubi and Georgios Fainekos
    Gray-box Adversarial Testing for Control Systems with Machine Learning Components
  • 17:15
    All Attendees
    Discussion

Room 215-Av.Duluth (120, 8am-7pm)
16:00 - 17:30 ICCPS Session 6 : CPS Applications I
Session Chair : Rahul Mangharam
  • 16:00
    Praveen Venkateswaran, Mahima Agumbe Suresh and Nalini Venkatasubramanian
    Augmenting In-situ with Mobile Sensing for Adaptive Monitoring of Water Distribution Networks
  • 16:30
    Kuk Jin Jang, Yash Vardhan Pant, Bo Zhang, James Weimer and Rahul Mangharam
    Robustness Evaluation of Computer-aided Clinical trials for Medical Devices
  • 17:00
    Ali Akbari, Peiming Liu, Bobak J. Mortazavi and Roozbeh Jafari
    Tagging Wearable Accelerometers in Camera Frames through Information Translation between Vision Sensors and Accelerometers
  • 17:30
    Geoffrey Pettet, Ayan Mukhopadhyay, Chinmaya Samal, Abhishek Dubey and Yevgeniy Vorobeychik Vorobeychik
    An Online Decision-Theoretic Pipeline for Responder Dispatch

Room 213-Av.Van-Horne 120, 8am-7pm
16:00 - 17:30 IPSN
&
IoTDI		 Session 6 : The Good, The Bad and The Ugly of AI for IoT and Sensor Network (co-hosted with IoTDI)
Session Chair : Klara Nahrstedt
  • Lucy Cherkasova (ARM Research)
  • Dirk Elias (Robert Bosch Corporate Research)
  • Tasuku Ishigooka (Hitachi, Ltd)
  • Jie Liu (Harbin Institute of Technology, China)
  • Guoliang Xing (The Chinese University of Hong-Kong)

Room 217-Av.Viger 120, 8am-7pm
16:00 - 17:30 RTAS Session 6 : Networks
Session Chair : Rakesh Bobba
  • Pascal Fradet (Inria Grenoble); Xiaojie Guo (Univ. Grenoble Alpes, Inria); Jean-François Monin (Univ. Grenoble Alpes); Sophie Quinton (Inria Grenoble)
    CertiCAN: A Tool for the Coq Certification of CAN Analysis Results
  • Taeju Park and Kang G. Shin (University of Michigan, Ann Arbor)
    Optimal Priority Assignment for Scheduling Mixed CAN and CAN-FD Frames
  • Kilho Lee, Minsu Kim, and Hayeon Kim (School of Computing, KAIST, Republic of Korea); Jinkyu Lee (Dept. of Computer Science and Engineering, Sungkyunkwan University (SKKU), Republic of Korea); Hoon Sung Chwa (Dept. of Information and Communication Engineering, DGIST, Republic of Korea); Insik Shin (School of Computing, KAIST, Republic of Korea)
    Fault-Resilient Real-Time Communication Using Software-Defined Networking
  • Venkata Prashant Modekurthy and Abusayeed Saifullah (Wayne State University); Sanjay Madria (Missouri University of Science and Technology)
    DistributedHART: A Distributed Real Time Scheduling System for WirelessHART Networks

Room 206-Rue Sainte-Denis/ Room 204-Rue Notre-Dame 120, 8am-7pm
17:30 - 18:00 Business Meeting
Room 206-Rue Sainte-Denis/ Room 204-Rue Notre-Dame (120, 8am-7pm)
19:30 - 22:30 CPS-IoT Week Banquet
Next Day (April 18)