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

CPS Week 2019 - April 18

Previous Day (April 17)
8:00 - 9:00 Registration
Mezzanine
9:00 - 10:00 CPS Week Keynote
(Low) Powering Real-Time Intelligence at the Edge
Tulika Mitra, National University of Singapore
Internet of Things (IoT), a network of billion computing devices embedded within physical objects, is revolutionizing our lives. The IoT devices at the edge are primarily responsible only for collecting and communicating the data to the cloud, where the computationally intensive data analytics takes place. However, the data privacy and the connectivity issues - in conjunction with the fast real-time response requirement of certain IoT application - call for smart edge devices that should be able to support privacy-preserving, time-sensitive computation for machine intelligence on-site. But what does it take to bring real-time intelligence to the edge? I will present the computation challenges in edge-centric IoT and introduce hardware-software co-designed approaches to overcome these challenges. We will discuss the design of tiny accelerators that are completely software programmable and can speed up computation to realize the edge intelligence vision at ultra-low power budget. I will also demonstrate the promise of collaborative computation that engages heterogeneous processing elements in a synergistic fashion to achieve low-power, real-time edge computing.

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 7 : Verification
Session Chair : Taylor T Johnson
  • 10:30
    Shromona Ghosh, Somil Bansal, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia and Claire Tomlin
    A New Simulation Metric to Determine Safe Environments and Controllers for Systems with Unknown Dynamics
  • 11:00
    Chao Huang, Wenchao Li and Qi Zhu
    Formal Verification of Weakly-Hard Systems
  • 11:30
    Mohammad Al Khatib and Majid Zamani
    Verification and synthesis of interconnected embedded control systems under timing contracts
  • 12:00
    Tzanis Anevlavis, Daniel Neider, Matthew Phillipe and Paulo Tabuada
    Evrostos: The rLTL Verifier
  • 12:15
    Pierre-Jean Meyer, Alex Devonport and Murat Arcak
    TIRA: Toolbox for Interval Reachability Analysis

Room 215-Av.Duluth (120, 8am-7pm)
10:30 - 12:30 ICCPS Session 7 : CPS Application II (Power Grid & Mobile)
Session Chair : Georgios Fainekos
  • 10:30
    Maxim Buevich and Anthony Rowe
    Localizing Loads in Microgrids Using High-Precision Voltage Phase
  • 11:00
    Xin Lou, Cuong Tran, Rui Tan, David K.Y. Yau and Zbigniew T. Kalbarczyk
    Assessing and Mitigating Impact of Time Delay Attack: A Case Study for Power Grid Frequency Control
  • 11:30
    Claudio Mandrioli, Alberto Leva, Bo Bernhardsson and Martina Maggio
    Cyber-Physical Modeling of GPS Receivers for Power Efficient Localization Systems
  • 12:00
    Liang He, Youngmoon Lee, Eugene Kim and Kang Shin
    Environment-Aware Estimation of Battery State-of-Charge for Mobile Devices

Room 213-Av.Van-Horne 120, 8am-7pm
10:30 - 12:30 IPSN Session 7 : Mobile and sensing systems and applications
Session Chair : Jie Liu
  • Quantle: Fair and Honest Presentation Coach in Your Pocket
  • DeltaVR: Achieving High-Performance Mobile VR Dynamics through Pixel Reuse
  • TennisEye: Tennis Ball Speed Estimation using a Racket-mounted Motion Sensor
  • H2B: Heartbeat-based Secret Key Generation Using Piezo Vibration

Room 217-Av.Viger 120, 8am-7pm
10:30 - 12:30 RTAS Session 7 : Scheduling and Synchronization
Session Chair : Renato Mancuso
  • Leonie Köhler and Rolf Ernst (TU Braunschweig)
    Improving a Compositional Timing Analysis Framework for Weakly-Hard Real-Time Systems
  • Hyunjong Choi and Hyoseung Kim (University of California, Riverside); Qi Zhu (Northwestern University)
    Job-Class-Level Fixed Priority Scheduling of Weakly-Hard Real-Time Systems
  • Thermal-Aware Servers for Real-Time Tasks on Multi-Core GPU-Integrated Embedded Systems
    Job-Class-Level Fixed Priority Scheduling of Weakly-Hard Real-Time Systems
  • Seyemehdi Hosseinimotlagh and Hyoseung Kim (University of California, Riverside)
    Job-Class-Level Fixed Priority Scheduling of Weakly-Hard Real-Time Systems
  • Johannes Schlatow, Mischa Möstl, and Rolf Ernst (TU Braunschweig)
    Self-aware scheduling for mixed-criticality component-based systems
  • Junjie Shi, Niklas Ueter, Georg von der Brueggen, and Jian-Jia Chen (TU Dortmund)
    Multiprocessor Synchronization of Periodic Real-Time Tasks Using Dependency Graphs

