Advance Program for ICCPS 2017
| Time | Tuesday (April 18, 2017) |
Wednesday (April 19, 2017) |
Thursday (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 | |
| 3:20pm-3:50pm | Coffee Break | ||
| 3:50pm-5:30pm | Work-in-Progress (WiP) Session | ||
| 5:30pm-22:30pm |
WiP Posters and Demos TPC Dinners |
Business Meeting Banquet |
|
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
Chair: Paul Bogdan, University of Southern California
Battery State-of-Health Estimation for Mobile Devices
SunShade: Enabling Software-defined Solar-Powered Systems
Distributed Placement of Power Generation Resources in Uncertain Environments
Session 3: Modeling and Analysis Chair: Miroslav Pajic, Duke University
Constructing Compact Causal Mathematical Models for Complex Dynamics
Analyzing Neighborhoods of Falsifying Traces in Cyber-Physical Systems
Abstraction Based Reachability Analysis for Finite Branching Stochastic Hybrid Systems
A Gaussian Process Regression Approach to Model Aircraft Engine Fuel Flow Rate
Chair: Bruno Sinopoli, Carnegie Mellon University
VirtualDrone: Virtual Sensing, Actuation, and Communication for Attack-Resilient Unmanned Aerial Systems
Resilient Linear Classification: An Approach to Deal with Attacks on Training Data
Resilient Sensor Placement for Fault Localization in Water Distribution Networks
Session 5: Privacy, Fault Tolerance, and Security Chair: Xenofon Koutsoukos, Vanderbilt University
Privacy-Enhanced Architecture for Occupancy-based HVAC Control
A Submodular Optimization Approach to Controlled Islanding under Cascading Failure
Application and System-Level Software Fault Tolerance Through Full System Restarts
Hardware Module-based Message Authentication in Intra-Vehicle Networks
Chair: George Pappas, University of Pennsylvania
A Merging Protocol for Self-Driving Vehicles
GreenDrive: A Smartphone-based Intelligent Speed Adaptation System With Real-time Traffic Signal Prediction
Drona: A Framework for Safe Distributed Mobile Robotics
Provably-correct coordination of large collections of agents with counting temporal logic constraints
Session 7: Vehicle Routing & Activity Monitoring Chair: James Weimer, University of Pennsylvania
Data-Driven Distributionally Robust Vehicle Balancing Using Dynamic Region Partitions
Markov Decision Process Routing Games
QuActive: A Quality of Activities Monitoring and Notification System
Personalization without User Interruption: Boosting Activity Recognition in New Subjects Using Unlabeled Data
WiP Abstract: A Physiological Communication Architecture for Distributed Emergency Medical CPS
WiP Abstract: Cybermanufacturing in the Shared Economy
WiP Abstract: Diagnostics and Prognostics using Temporal Causal Models for Cyber-Physical Energy Systems
WiP Abstract: Towards a Framework for Comprehensive and Systematic Reliability Evaluation for Building Management Systems
WiP Abstract: Transactive Energy Demo with RIAPS Platform
WiP Abstract: Platform for Security-Aware Design of Human-on-the-Loop Cyber-Physical Systems
Liang He, Eugene Kim, Kang Shin, Guozhu Meng and Tian He
Akansha Singh, Stephen Lee, David Irwin and Prashant Shenoy
Gaurav Gupta and Paul Bogdan
Yuankun Xue and Paul Bogdan
Ram Das Diwakaran, Sriram Sankaranarayanan and Ashutosh Trivedi
Wenji Zhang, Pavithra Prabhakar and Balasubramaniam Natarajan
Yashovardhan Sushil Chati and Hamsa Balakrishnan
Man-Ki Yoon, Bo Liu, Naira Hovakimyan and Lui Sha
Sangdon Park, James Weimer and Insup Lee
Waseem Abbas, Lina Sela Perelman, Saurabh Amin and Xenofon Koutsoukos
Ruoxi Jia, Roy Dong, Shankar Sastry and Costas Spanos
Zhipeng Liu, Andrew Clark, Phillip Lee, Linda Bushnell, Daniel Kirschen and Radha Poovendran
Fardin Abdi Taghi Abad, Rohan Tabish, Matthias Rungger, Majid Zamani and Marco Caccamo
Eric Wang, William Xu, Suhas Sastry, Songsong Liu and Kai Zeng
Shunsuke Aoki and Ragunathan Rajkumar
Yiran Zhao, Shen Li, Shaohan Hu, Lu Su, Shuochao Yao, Huajie Shao and Tarek Abdelzaher
Ankush Desai, Indranil Saha, Jianqiao Yang, Shaz Qadeer and Sanjit A. Seshia
Yunus Emre Sahin, Petter Nilsson and Necmiye Ozay
Fei Miao, Shuo Han, Abdeltawab M. Hendawi, Mohamed E. Khalefa, John Stankovic and George Pappas
Daniel Calderone and Shankar Sastry
Ifat A Emi, Md. Abu Sayeed Mondol and John A. Stankovic
Ramin Fallahzadeh and Hassan Ghasemzadeh
Chair: Aniruddha Gokhale, Vanderbilt University
Mohammad Hosseini, Richard R. Berlin, Yu Jiang, and Lui Sha
Shivakumar Sastry and Aniruddha Gokhale
Ajay Chhokra, Saqib Hasan, Abhishek Dubey, Nagbhushan Mahadevan, and Gabor Karsai
Sanja Lazarove-Molnar
Scott Eisele, Abhishek Dubey, Gabor Karsai, and Srdjan Lukic
Mahmoud Elfar, Haibei Zhu, Adithya Raghunathan, Yi Y. Tay, Jeffrey Wubbenhorst, Missy L. Cummings, and Miroslav Pajic