Program

TUESDAY (April 14th 2015)
CPSWeek Plenary (8:30 - 10:00)
Session 1: High Confidence Networked Systems (Tuesday, 10:30 - Noon)

Session Chair: Alex Bayen
Authors Title
Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic and Insup Lee Sensor Attack Detection in the Presence of Transient Faults
Tamara Bonaci, Junjie Yan, Jeffrey Herron, Tadayoshi Kohno and Howard Chizeck Experimental Analysis of Denial-of-Service Attacks on Teleoperated Robotic Systems
Jackeline Abad Torres, Dinuka Sahabandu, Rahul Dhal and Sandip Roy Local Open- and Closed- Loop Manipulation of Multi-Agent Networks
Session 2: Fault Detection (Tuesday, 13:00 - 14:30)

Session Chair: Sandip Roy
Authors Title
Xiaodong Zhang, Matthew Clark, Kuldip Rattan and Jonathan Muse Fault Detection in Adaptive Learning Based Control Systems Towards Trusted Autonomy
Kyong Tak Cho, Kang Geun Shin and Taejoon Park CPS Approach to Checking Norm Operation of a Brake-by-Wire System
Elaheh Noursadeghi and Ioannis Raptis Distributed Fault Detection of Nonlinear Large-Scale Dynamic Systems
Session 3: Human Interaction (Tuesday, 15:00 - 17:00)

Session Chair: Daniel Work
Authors Title
Yunlong Gao, Shaohan Hu, Renato Mancuso, Hongwei Wang, Minje Kim, Poliang Wu, Lu Su, Lui Sha and Tarek Abdelzaher Exploiting Structured Human Interactions to Enhance Estimation Accuracy in Cyber-physical Systems
Lu Feng, Clemens Wiltsche, Laura Humphrey and Ufuk Topcu Controller Synthesis for Autonomous Systems Interacting with Human Operators
Nisar Ahmed, Mark Campbell, David Casbeer, Yongcan Cao and Derek Kingston Fully Bayesian Learning and Spatial Reasoning with Flexible Human Sensor Networks
Ming Jin, Lillian Ratliff, Ioannis Konstantakopoulos, Costas Spanos and Shankar Sastry REST: A Reliable Estimation of Stopping Time Algorithm for Social Game Experiments
Demos and Posters (Tuesday 17:00 - 20:00)
Authors Title
Korosh Vatanparvar and Mohammad Abdullah Al Faruque Demo Abstract: Energy Management as a Service over Fog Computing Platform
Federico Terraneo, Alberto Leva, Maria Prandini Poster Abstract: A switched control scheme to handle quantisation in the design of high-precision computing system components
Abdulmalik Humayed and Bo Luo Poster Abstract: Cyber-Physical Security for Smart Cars -- Taxonomy of Vulnerabilities, Threats, and Attacks
WEDNESDAY (April 15th 2015)
CPSWeek Plenary (8:30 - 10:00)
Session 4: Best Paper Nominees (Wednesday, 10:30 - noon)

Session Chair: Ian Mitchell
Authors Title
Fei Miao, Shan Lin, Sirajum Munir, John A. Stankovic, Hua Huang, Desheng Zhang, Tian He and George J. Pappas Taxi Dispatch with Real-Time Sensing Data in Metropolitan Areas - a Receding Horizon Control Approach
Radoslav Ivanov, James Weimer, Allan Simpao, Mohamed Rehman and Insup Lee Early Detection of Critical Pulmonary Shunts in Infants
Alessandro Biondi, Marco Di Natale and Giorgio Buttazzo Response-Time Analysis for Real-Time Tasks in Engine Control Applications
ICCPS Keynote Address (Wednesday, 13:30-14:30)

Session Chair: Xenofon Koutsoukos
Speaker Title
Christos G. Cassandras Smart Cities as Cyber-Physical Systems
Work-in-Progress (Wednesday, 14:30 - 15:00)

Session Chair: Meeko Oishi
Authors Title
Takashi Shigekuni, Toshimitsu Ushio, and Takuya Azumi WiP Abstract: Cloud-Assisted Sensing and Supervision of Multiple Unmanned Aerial Vehicles by a Single Operator
Zhijian He, Shuai Li, Zhaoyan Shen, Muhammad Umer Khan, Zili Shao, Qixin Wang WiP Abstract: A Quadcopter Swarm for Active Monitoring of Smog Propagation
Jinkyu Lee WiP Abstract: Charge Scheduling for Large-Scale Battery Management Systems
Yi Yuan, Cheng Fan, Dan Wang, and Linda Fu Xiao WiP Abstract: Developing Associations between Building Occupancy and Traffic Congestion
Jian Xu, Vasiliki Syfrla, and Krishna K. Venkatasubramanian WiP Abstract: Methodology for Generating Attack Trees for Interoperable Medical Devices
Session 5: Control, Sensing and Scheduling (Wednesday, 15:30 - 17:30)

Session Chair: Georgios Fainekos
Authors Title
Huihua Zhao, Jake Reher, Jonathan Horn, Victor Paredes and Aaron Ames Realization of Nonlinear Real-Time Optimization Based Controllers on Self-Contained Trafemoral Prosthesis
Kun Zhang, Jonathan Sprinkle and Ricardo Sanfelice A Hybrid Model Predictive Controller for Path Planning and Path Following
Oliver Shih and Anthony Rowe Occupancy Estimation using Ultrasonic Chirps
Zhishan Guo and Sanjoy Baruah Uniprocessor EDF Scheduling of AVR Task Systems
THURSDAY (April 16th 2015)
CPSWeek Plenary (8:30 - 10:00)
Session 6: Smart Energy (Thursday, 10:30 - noon)

Session Chair: Mohammed Al Faruque
Authors Title
Liang He, Yu Gu, Cong Liu, Ting Zhu and Kang G. Shin SHARE: SoH-Aware Reconfiguration to Enhance Deliverable Capacity of Large-Scale Battery Packs
Zhichuan Huang, David Corrigan, Ting Zhu, Hongyao Luo, Xiaoxiong Zhan and Yu Gu Exploring Power-Voltage Relationship for Distributed Peak Demand Flattening in Microgrids
Mischa Schmidt, Alberto Venturi, Anett Sch¸«älke and Roman Kurpatov The Energy Efficiency Problematics in Sports Facilities: Identifying Savings in Daily Grass Heating Operation
Session 7: Software Tools (Thursday, 13:30 - 15:00)

Session Chair: Miroslav Pajic
Authors Title
Peng Deng, Fabio Cremona, Qi Zhu, Marco Di Natale and Haibo Zeng A Model-based Synthesis Flow for Automotive CPS
Taylor T Johnson, Stanley Bak and Steven Drager Cyber-Physical Specification Mismatch Identification with Dynamic Analysis
Bo Li, Lanshun Nie, Chengjie Wu, Humberto Gonzalez and Chenyang Lu Incorporating Emergency Alarms in Reliable Wireless Process Control
Session 8: Transportation CPS (Thursday, 15:30 - 16:30)

Session Chair: Maria Prandini
Authors Title
Yaser Fallah and Masoumeh Khandani Analysis of the Coupling of Communication network and Safety Application in Cooperative Collision Warning Systems
Desheng Zhang, Juanjuan Zhao, Fan Zhang and Tian He UrbanCPS: a Cyber-Physical System based on Multi-source Urban Infrastructure Data for Heterogeneous Model Integration