Room 206-Rue Sainte-Denis/ Room 204-Rue Notre-Dame 120, 8am-7pm
10:30 - 12:30 IoTDI Session 7 : Systems Issues for IoT
  • 10:30 - 11:00
    Qian Zhou, Fan Ye (Stony Brook University)
    APEX: Automatic Precondition Execution with Isolation and Atomicity in Internet-of-Things
  • 11:00 - 11:30
    Chi Zhang, Sanmukh R. Kuppannagari, Chuanxiu Xiong, Rajgopal Kannan, Viktor K. Prasanna (University of Southern California)
    A Cooperative Multi-Agent Deep Reinforcement Learning Framework for Real-Time Residential Load Scheduling
  • 11:30 - 12:00
    Xin Li, Minmei Wang, Shouqian Shi, Chen Qian (University of California Santa Cruz)
    VERID: Towards Verifiable IoT Data Management
  • 12:00 - 12:30
    Eunsang Cho, Minkyung Park, Hyunwoo Lee, Junhyeok Choi, Ted "Taekyoung" Kwon (Seoul National University)
    D2TLS: Delegation-based DTLS for Cloud-based IoT Services

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 8 : Control synthesis
Session Chair : Raphaël Jungers
  • 14:00
    Tobia Marcucci and Russ Tedrake
    Mixed-Integer Formulations for Optimal Control of Piecewise-Affine Systems
  • 14:30
    Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Marta Kwiatkowska and Luca Cardelli
    Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
  • 15:00
    Mahmoud Khaled and Majid Zamani pFaces: An Acceleration Ecosystem for Symbolic Control
  • 15:15
    Hscc
    Business Meeting

Room 215-Av.Duluth (120, 8am-7pm)
14:00 - 15:30 ICCPS Session 8 : Learning for CPS
Session Chair : Madhur Behl
  • 14:00
    Qitong Gao, Davood Hajinezhad, Yan Zhang, Yiannis Kantaros and Michael Zavlanos
    Reduced Variance Deep Reinforcement Learning with Temporal Logic Specifications
  • 14:30
    Xiaozhe Gu and Arvind Easwaran Towards Safe Machine Learning for CPS : Infer Uncertainty from Training Data
  • 15:00
    Ruochen Yang, Gaurav Gupta and Paul Bogdan
    Data-driven Perception of Neuron Point Process with Unknown Unknowns

Room 213-Av.Van-Horne 120, 8am-7pm
14:00 - 15:30 IPSN Session 8 : Communication theory and signal processing
Session Chair : Marco Zimmerling
  • Automated Estimation of Link Quality for LoRa: A Remote Sensing Approach
  • Cross-Sender Bit-Mixing Coding
  • Recovering Bits from Thin Air: Demodulation of Bandpass Sampled Noisy Signals for Space IoT

Room 217-Av.Viger 120, 8am-7pm
14:00 - 15:30 RTAS Session 8 : Systems and Applications II
Session Chair: Robert Kaiser
  • Sandro Pinto, Hugo Araújo, Daniel Oliveira, José Martins, and Adriano Tavares (Universidade do Minho)
    Virtualization on TrustZone-enabled Microcontrollers? Voilà!
  • Ming Yang, Joshua Bakita, and Thanh Vu (The University of North Carolina at Chapel Hill); Shige Wang (General Motors Research); F. Donelson Smith, James H. Anderson, and Jan-Michael Frahm (The University of North Carolina at Chapel Hill)
    Re-thinking CNN Frameworks for Time-Sensitive Autonomous-Driving Applications: Addressing an Industrial Challenge
  • Simon Schuster, Peter Wägemann, Peter Ulbrich, and Wolfgang Schröder-Preikschat (Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU))
    Re-thinking CNN Frameworks for Time-Sensitive Autonomous-Driving Applications: Addressing an Industrial Challenge
  • Jongouk Choi (Virginia Tech); Hyunwoo Joe and Yongjoo Kim (ETRI); Changhee Jung (Virginia Tech)
    Achieving Stagnation-Free Intermittent Computation with Boundary-Free Adaptive Execution

