Navigation

Program for ICCPS 2013

Time Tuesday
(April 9, 2013)
8:30am-10:00am Plenary Talk
10:00am-10:30am Coffee Break
10:30am-12:00pm Session 1: Transportation CPS
12:00pm-1:00pm Lunch Break
1:00pm-3:00pm Session 2: Best Paper Nominees
3:00pm-3:30pm Coffee Break
3:30pm-5:00pm Work-in-Progress
5:00pm-8:00pm Posters and Demos
Time Wednesday
(April 10, 2013)
8:45am-10:00am Plenary Talk
10:00am-10:30am Coffee Break
10:30am-12:00pm Session 3: Medical Devices
12:00pm-1:00pm Lunch Break
1:00pm-3:00pm Session 4: CPS Design
3:00pm-3:30pm Coffee Break
3:30pm-5:00pm CPS Panel Session
Time Thursday
(April 11, 2013)
8:45am-10:00am Plenary Talk
10:00am-10:30am Coffee Break
10:30am-12:00pm Session 5: Security and Safety
12:00pm-1:00pm Lunch Break
1:00pm-3:00pm Session 6: CPS Applications
3:00pm-3:30pm Coffee Break
3:30pm-5:00pm Session 7: Smart Energy


Best Paper Award

Co-design of Control Algorithm and Embedded Platform for HVAC Systems
Mehdi Maasoumy (University of California at Berkeley, USA); Qi Zhu (University of California at Riverside, USA); Cheng Li (Nanyang Technological University, Singapore); Forrest Meggers (Singapore-ETH Centre, Singapore); Alberto Sangiovanni-Vincentelli (University of California at Berkeley, USA)

Best Demo Award

An Efficient and Easilly Reconfigurable Cyber-Physical Simulator
Kyoung-Soo We

Best Poster Award

Real-Time Adaptive Signaling for Isolated Intersections
Sai Prathyusha Peddi

Best Work-in-Progress Presentation Award

Stability of a Cyber-Physical Smart Grid System using Cooperating Invariants
Ashish Choudhari; Harini Ramaprasad; Tamal Paul; Jonathan W. Kimball; Maciej Zawodniok; Bruce McMillin; Sriram Chellapan



Plenary Talk 1

Deborah Estrin
Professor of Computer Science, Cornell Tech, NYC, USA
Title: Sensemaking for Mobile Health

Plenary Talk 2

Vijay Kumar
UPS Foundation Professor, University of Pennsylvania, USA
Title: Aerial Robot Swarms

Plenary Talk 3

Manfred Broy
Chair of Software and Systems Engineering, Technical University of Munich, Germany
Title: Challenges in Modeling Cyber-Physical Systems

CPS Panel Session

Title: Cyber-Physical Systems Architectures

Moderator: John Baras (University of Maryland College Park)

Panelist:
Manfred Broy (Technical University Munich, Germany)
David Corman (National Science Foundation (NSF))
Karl Henrik Johannson (Royal Institute of Technology (KTH), Sweden)
Raj Rajkumar (Carnegie Mellon University (CMU))
Vijay Srinivasan (National Institute of Standards and Technology (NIST))
Janos Sztipanovits (Vanderbilt University)

Session 1: Transportation CPS

Chair: Kang Shin (University of Michigan, USA)

Reliable Intersection Protocols Using Vehicular Networks
Reza Azimi (Carnegie Mellon University, USA); Gaurav Bhatia (Carnegie Mellon Unviersity, USA); Ragunathan Rajkumar (Carnegie Mellon University, USA); Priyantha Mudalige (General Motors, USA)

Real-Time Prediction of Battery Power Requirements for Electric Vehicles
Eugene Kim (University of Michigan, USA); Jinkyu Lee (University of Michigan, USA); Kang Shin (University of Michigan, USA)

Energy Efficient Navigation Management for Hybrid Electric Vehicles on Highways
Mohammad Ashiqur Rahman (University of North Carolina at Charlotte, USA); Qi Duan (University of North Carolina at Charlotte, USA); Ehab Al-Shaer (University of North Carolina Charlotte, USA)

Session 2: Best Paper Nominee

Chair: Hongwei Zhang (Wayne State University, USA)

Parallel Scheduling for Cyber-Physical Systems: Analysis and Case Study on a Self-Driving Car
Junsung Kim (Carnegie Mellon University, USA); Hyoseung Kim (Carnegie Mellon University, USA); Karthik Lakshmanan (Google, USA); Ragunathan Rajkumar (Carnegie Mellon University, USA)

L1Simplex: Fault-Tolerant Control of Cyber-Physical Systems
Xiaofeng Wang (University of South Carolina, USA); Naira Hovakimyan (University of Illinois at Urbana Champaign, USA); Lui Sha (University of Illinois at Urbana-Champaign, USA)

Collision Free Autonomous Ground Traffic: A Model Predictive Control Approach
Kyoung-Dae Kim (Texas A&M University, USA)

