The Community for Technology Leaders
2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA) (2013)
Taipei, Taiwan
Aug. 19, 2013 to Aug. 20, 2013
ISBN: 978-1-4799-0798-4
TABLE OF CONTENTS

Author index (PDF)

pp. 1-7

Message from the conference chairs (PDF)

Thomas Nolte , Mälardalen University, Sweden
Hideyuki Tokuda , Keio University, Japan
Chi-Sheng Shih , National Taiwan University, Taiwan
Tatsuo Nakajima , Waseda University, Japan
pp. 1

Smart devices and applications for disaster prepared homes and environments (PDF)

Jane W. S. Liu , Institute of Information Science, Aademia Sinica, Taiwan
pp. 1

Assuring the safety of on-demand medical cyber-physical systems (Abstract)

Andrew L. King , Department of Computer and Information Science, University of Pennsylvania, Philadelphia, USA
Lu Feng , Department of Computer and Information Science, University of Pennsylvania, Philadelphia, USA
Oleg Sokolsky , Department of Computer and Information Science, University of Pennsylvania, Philadelphia, USA
Insup Lee , Department of Computer and Information Science, University of Pennsylvania, Philadelphia, USA
pp. 1-6

Lifelog-based active movement assistant system (Abstract)

Yusuke Satonaka , Graduate School of Information Science and Engineering, Ritsumeikan University, Japan
Takumi Kitazawa , Graduate School of Information Science and Engineering, Ritsumeikan University, Japan
Kazuki Suzuki , Graduate School of Information Science and Engineering, Ritsumeikan University, Japan
Yuki Fukuzaki , Graduate School of Information Science and Engineering, Ritsumeikan University, Japan
Takuya Azumi , College of Information Science and Engineering, Ritsumeikan University, Japan
Nobuhiko Nishio , College of Information Science and Engineering, Ritsumeikan University, Japan
pp. 7-12

Defending malicious attacks in Cyber Physical Systems (Abstract)

Chia-Mei Chen , Department of Information Management, National Sun Yet-sen University, Kaohsiung, 804, Taiwan
Han-Wei Hsiao , Department of Information Management, National University of Kaohsiung, 804, Taiwan
Peng-Yu Yang , Department of Information Management, National Sun Yet-sen University, Kaohsiung, 804, Taiwan
Ya-Hui Ou , Department of Information Management, National Sun Yet-sen University, Kaohsiung, 804, Taiwan
pp. 13-18

Responsive alert delivery over IP network (Abstract)

Y. Z. Ou , Institute of Information Science Academia Sinica, Taiwan
C. M. Huang , Institute of Information Science Academia Sinica, Taiwan
C. T. Hu , Institute of Information Science Academia Sinica, Taiwan
J. W. S. Liu , Institute of Information Science Academia Sinica, Taiwan
E. T. H. Chu , Dept. of Computer Science, National Yunlin Univ. of Sci. and Tech., Taiwan
C. S. Shih , Dept. of CS and Info. Eng, National Taiwan Univ., Taipei, Taiwan
pp. 19-25

On-chip control flow integrity check for real time embedded systems (Abstract)

Fardin Abdi Taghi Abad , Dept. of Computer Science, University of Illinois at Urbana-Champaign, 61801, USA
Joel Van Der Woude , Dept. of Computer Science, University of Illinois at Urbana-Champaign, 61801, USA
Yi Lu , Dept. of Computer Science, University of Illinois at Urbana-Champaign, 61801, USA
Stanley Bak , Dept. of Computer Science, University of Illinois at Urbana-Champaign, 61801, USA
Marco Caccamo , Dept. of Computer Science, University of Illinois at Urbana-Champaign, 61801, USA
Lui Sha , Dept. of Computer Science, University of Illinois at Urbana-Champaign, 61801, USA
Renato Mancuso , Dept. of Computer Science, University of Illinois at Urbana-Champaign, 61801, USA
Sibin Mohan , Information Trust Institute, University of Illinois at Urbana-Champaign, 61801, USA
pp. 26-31

Privacy preserving origin-destination flow measurement in vehicular cyber-physical systems (Abstract)

Yian Zhou , Department of Computer & Information Science & Engineering, University of Florida, Gainesville, 32611, USA
Shigang Chen , Department of Computer & Information Science & Engineering, University of Florida, Gainesville, 32611, USA
Zhen Mo , Department of Computer & Information Science & Engineering, University of Florida, Gainesville, 32611, USA
Yafeng Yin , Department of Civil and Coastal Engineering, University of Florida, Gainesville, 32611, USA
pp. 32-37

A tool integration approach for architectural exploration of aircraft electric power systems (Abstract)

Hokeun Kim , Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, USA
Liangpeng Guo , Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, USA
Edward A. Lee , Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, USA
Alberto Sangiovanni-Vincentelli , Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, USA
pp. 38-43

CPSSim: Simulation framework for large-scale Cyber-Physical Systems (Abstract)

Chia-Tse Chu , Embedded Systems and Wireless Networking Lab, Graduate Institute of Networking and Multimedia, Department of Computer Science and Information Engineering, National Taiwan University, Taiwan
Chi-Sheng Shih , Embedded Systems and Wireless Networking Lab, Graduate Institute of Networking and Multimedia, Department of Computer Science and Information Engineering, National Taiwan University, Taiwan
pp. 44-51

Application patterns for cyber-physical systems (Abstract)