Room 206-Rue Sainte-Denis/ Room 204-Rue Notre-Dame 120, 8am-7pm
14:00 - 15:30 IoTDI Session 8 : Industrial IoT
  • 14:00 - 14:30
    Xia Cheng, Junyang Shi, Mo Sha (State University of New York at Binghamton)
    Cracking the Channel Hopping Sequences in IEEE 802.15.4e-Based Industrial TSCH Network
  • 14:30 - 15:00
    Vuk Lesi (Duke University); Zivana Jakovljevic (University of Belgrade); Miroslav Pajic (Duke University)
    Reliable Industrial IoT-Based Distributed Automation
  • 15:00 - 15:30
    Sujit Rokka Chhetri, Sina Faezi (University of California, Irvine); Arquimedes Canedo (Siemens Corporate Technology); Mohammad Al Faruque (University of California, Irvine)
    QUILT: Quality Inference from Living Digital Twins in IoT-Enabled Manufacturing Systems

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 9 : Oded Maler - Barbaric Science from a Captive Poet
Session Chair : Dejan Nickovic
  • 16:00
    Manfred Morari
    Our Work with Oded Maler and his Impact
  • 16:30
    Rajeev Alur
    Formal models of hybrid systems: the early years
  • 17:00
    Eugène Asarin
    Reachability in hybrid systems: 25 years of optimism
  • 17:30
    Albert Benveniste
    Why considering nonstandard semantics for hybrid systems and how to reconcile it with superdense time semantics?
  • 18:00
    Jyotirmoy Deshmukh
    Simulation-based and Data-driven Reasoning for Cyber-Physical Systems
  • 18:30
    Bruce Krogh
    Building trusted systems from untrusted components

Room 215-Av.Duluth (120, 8am-7pm)
16:00 - 17:30 ICCPS Session 9 : Smart Transportation
Session Chair : Yasser Shoukry
  • 16:00
    Wei Xiao, Calin Belta and Christos Cassandras
    Decentralized Optimal Merging at an Intersection: a Control Barrier Function Approach
  • 16:30
    Rahul Bhadani, Matt Bunting, Jonathan Sprinkle, Benjamin Seibold, Raphael Stern, Shumo Cui, Benedetto Piccoli and Dan Work
    Real-Time Distance Estimation and Filtering of Vehicle Headways for Smoothing of Traffic Waves
  • 17:00
    Kathy Jang, Eugene Vinitsky, Logan Beaver, Behdad Chalaki, Ben Remer, Andreas Malikopoulos and Alexandre Bayen
    Simulation to scaled city: zero-shot policy transfer for traffic control via autonomous vehicles

Room 217-Av.Viger 120, 8am-7pm
16:00 - 17:30 IPSN Session 9 : Network and system architectures and protocols
Session Chair : Romain Jacob
  • ALICE: Autonomous Link-based Cell Scheduling for TSCH
  • WIDE: Physical-level CTC via Digital Emulation
  • Collaborative Wideband Signal Decoding using Non-coherent Receivers

Room 213-Av.Van-Horne 120, 8am-7pm
16:00 - 17:30 RTAS Session 9 : Outstanding Papers
Session Chair : Björn Brandenburg
  • Meng Xu, Linh Thi Xuan Phan, and Hyon-Young Choi (University of Pennsylvania); Yuhan Lin (Northeastern University); Haoran Li and Chenyang Lu (Washington University in St. Louis); Insup Lee (University of Pennsylvania)
    Holistic Resource Allocation for Multicore Real-Time Systems
  • Michael Bechtel and Heechul Yun (University of Kansas)
    Denial-of-Service Attacks on Shared Cache in Multicore: Analysis and Prevention
  • Saeed Abedi, Neeraj Gandhi, and Henri Maxime Demoulin (University of Pennsylvania); Yang Li and Yang Wu (Facebook); Linh Thi Xuan Phan (University of Pennsylvania)
    RTNF: Predictable Latency for Network Function Virtualization
  • Chair’s closing remarks

Room 206-Rue Sainte-Denis/ Room 204-Rue Notre-Dame 120, 8am-7pm
16:00 - 17:30 IoTDI Session 9 : Short Papers
  • 16:00 - 16:20
    Tam Le, Matt W. Mutka (Michigan State University)
    Access Control with Delegation for Smart Home Applications
  • 16:20 - 16:40
    Joseph Noor, Hsiao-Yun Tseng, Luis Garcia, Mani Srivastava (University of California, Los Angeles)
    DDFlow: Visualized Declarative Programming for Heterogeneous IoT Networks
  • 16:40 - 17:00
    Gang Wang, Zhijie Jerry Shi (University of Connecticut); Mark Nixon (Emerson Automation Solutions); Song Han (University of Connecticut)
    SMChain: A Scalable Blockchain Protocol for Secure Metering Systems in Distributed Industrial Plants
  • 17:00 - 17:20
    Roger Solis, Arash Pakbin, Ali Akbari, Bobak J. Mortazavi, Roozbeh Jafari (Texas A&M University)
    A Human-centered Wearable Sensing Platform with Intelligent Automated Data Annotation Capabilities
  • 17:20 - 17:40
    Yifan Du, Valerie Issarny (Inria Paris); Francoise Sailhan (CNAM Paris)
    User-Centric Context Inference for Mobile Crowdsensing

Room 202-Rue Sainte-Catherine/ Room 200 - Rue Saint-Paul 120, 8am-7pm