Co-design of Control Algorithm and Embedded Platform for HVAC Systems
Mehdi Maasoumy (University of California at Berkeley, USA); Qi Zhu (University of California at Riverside, USA); Cheng Li (Nanyang Technological University, Singapore); Forrest Meggers (Singapore-ETH Centre, Singapore); Alberto Sangiovanni-Vincentelli (University of California at Berkeley, USA)

Session 3: Medical Devices

Chair: Anthony Rowe (Carnegie Mellon University, USA)

Low Power Programmable Architecture for Periodic Activity Monitoring
Mohammad-Mahdi Bidmeshki (University of Texas at Dallas, USA); Roozbeh Jafari (The University of Texas at Dallas, USA)

A Low Complexity Coordination Architecture for Networked Supervisory Medical Systems
Po-Liang Wu (University of Illinois at Urbana-Champaign, USA); Woochul Kang (University of Illinois at Urbana-Champain, USA); Abdullah Al-Nayeem (University of Illinois at Urbana-Champaign, USA); Lui Sha (University of Illinois at Urbana-Champaign, USA); Richard Berlin (University of Illinois at Urbana-Champaign, USA); Julian Goldman (Mass. General Hospital and CIMIT, USA)

Spatio-Temporal Hybrid Automata for Safe Cyber-Physical Systems: A Medical Case Study
Ayan Banerjee (Arizona State University, USA); Sandeep Gupta (Arizona State University, USA)

Session 4: CPS Design

Chair: Karl Henrik Johannson (Royal Institute of Technology (KTH), Sweden)

Context-sensitive Synthesis of Executable Functional Models of Cyber-Physical Systems
Arquimedes Canedo (Siemens Corporation, Corporate Technology, USA); Eric Schwarzenbach (Princeton University, USA); Mohammad Abdullah Al Faruque (University of California Irvine, USA)

Cyber-Physical System Design Contracts
Patricia Derler (UC Berkeley, USA); Edward Lee (Berkeley, USA); Martin Torngren (Royal Institute of Technology, Sweden); Stavros Tripakis (University of California at Berkeley, USA)

Co-Simulation Framework for Design of Time-Triggered Cyber Physical Systems
Zhenkai Zhang (Vanderbilt University, USA); Emeka Eyisi (Vanderbilt University, USA); Xenofon Koutsoukos (Vanderbilt University, USA); Joseph Porter (Vanderbilt University, USA); Gabor Karsai (Vanderbilt University/ISIS, USA); Janos Sztipanovits (Vanderbilt University, USA)

Co-design of Control and Platform with Dropped Signals
Damoon Soudbakhsh (Massachusetts Institute of Technology, USA); Linh Phan (Computer and Information Science, USA); Oleg Sokolsky (UPenn, USA); Insup Lee (University of Pennsylvania, USA); Anuradha Annaswamy (Massachusetts Institute of Technology, USA)

Session 5: Security and Safety

Chair: Karl-Erik rzn (Lund University, Sweden)

Combating Time Synchronization Attack in Smart Grid: A Cross Layer Defense Mechanism
Zhenghao Zhang (The University of Tennessee, USA); Matthew Trinkle (University of Adelaide, Australia); Aleksandar Dimitrovski (Oak Ridge National Lab, USA); Husheng Li (University of Tennessee, USA)

On Authentication in a Connected Vehicle: Secure Integration of Mobile Devices with Vehicular Networks
Kyusuk Han (University of Michigan, USA); Swapna Divya Potluri (University of Michigan, USA); Kang Shin (University of Michigan, USA)

FSTPA-I: A Formal Approach to Hazard Identification via System Theoretic Process Analysis
Philip Asare (University of Virginia, USA); John Lach (University of Virginia, USA); John Stankovic (University of Virginia, USA)

Session 6: CPS Applications

Chair: Roozbeh Jafari (University of Texas at Dallas, USA)

Zero-Copy I/O Processing for Low-Latency GPU Computing
Shinpei Kato (Nagoya University, Japan); Jason Aumiller (University of California, Santa Cruz, USA); Scott Brandt (UC Santa Cruz, USA)

Realistic Case Studies of Wireless Structural Control
Bo Li (Washington University in St. Louis, USA); Zhuoxiong Sun (Purdue University, USA); Kirill Mechitov (University of Illinois at Urbana-Champaign, USA); Gregory Hackmann (Washington University in St. Louis, USA); Chenyang Lu (Washington University in St. Louis, USA); Shirley J. Dyke (Purdue University, USA); Gul Agha (University of Illinois at Urbana-Champaign, USA); Billie F. Spencer Jr. (University of Illinois at Urbana-Champaign, USA)

Architecture of a Cyberphysical Avatar
Song Han (University of Texas at Austin, USA); Aloysius Mok (University of Texas at Austin, USA); Jianyong Meng (University of Texas at Austin, USA); Yi-Hung Wei (The University of Texas at Austin, USA); Pei-Chi Huang (University of Texas at Austin, USA); Quan Leng (University of Texas at Austin, USA); Xiuming Zhu (University of Texas at Austin, USA); Luis Sentis (University of Texas at Austin, USA); Kwan Suk Kim (University of Texas at Austin, USA); Risto Miikkulainen (University of Texas at Austin, USA)