Jong-Seok Choi , SRI International, Menlo Park, CA, USA
Tim McCarthy , SRI International, Menlo Park, CA, USA
Maneesh Yadav , SRI International, Menlo Park, CA, USA
Minyoung Kim , SRI International, Menlo Park, CA, USA
Carolyn Talcott , SRI International, Menlo Park, CA, USA
Eric Gressier-Soudan , CNAM (Conservatoire National des Arts et Métiers), Paris, France
pp. 52-59

ART-Linux for high-frequency system control (Abstract)

Satoshi Kagami , Digital Human Research Center, National Institute of Advanced Industrial Science and Technology, 2-3-26, Aomi, Koto-ku, Tokyo, 135-0064, Japan
Youichi Ishiwata , Digital Human Research Center, National Institute of Advanced Industrial Science and Technology, 2-3-26, Aomi, Koto-ku, Tokyo, 135-0064, Japan
Koichi Nishiwaki , Digital Human Research Center, National Institute of Advanced Industrial Science and Technology, 2-3-26, Aomi, Koto-ku, Tokyo, 135-0064, Japan
pp. 60-65

An RFID indoor positioning system by using weighted path loss and extreme learning machine (Abstract)

Han Zou , EXQUISITUS, Centre for E-City, School of Electrical and Electronics Engineering, Nanyang Technological University, Singapore, 639798
Hengtao Wang , Center for Intelligent and Networked Systems, Department of Automation, TNLIST, Tsinghua University, Beijing 100084, China
Lihua Xie , EXQUISITUS, Centre for E-City, School of Electrical and Electronics Engineering, Nanyang Technological University, Singapore, 639798
Qing-Shan Jia , Center for Intelligent and Networked Systems, Department of Automation, TNLIST, Tsinghua University, Beijing 100084, China
pp. 66-71

Efficient spatial data recovery scheme for cyber-physical system (Abstract)

Naushin Nower , Japan Advanced Institute of Science and Technology (JAIST), 1-1 Asahidai, Nomi City, Ishikawa, 923-1292 Japan
Yasuo Tan , Japan Advanced Institute of Science and Technology (JAIST), 1-1 Asahidai, Nomi City, Ishikawa, 923-1292 Japan
Azman Osman Lim , Japan Advanced Institute of Science and Technology (JAIST), 1-1 Asahidai, Nomi City, Ishikawa, 923-1292 Japan
pp. 72-77

Study of temperature control using cyber-physical system approach in home environment (Abstract)

Wai Wai Shein , Japan Advanced Institute of Science and Technology, 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan
Zhuo Cheng , Japan Advanced Institute of Science and Technology, 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan
Yasuo Tan , Japan Advanced Institute of Science and Technology, 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan
Azman Osman Lim , Japan Advanced Institute of Science and Technology, 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan
pp. 78-83

Stochastic online sensor scheduler for remote state estimation (Abstract)

Junfeng Wu , Department of Electronic and Computer Engineering, Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong
Yilin Mo , Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA, USA
Ling Shi , Department of Electronic and Computer Engineering, Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong
pp. 84-89

Game-theoretic resilience analysis of Cyber-Physical Systems (Abstract)

Fei He , State University of New York at Buffalo, USA
Jun Zhuang , State University of New York at Buffalo, USA
Nageswara S. V. Rao , Oak Ridge, National Laboratory, USA
Chris Y. T. Ma , Advanced Digital Sciences Center, USA
David K. Y. Yau , Purdue University, USA
pp. 90-95

Energy-efficient sensor and task scheduling for extending battery life in a sensor node (Abstract)

Qian Zhao , Graduate School of Applied Informatics, University of Hyogo, Kobe, Japan 650-0047
Yukikazu Nakamoto , Graduate School of Applied Informatics, University of Hyogo, Kobe, Japan 650-0047
pp. 96-100

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

Michele Albano , CISTER/INESC-TEC, ISEP, Polytechnic Institute of Porto, Portugal
Nuno Pereira , CISTER/INESC-TEC, ISEP, Polytechnic Institute of Porto, Portugal
Eduardo Tovar , CISTER/INESC-TEC, ISEP, Polytechnic Institute of Porto, Portugal
pp. 101-105

GPU implementations of object detection using HOG features and deformable models (Abstract)

Manato Hirabayashi , School of Information Science, Nagoya University, Japan
Shinpei Kato , School of Information Science, Nagoya University, Japan
Masato Edahiro , School of Information Science, Nagoya University, Japan
Kazuya Takeda , School of Information Science, Nagoya University, Japan
Taiki Kawano , Research Center for Smart Vehicles, Toyota Technological Institute, Japan
Seiichi Mita , Research Center for Smart Vehicles, Toyota Technological Institute, Japan
pp. 106-111

Understanding human-place interaction from tracking and identification of many users (Abstract)

Donghoon Lee , CPSLAB, ASRI, Department of Electrical and Computer Engineering, Seoul National University, Korea
Songhwai Oh , CPSLAB, ASRI, Department of Electrical and Computer Engineering, Seoul National University, Korea
pp. 112-115

User mobility-aware decision making for mobile computation offloading (Abstract)

Kilho Lee , Dept. of Computer Science, KAIST, Republic of Korea
Insik Shin , Dept. of Computer Science, KAIST, Republic of Korea
pp. 116-119

Enclosing the behavior of a hybrid system up to and beyond a Zeno point (Abstract)

Michal Konecny , School of Engineering and Applied Science, Aston University, Birmingham, UK
Walid Taha , Halmstad University, Sweden
Jan Duracz , Halmstad University, Sweden
Adam Duracz , Halmstad University, Sweden
Aaron Ames , Department of Electrical & Computer Engineering, Texas A&M University, USA
pp. 120-125
81 ms
(Ver 3.3 (11022016))