Advance Program for ICCPS 2017

Time Tuesday
(April 18, 2017)
(April 19, 2017)
(April 20, 2017)
8am-9am Breakfast and Registration Breakfast and Registration Breakfast and Registration
9am-10am Keynote Keynote Keynote
10am-10:30am Coffee Break
10:30am-12:10pm Session 1: Control Synthesis

Session 3: Modeling and Analysis

Session 6: Coordination
12:10pm-1:30pm Lunch Break
1:30pm-3:20pm Session 2: Energy and Power Session 4: Resilience

Session 7: Vehicle Routing and Activity Monitoring

3:20pm-3:50pm Coffee Break
3:50pm-5:30pm Work-in-Progress (WiP) Session

Session 5: Privacy, Fault Tolerance, and Security

5:30pm-22:30pm WiP Posters and Demos

TPC Dinners
Business Meeting


Session 1: Control Synthesis

Chair: Mohammad Al Faruque, University of California Irvine

Sampling-based Control Synthesis for Multi-Robot Systems under Global Temporal Specifications
Yiannis Kantaros and Michael M. Zavlanos

Formal Synthesis of Distributed Optimal Traffic Control Policies
Sadra Sadraddini, Janos Rudan and Calin Belta

Multi-Objective Optimal Control with Safety as a Priority
Kendra Lesser and Alessandro Abate

Enhancing Tolerance to Unexpected Jumps in GR(1) Games
Sumanth Dathathri, Scott C. Livingston and Richard M. Murray

Session 2: Energy and Power

Chair: Paul Bogdan, University of Southern California

Battery State-of-Health Estimation for Mobile Devices
Liang He, Eugene Kim, Kang Shin, Guozhu Meng and Tian He

SunShade: Enabling Software-defined Solar-Powered Systems
Akansha Singh, Stephen Lee, David Irwin and Prashant Shenoy

Distributed Placement of Power Generation Resources in Uncertain Environments
Gaurav Gupta and Paul Bogdan

Session 3: Modeling and Analysis

Chair: Miroslav Pajic, Duke University

Constructing Compact Causal Mathematical Models for Complex Dynamics
Yuankun Xue and Paul Bogdan

Analyzing Neighborhoods of Falsifying Traces in Cyber-Physical Systems
Ram Das Diwakaran, Sriram Sankaranarayanan and Ashutosh Trivedi

Abstraction Based Reachability Analysis for Finite Branching Stochastic Hybrid Systems
Wenji Zhang, Pavithra Prabhakar and Balasubramaniam Natarajan

A Gaussian Process Regression Approach to Model Aircraft Engine Fuel Flow Rate
Yashovardhan Sushil Chati and Hamsa Balakrishnan

Session 4: Resilience

Chair: Bruno Sinopoli, Carnegie Mellon University

VirtualDrone: Virtual Sensing, Actuation, and Communication for Attack-Resilient Unmanned Aerial Systems
Man-Ki Yoon, Bo Liu, Naira Hovakimyan and Lui Sha

Resilient Linear Classification: An Approach to Deal with Attacks on Training Data
Sangdon Park, James Weimer and Insup Lee

Resilient Sensor Placement for Fault Localization in Water Distribution Networks
Waseem Abbas, Lina Sela Perelman, Saurabh Amin and Xenofon Koutsoukos

Session 5: Privacy, Fault Tolerance, and Security

Chair: Xenofon Koutsoukos, Vanderbilt University

Privacy-Enhanced Architecture for Occupancy-based HVAC Control
Ruoxi Jia, Roy Dong, Shankar Sastry and Costas Spanos

A Submodular Optimization Approach to Controlled Islanding under Cascading Failure
Zhipeng Liu, Andrew Clark, Phillip Lee, Linda Bushnell, Daniel Kirschen and Radha Poovendran

Application and System-Level Software Fault Tolerance Through Full System Restarts
Fardin Abdi Taghi Abad, Rohan Tabish, Matthias Rungger, Majid Zamani and Marco Caccamo

Hardware Module-based Message Authentication in Intra-Vehicle Networks
Eric Wang, William Xu, Suhas Sastry, Songsong Liu and Kai Zeng

Session 6: Coordination

Chair: George Pappas, University of Pennsylvania

A Merging Protocol for Self-Driving Vehicles
Shunsuke Aoki and Ragunathan Rajkumar

GreenDrive: A Smartphone-based Intelligent Speed Adaptation System With Real-time Traffic Signal Prediction
Yiran Zhao, Shen Li, Shaohan Hu, Lu Su, Shuochao Yao, Huajie Shao and Tarek Abdelzaher

Drona: A Framework for Safe Distributed Mobile Robotics
Ankush Desai, Indranil Saha, Jianqiao Yang, Shaz Qadeer and Sanjit A. Seshia

Provably-correct coordination of large collections of agents with counting temporal logic constraints
Yunus Emre Sahin, Petter Nilsson and Necmiye Ozay

Session 7: Vehicle Routing & Activity Monitoring

Chair: James Weimer, University of Pennsylvania

Data-Driven Distributionally Robust Vehicle Balancing Using Dynamic Region Partitions
Fei Miao, Shuo Han, Abdeltawab M. Hendawi, Mohamed E. Khalefa, John Stankovic and George Pappas

Markov Decision Process Routing Games
Daniel Calderone and Shankar Sastry

QuActive: A Quality of Activities Monitoring and Notification System
Ifat A Emi, Md. Abu Sayeed Mondol and John A. Stankovic

Personalization without User Interruption: Boosting Activity Recognition in New Subjects Using Unlabeled Data
Ramin Fallahzadeh and Hassan Ghasemzadeh

Work-in-Progress Session

Chair: Aniruddha Gokhale, Vanderbilt University

WiP Abstract: A Physiological Communication Architecture for Distributed Emergency Medical CPS
Mohammad Hosseini, Richard R. Berlin, Yu Jiang, and Lui Sha

WiP Abstract: Cybermanufacturing in the Shared Economy
Shivakumar Sastry and Aniruddha Gokhale

WiP Abstract: Diagnostics and Prognostics using Temporal Causal Models for Cyber-Physical Energy Systems
Ajay Chhokra, Saqib Hasan, Abhishek Dubey, Nagbhushan Mahadevan, and Gabor Karsai

WiP Abstract: Towards a Framework for Comprehensive and Systematic Reliability Evaluation for Building Management Systems
Sanja Lazarove-Molnar

WiP Abstract: Transactive Energy Demo with RIAPS Platform
Scott Eisele, Abhishek Dubey, Gabor Karsai, and Srdjan Lukic

WiP Abstract: Platform for Security-Aware Design of Human-on-the-Loop Cyber-Physical Systems
Mahmoud Elfar, Haibei Zhu, Adithya Raghunathan, Yi Y. Tay, Jeffrey Wubbenhorst, Missy L. Cummings, and Miroslav Pajic