BigActors - A Model for Structure-Aware Computation
Eloi Pereira (University of California, Berkeley, USA); Christoph Kirsch (Universitat Salzburg, Austria); Raja Sengupta (University of California at Berkeley, USA); João Borges de Sousa (Univerty of Porto, Portugal)

Session 7: Smart Energy

Chair: Rahul Mangharam (University of Pennsylvania, USA)

RoomZoner: Occupancy-based Room-Level Zoning of a Centralized HVAC System
Tamim I Sookoor (Army Research Laboratory, USA); Kamin Whitehouse (University of Virginia, USA)

Sharing Renewable Energy in Smart Microgrids
Ting Zhu (State University of New York at Binghamton, USA); Zhichuan Huang (State University of New York at Binghamton, USA); Ankur Sharma (State University of New York, USA); Jikui Su (Binghamton University, USA); David Irwin (University of Massachusetts, Amherst, USA); Aditya Kr Mishra (University of Massachusetts Amherst, USA); Daniel Menasche (University of Massachusetts, USA); Prashant Shenoy (University of Massachusetts, Amherst, USA)

A Magnetic Field-based Appliance Metering System
Niranjini Rajagopal (Carnegie Mellon University, USA); Suman Giri (Carnegie Mellon University, USA); Anthony Rowe (Carnegie Mellon University, USA); Mario Berges (Carnegie Mellon University, USA)

Work-in-Progress Session

Chair: Nalini Venkatasubramanian (University of California, Irnive)

Intelligent Power- and Performance-aware Tradeoffs for Multicore Servers in Cloud Data Centers
Faruk Caglar; Shashank Shekhar; Kyoungho An; Aniruddha Gokhale

Possibility of Power System Blackout Prediction
Bei Gou; Weibiao Wu

Coordinated Autonomous Driving with 100 Connected Vehicles
Arda Kurt; Keith Redmill; Umit Ozguner

Stability of a Cyber-Physical Smart Grid System using Cooperating Invariants
Ashish Choudhari; Harini Ramaprasad; Tamal Paul; Jonathan W. Kimball; Maciej Zawodniok; Bruce McMillin; Sriram Chellapan

Multicast Authentication in the Smart Grid with One-Time Signatures from Sigma-Protocols
Raj S. Katti; Rucha Sule; Rajesh G. Kavasseri

Impact of Position Inaccuracy on V2V Intersection Protocols
Reza Azimi; Gaurav Bhatia; Raj Rajkumar; Priyantha Mudalige

Posters & Demos

Posters
Chair: Omprakash Gnawali (University of Houston)

Stability of a Cyber-Physical Smart Grid System using Cooperating Invariants
Bruce McMillin; Harini Ramaprasad; Sriram Chellappan; Jonathan Kimball; Maciej Zawodniok; Ashish Choudhari

Formal Analysis of Fresenius Infusion Pump (FIP)
Vasiliki Sfyrla; Sebastien Marcoux; Claude Vittoria

A Game Theoretic Approach to Controller Design for Cyber-Physical Systems: Collision Avoidance
Jaeyong Park; Arda Kurt; Umit Ozguner

PRK-Based Scheduling for Predictable Link Reliability in Wireless Networked Sensing and Control
Hongwei Zhang; Xiaohui Liu; Chuan Li; Yu Chen; Xin Che; Feng Lin; Le Yi Wang; George Yin

Real-Time Adaptive Signaling for Isolated Intersections
Sai Prathyusha Peddi

Low-Complexity Multicarrier Physical Layer for Wireless Real-Time Control Networks
Peter Horvath; Mark Yampolskiy; Yuan Xue; Xenofon Koutsoukos

Physical Stigmergy for Decentralized Constrained Optimization: An Intelligent Lighting Example
Theodore P. Pavlic

Finding Abnormal Data in Vehicular Cyber Physical Systems
Wenjia Li; Lindah Kotut

A Model for Analyzing Data Freshness of Periodic Real-Time Communication
Sang-Hun Lee; Hyun-Wook Jin

Speaker Localization and Cancellation for Improving Social Attention
Xi Wang; Weidong (Larry) Shi; Omprakash Gnawali; Katherine Loveland

Demos
Chair: Insik Shin (KAIST)

A Cryptographic Scheme for Real-World Wireless Sensor Networks Applications
S. Marchesani

An Efficient and Easilly Reconfigurable Cyber-Physical Simulator
Kyoung-Soo We

Atacama - An Open Research Platform for Mixed-Criticality Communication in Ethernet
Gonzalo Carvajal

Hexacopters for Everyone: Online Access to Advanced Robotics Platforms for your Research
Peiyi Chen

Cyber-Physical Tactile Imaging System for Malignant Tumor Identification
Firdous Saleheen

Platform Dependent Code Generation of Real-Time Embedded Software
BaekGyu Kim

Synthesis of Platform-aware Attack-Resilient Vehicular System
Miroslav Pajic