| 8:00 - 9:00 |
|
Registration
Mezzanine |
| 8:30 - 9:30 |
F1/10 |
Track setup
Room 220-Square Dorchester
|
| 9:00 - 10:00 |
|
CPS Week Keynote
The Brain fueling the Fourth Industrial Revolution
Victor Bahl, Microsoft
There’s a shift in the technology and business landscape that is gaining momentum. It is dramatically altering how data is created, ingested, processed and acted upon. Industries, ranging from manufacturing to space-exploration, healthcare to transportation, retail to telecommunications are infusing information technologies into their day-to-day processes and tasks. They are developing real-time control systems that use sensors and actuators along with machine learning and artificial intelligence to create new functions, improve efficiency and reduce cost. At the center of this new world is edge computing.
I will explore this exciting new computing paradigm from the perceptive of a researcher who has been working on this for over ten years. I will discuss the evolution of the intelligent edge, describe a few real-world applications, technologies and products that customers are willing to pay for. I will share with you the progress we have made and more importantly the lessons we have learned as we developed an edge-based, (hybrid-cloud) live video analytics system called Rocket. Rocket is deployed in a US city and it is used to reduce traffic-related fatalities and improve urban mobility. Video analytics will change lives and we are moving forward aggressively towards the democratization of this technology. Time permitting, I will peek into the future, who will be impacted and why. I will lay out some of technical and business challenges facing the large-scale adoption of edge-computing and the opportunities these challenges are creating.
Room 221-Place du Canada (500) |
| 10:00 - 10:30 |
F1/10 |
Autonomous Drivers Briefing
Room 220-Square Dorchester
|
| 10:00 - 10:30 |
|
Coffee Break
Square Dorchester/ Parc Mont Royal A, B & C (700) |
| 10:30 - 12:30 |
HSCC |
Session 1 : Reachability
Session Chair : Ian Mitchell
-
10:30
Sergiy Bogomolov, Goran Frehse, Amit Gurung, Dongxu Li, Georg Martius and Rajarshi Ray
Falsification of Hybrid Systems using Symbolic Reachability and Trajectory Splicing
-
11:00
Eric Goubault and Sylvie Putot
Inner and Outer Reachability for the Verification of Control Systems
-
11:30
Stanley Bak, Hoang Dung Tran and Taylor T Johnson
Numerical Verification of Affine Systems with up to a Billion Dimensions
-
12:00
Abraham P. Vinod, Joseph D. Gleason and Meeko M. K. Oishi
SReachTools: A MATLAB Stochastic Reachability Toolbox
-
12:15
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin and Christian Schilling
JuliaReach: a Toolbox for Set-Based Reachability
Room 215-Av.Duluth (120, 8am-7pm) |
| 10:30 - 12:30 |
ICCPS |
Session 1 : CPS Security I
Session Chair : Oleg Sokolsky
-
10:40
Keywhan Chung, Zbigniew Kalbarczyk and Ravishankar Iyer
Availability Attacks on Computing Systems through Alteration of Environmental Control: Smart Malware Approach
-
11:10
Nicola Paoletti, Zhihao Jiang, Md Ariful Islam, Houssam Abbas, Rahul Mangharam, Shan Lin, Zachary Gruber and Scott Smolka
Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices
-
11:40
Xuhang Ying, Giuseppe Bernieri, Mauro Conti and Radha Poovendran
TACAN: Transmitter Authentication through Covert Channels in Controller Area Networks
-
12:10
Liuwang Kang and Haiying Shen
Preventing Battery Attacks on Electrical Vehicles based on Data-Driven Behavior Modeling
Room 213-Av.Van-Horne 120, 8am-7pm
|
| 10:30 - 12:30 |
IPSN |
Session 1 : Location tracking
Session Chair : Olga Saukh
- 3D-OmniTrack: 3D Tracking with COTS RFID Systems
- Chorus: UWB Concurrent Transmissions for GPS-like Passive Localization of Countless Targets
- SnapLoc: An Ultra-Fast UWB-Based Indoor Localization System for an Unlimited Number of Tags
- Tracking from One Side -- Multi-Person Passive Tracking with WiFi Magnitude Measurements
Room 217-Av.Viger 120, 8am-7pm
|
| 10:30 - 11:20 |
RTAS |
TCRTS Award Ceremony
Session Chair : Chenyang Lu
-
James H. Anderson (University of North Carolina at Chapel Hill)
2018 TCRTS Outstanding Technical Achievement and Leadership Award Acceptance Speech
Room 206-Rue Sainte-Denis/ Room 204-Rue Notre-Dame 120, 8am-7pm
|
| 11:20 - 12:30 |
RTAS |
Session 1 : Multicore and GPUs
Session Chair : Hyoseung Kim
-
Tomasz Kloda and Marco Solieri (Università di Modena e Reggio Emilia); Renato Mancuso (Boston University); Nicola Capodieci, Paolo Valente, and Marko Bertogna (Università di Modena e Reggio Emilia)
Deterministic Memory Hierarchy and Virtualization for Modern Multi-Core Embedded Systems
- Xavier Palomo, Enrico Mezzetti, and Jaume Abella (Barcelona Supercomputing Center); Reinder J. Bril (Technische Universiteit Eindhoven); Francisco J. Cazorla (Barcelona Supercomputing Center)
Accurate ILP-based contention modeling on statically scheduled multicore systems
- Saksham Jain and Iljoo Baek (Carnegie Mellon University); Shige Wang (GM Motors R&D); Ragunathan (Raj) Rajkumar (Carnegie Mellon University)
Fractional GPUs: Software-based Compute and Memory Bandwidth Reservation for GPUs
|
| 10:30 - 12:30 |
IoTDI |
Session 1 : IoT For Buildings
- 10:30 - 11:00
Introductory Remarks
-
11:00 - 11:30
Jens Hjort Schwee, Fisayo Caleb Sangogboye, Mikkel Baun Kjærgaard (University of Southern Denmark)
Anonymizing Building Data for Data Analytics in Cross-Organizational Settings
- 11:30 - 12:00
Jorge Ortiz (Rutgers University); Catherine H Crawford, Franck Le (IBM Research)
DeviceMien: Network Device Behavior Modeling for Identifying Unknown IoT Devices
- 12:00 - 12:30
Tianyu Zhang, Omid Ardakanian (University of Alberta)
A Domain Adaptation Technique for Fine-Grained Occupancy Estimation in Commercial Buildings
Room 202-Rue Sainte-Catherine/ Room 200 - Rue Saint-Paul 120, 8am-7pm
|
| 10:30 - 12:30 |
F1/10 |
Warm up session
Car inspection, timing system recheck etc
|
| 12:30 - 14:00 |
|
Lunch
Room 221-Place du Canada/Room 219-Av.Laurier (700) |
| 14:00 - 15:30 |
HSCC |
Session 2 : Temporal logics
Session Chair : Lu Feng
-
14:00
Hsi-Ming Ho
Revisiting Timed Logics with Automata Modalities
-
14:30
Thomas Ferrere, Dejan Nickovic, Alexandre Donze, Hisahiro Ito and James Kapinski
Interface-Aware Signal Temporal Logic
-
15:00
Houssam Abbas, Yash Vardhan Pant and Rahul Mangharam
Temporal Logic Robustness for General Signal Classes
Room 215-Av.Duluth (120, 8am-7pm) |
| 14:00 - 15:30 |
ICCPS |
Session 2 : Control Design, Analysis, and Implementation
Session Chair : Radu Grosu
-
14:00
Luis Garcia, Stefan Mitsch and Andre Platzer
HyPLC: Hybrid Programmable Logic Controller Program Translation for Verification
ICCPS Best Paper Award Finalist
-
14:30
Gregor Banus̆ić, Rupak Majumdar, Marcus Pirron, Anne-Kathrin Schmuck and Damien Zufferey
PGCD: Robot Programming and Verification with Geometry, Concurrency, and Dynamics
-
15:00
Jeffrey Fischer and Rupak Majumdar
Programming Event Processors with ThingFlow
Room 213-Av.Van-Horne 120, 8am-7pm
|
| 14:00 - 15:30 |
IPSN |
Session 2 : Configuration and calibration
Session Chair : Brano Kusy
- Can a Phone Hear the Shape of a Room?
- LongShoT: Long-Range Synchronization of Time
- SmartDashCam: Automatic Live Calibration for DashCams
Room 217-Av.Viger 120, 8am-7pm
|
| 14:00 - 15:30 |
RTAS |
Session 2 : Systems and Applications I
Session Chair : Shahriar Nirjon
- Avinash Kalyanaraman, Elahe Soltanaghaei, and Kamin Whitehouse (University of Virginia)
Doorpler : A Radar-based System for Low Power, Real-time Zone Occupancy Sensing
- Xia Zhang (University of Texas at Dallas); Xusheng Xiao (Case Western Reserve University); Liang He (University of Colorado at Denver); Yun Ma, Yangyang Huang, and Xuanzhe Liu (Peking University); Wenyao Xu (University at Buffalo); Cong Liu (University of Texas at Dallas)
PIFA: An Intelligent Phase Identification and Frequency Adjustment Framework for Time-Sensitive Mobile Computing
- Alexander Zuepke and Robert Kaiser (RheinMain University of Applied Sciences)
Deterministic Futexes: Addressing WCET and Bounded Interference Concerns
- Phani Kishore Gadepalli, Gregor Peach, Gabriel Parmer, Joseph Espy, and Zach Day (The George Washington University)
Chaos: a System for Criticality-Aware, Multi-core Coordination
Room 206-Rue Sainte-Denis/ Room 204-Rue Notre-Dame 120, 8am-7pm
|
| 14:00 - 15:30 |
IoTDI |
Session 2 : Edge computing and Resource Management
- 14:00 - 14:30
Daniel Zhang, Md Tahmid Rashid (University of Notre Dame); Xukun Li (Kansas State University); Nathan Vance, Dong Wang (University of Notre Dame)
HeteroEdge: Taming The Heterogeneity of Edge Computing System in Social Sensing
- 14:30 - 15:00
Neil Klingensmith, Suman Banerjee (University of Wisconsin)
Using Virtualized Task Isolation to Improve Responsiveness in Mobile and IoT Software
- 15:00 - 15:30
Adam Hall, Umakishore Ramachandran (Georgia Institute of Technology)
An Execution Model for Serverless Functions at the Edge
Room 202-Rue Sainte-Catherine/ Room 200 - Rue Saint-Paul 120, 8am-7pm
|
| 14:00 - 17:00 |
F1/10 |
Track available for brief warm up / mapping etc
- Time trials begin - Heat 1
- Head to head practice
|
| 15:30 - 16:00 |
|
Coffee Break
Square Dorchester/ Parc Mont Royal A, B & C (700) |
| 16:00 - 17:30 |
HSCC |
Session 3 : Decidability and complexity
Session Chair : Jana Tumova
-
16:00
Nathanaël Fijalkow, Joel Ouaknine, Amaury Pouly, Joao Sousa Pinto and James Worrell
On the Decidability of Reachability in Linear Time-Invariant Systems
-
16:30
Ruggero Lanotte, Massimo Merro and Fabio Mogavero
On the Decidability of Linear Bounded Periodic Cyber-Physical Systems
-
17:00
Nikola Benes, Lubos Brim, Jana Dražanová, Samuel Pastva and David Šafránek
Facetal Abstraction for Non-Linear Dynamical Systems Based on delta-Decidable SMT
Room 215-Av.Duluth (120, 8am-7pm) |
| 16:00 - 17:30 |
ICCPS |
Session 3 : WiP, Demo and Poster Presentations
Session Chair : Jana Tumova
- Shen Wang, Ahmad F. Taha, Nikolaos Gatsis and Marcio H. Giacomoni. WiP:
Control of Water Distribution Networks using Convex Approximations,
- Yang Zhao, Ming-Ching Chang and Peter Tu. WiP:
Deep Intelligent Network for Device-free People Tracking,
- Sebastian Nugroho and Ahmad F. Taha. WiP:
On the Need for Sensor and Actuator Placement Algorithms in Nonlinear Systems,
- Sota Takashima, Naomi Kuze and Toshimitsu Ushio. WiP:
Hierarchical Taxi Dispatch System with Local Coordination among Micro-level Components,
- Xiang Yin and Majid Zamani. WiP:
Towards Approximate Opacity of Cyber-Physical Systems,
- Nayreet Islam and Akramul Azim. WiP:
Feature characterization for CPS software reuse,
- Anh Hoang Ngoc Nguyen, Masashi Aono and Yuko Hara-Azumi. WiP:
FPGA-Based Amoeba-Inspired SAT Solver for Cyber-Physical Systems,
- Smitha Gautham, Georgios Bakirtzis, Matthew T. Leccadito, Robert H. Klenke and Carl R. Elks. WiP:
A Multilevel Cybersecurity and Safety Monitor for Embedded Cyber-Physical Systems,
- Ellin Zhao and Roykrong Sukkerd. WiP:
Interactive Explanation for Planning-Based Systems,
- Minji Kim, Hee Jung Yoon, Sang Hyuk Son and Yongsoon Eun. WiP:
Data-based Model of Metro Scheduling for Passenger Wait-time Optimization with Constraints,
- George Gunter, Yanbing Wang, Derek Gloudemans, Raphael Stern, Daniel Work, Maria Laura Delle Monache, Rahul Bhadani, Matt Bunting, Roman Lysecky, Jonathan Sprinkle, Benjamin Seibold and Benedetto Piccoli. WiP:
String stability of commercial adaptive cruise control vehicles,
- Ramanunni Parakkal Menon, Jessen Page and Frederic Amblard. WiP:
Implementation of Demand Response for a Block of Buildings for active participation in the Electricity Market,
- Huan Yang, Liang Cheng and Xiaoguang Ma. WiP:
Bounding Network-Induced Delays for Time-Critical Services in Avionic Systems Using Measurements and Network Calculus,
- Ronny Seiger and Uwe Assmann. Poster:
Consistency and Synchronization for Workflows in Cyber-physical Systems,
- Ariadna Estrada and Ian M. Mitchell. Poster:
Towards an emotionally-aware smart wheelchair,
- Luis Garcia, Stefan Mitsch and Andre Platzer. Poster:
Toward Multi-Task Support and Security Analyses in PLC Program Translation for Verification,
- Shota Tokunaga, Noriyuki Ota, Yoshiharu Tange, Keita Miura, and Takuya Azumi. Demo:
MATLAB/Simulink Benchmark Suite for ROS-based Self-driving System,
- Daniel Jun Xian Ng, Arvind Easwaran and Sidharta Andalam. Demo:
Contract-based Hierarchical Resilience Framework for Cyber-Physical Systems,
- Sean Kauffman and Sebastian Fischmeister. Demo:
Event Stream Abstraction Using nfer,
- Sirat Samyoun, Md Abu Sayeed Mondol, Ifat A. Emi and John A. Stankovic. Demo:
iAdhere:
A Voice Interactive Assistant to Improve Adherence to Medical Treatments,
- Geoffrey Pettet, Ayan Mukhopadhyay, Chinmaya Samal, Abhishek Dubey and Yevgeniy Vorobeychik. Demo:
Incident Management and Analysis Dashboard for Fire Departments,
- Stephen A. Rees, Tamas Kecskes, Patrik Meijer, Taylor T. Johnson, Katie, Paulo Tabuada and Marcus Lucas. Demo:
Cyber-Physical Systems Virtual Organization:
Active Resources,
- Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty and Gabor Karsai. Demo:
A CPS Toolchain for Learning-based Systems,
- Takafumi Harada, Keita Hasegawa, Yuichiro Dan, Tomoaki Washio and Yoshihito Oshima. Demo:
Security Analysis for CITS-SOC using Sensor Data from Connected Vehicles,
- Zaher Kassas, Mahdi Maaref and Joe Khalife. Demo:
Pseudorange Measurement Outlier Detection for Navigation with Cellular Signals,
- Sara P. Rimer, Abhiram Mullapudi, Sara C. Troutman and Branko Kerkez. Demo:
A Benchmarking Framework for Control and Optimization of Smart Stormwater Networks,
Room 213-Av.Van-Horne 120, 8am-7pm
|
| 16:00 - 17:30 |
IPSN |
Session 3 : Deployments
Session Chair : Shijia Pan
- Event-triggered Natural Hazard Monitoring with Convolutional Neural Networks on the Edge
Room 217-Av.Viger 120, 8am-7pm
|
| 16:00 - 17:30 |
RTAS |
Session 3 : Brief Presentations
Session Chair : Mitra Nasri
- Work-in-progress and demo presentations
Room 206-Rue Sainte-Denis/ Room 204-Rue Notre-Dame 120, 8am-7pm
|
| 16:00 - 17:30 |
IoTDI
&
IPSN |
Session 3 : 1 Minute Madness & Poster/Demo Session
-
1 Minute Madness (co-hosted with IPSN)
Room 202-Rue Sainte-Catherine/ Room 200 - Rue Saint-Paul 120, 8am-7pm
|
| 17:30 - 19:00 |
F1/10 |
F1/10 Final Race
- Time trial final heat (30-40 mins)
- Head to head racing (30-40 mins)
Room 220-Square Dorchester/ Room 218-Parc Mont Royal A (700)
|
| 17:30 - 20:00 |
|
Cocktail with CPS-IoT Week Joint Poster Demo Session
Agora/Centre-Ville (700, 6pm-8pm) |