Advance Program

August 19th

10.30-10:45 Opening CPSNA 2013

10:45-12:00 CPSNA Keynote

Smart devices and applications for disaster prepared smart environment

Jane W. S. Liu (Academia Sinica, Taiwan)

12:00-13:30 Lunch

13:30-15:00 Session 1: Safety and Health

Assuring the Safety of On-Demand Medical Cyber-Physical Systems
Andrew King (University of Pennsylvania, USA),

Lu Feng (University of Pennsylvania, USA),

Oleg Sokolsky (University of Pennsylvania, USA)

Insup Lee (University of Pennsylvania, USA)

Lifelong-Based Active Movement Assistant System
Yusuke Satonaka (Ritsumeikan University, Japan),

Takumi Kitazawa (Ritsumeikan University, Japan),

Kazuki Suzuki (Ritsumeikan University, Japan),

Yuki Fukuzaki (Ritsumeikan University, Japan),

Takuya Azumi (Ritsumeikan University, Japan)

Nobuhiko Nishio (Ritsumeikan University, Japan)

Defending Malicious Attacks in Cyber Physical Systems
Chia-Mei Chen (National Sun Yet-sen University, Taiwan),

Han-Wei Hsiao (National University of Kaohsiung, Taiwan),

Peng-Yu Yang (National Sun Yet-sen University, Taiwan),

Ya-Hui Ou (National Sun Yet-sen University, Taiwan)

Responsive Alert Delivery over IP Network
Y. Z. Ou (Academia Sinica, Taiwan),

C. M. Huang (Academia Sinica, Taiwan),

C. T. Hu (Academia Sinica, Taiwan),

E. T. H. Chu (National Yunlin University of Science and Technology, Taiwan),

C. S. Shih (National Yunlin University of Science and Technology, Taiwan),

Jane W. S. Liu Academia Sinica, Taiwan)

15:00-15:30 Coffee

15:30-16:15 Session 2: Security and Privacy

On-Chip Control Flow Integrity Check for Real Time Embedded Systems
Fardin Abdi Taghi Abad (University of Illinois at Urbana Champaign, USA),

Joel Van Der Woude (University of Illinois at Urbana Champaign, USA),

Yi Lu (University of Illinois at Urbana Champaign, USA),

Stanley Bak (University of Illinois at Urbana Champaign, USA),

MarcoCaccamo (University of Illinois at Urbana Champaign, USA),

Lui Sha (University of Illinois at Urbana Champaign, USA),

Renato Mancuso (University of Illinois at Urbana Champaign, USA),

Sibin Mohan (University of Illinois at Urbana Champaign, USA)

Privacy Preserving Origin-Destination Flow Measurement in Vehicular Cyber Physical Systems
Yian Zhou (University of Florida, USA),

Shigang Chen (University of Florida, USA),

Zhen Mo (University of Florida, USA),

Yafeng Yin (University of Florida, USA)


16:15-17:30 Session 3: CPSNA Work-in-Progress

18:00: Welcome Reception

August 20th

08:45-10:00 Session 4: Design and Exploration

A Tool Integration Approach for Architectural Exploration of Aircraft Electric Power Systems

Hokeun Kim (University of California, Berkeley, USA),

Liangpeng Guo (University of California, Berkeley, USA),

Edward Lee (University of California, Berkeley, USA),

Alberto Sangiovanni-Vincentelli (University of California, Berkeley, USA)


CPSSim: Simulation Framework for Large-Scale Cyber-Physical Systems

Chi-Sheng Shih (National Taiwan University, Taiwan)

Chia-Tse Chu (National Taiwan University, Taiwan)


Application Patterns for Cyber-Physical Systems

Jong-Seok Choi (SRI International, USA),

Tim McCarthy (SRI International, USA),

Maneesh Yadav(SRI International, USA),

Minyoung Kim(SRI International, USA),

Carolyn Talcott (SRI International, USA)

Eric Gressier-Soudan (CNAM, France)

10:00-10:30 Coffee

10:30-12:00 Session 5: Control and Systems

ART-Linux for High-Frequency System Control

Satoshi Kagami (AIST, Japan),

Youichi Ishiwata (AIST, Japan),

Koichi Nishiwaki (AIST, Japan)


An RFID Indoor Positioning System by Using Weighted Path Loss and Extreme Learning Machine

Han Zou (Nanyang Technological University, Singapore),

Hengtao Wang (Tsinghua University, China),

Lihua Xie (Nanyang Technological University, Singapore),

Qing-Shan Jia (Tsinghua University, China)


Efficient Spatial Data Recovery Scheme for Cyber-physical System

Naushin Nower (JAIST, Japan),

Yasuo Tan (JAIST, Japan),

Azman Osman Lim (JAIST, Japan)


Study of Temperature Control using Cyber-physical System Approach in Home Entertainment

Wai Wai Shein (JAIST, Japan),

Zhuo Cheng (JAIST, Japan),

Yasuo Tan (JAIST, Japan)

Azman Osman Lim (JAIST, Japan)

12:00-13:30 Lunch

13:30-15:00 Session 6: Sensors and Modeling

Stochastic Online Sensor Scheduler for Remote State Estimation

Junfeng Wu (Hong Kong University of Science and Technology, Hong Kong, China),

Yilin Mo (Carnegie Mellon University, USA),

Ling Shi (Hong Kong University of Science and Technology, Hong Kong, China)


Game-Theoretic Resilience Analysis of Cyber-Physical Systems

Fei He (SUNY-Buffalo, USA),

Jun Zhuang (SUNY-Buffalo, USA),

Nageswara Rao (Oak Ridge National Laboratory, USA),

Chris Ma (Advanced Digital Sciences Center, Singapore),

David Yau (Purdue University, USA)


Energy-Efficient Sensor and Task Scheduling for Extending Battery Life in a Sensor Node

Qian Zhao (University of Hyogo, Japan),

Yukikazu Nakamoto (University of Hyogo, Japan)


How many are you (an approach for the smart world)?

Michele Albano (Polytechnic Institute of Porto, Portugal),

Nuno Pereira (CISTER/INESC-TEC, Portugal)

Eduardo Tovar (CISTER/INESC-TEC, Portugal)

15:00-15:30 Coffee

15:30-17:00 Session 7: Applications and Analysis

GPU Implementations of Object Detection using HOG Features and Deformable Models

Manato Hirabayashi (Nagoya University, Japan),

Shinpei Kato (Nagoya University, Japan),

Masato Edahiro(Nagoya University, Japan),

Kazuya Takeda(Nagoya University, Japan),

Taiki Kawano (Toyota Technological Institute, Japan),

Seiichi Mita (Toyota Technological Institute, Japan)


Understanding Human-Place Interaction from Tracking and Identification of Many Users

Donghoon Lee (Seoul National University, Korea)

Songhwai Oh (Seoul National University, Korea


User Mobility-Aware Decision Making for Mobile Computation Offloading

Kilho Lee (KAIST, Korea)

Insik Shin (KAIST, Korea)


Enclosing the Behavior of a Hybrid System up to and Beyond a Zeno Point

Awarded the Best Paper!

Michal Konecny (Aston University, UK),

Walid Taha (Halmstad University, Sweden & Rice University, USA),

Jan Duracz,

Adam Duracz (Halmstad University, Sweden)

Aaron Ames (Halmstad University, Sweden)

18:00: Banquet

Technical sponsorship