CPSNA 2014: Schedule  map


DAY 1: August 25th, 2014






KEYNOTE 1: 9:30AM – 10:30AM


Session Chair: Arvind Easwaran

Professor Sang Hyuk Son, Chair, Department of Information and Communication Engineering, DGIST, Korea

Title: Computing for A Smart New World

Abstract: With continuing miniaturization and increased wireless connectivity, the computing systems are becoming deeply embedded into everyday life and interact with processes and events of the physical world. This cyber-physical interaction has the potential to transform how humans interact with and control the physical world. Systems featuring a tight combination of, and coordination between, the system’s computational and physical elements are broadly called cyber physical systems (CPS). Examples of CPS include medical devices and systems, aerospace systems, transportation systems, smart grids, robotic systems, and smart spaces. Advances in key technologies are changing how these types of systems operate. For instance, the level of uncertainty in which these systems operate is increasing, creating the need for greater robustness. Pervasive wireless access is pushing these systems to unprecedented dynamic and non-deterministic situations. There is a critical demand for CPS to be adaptive to provide robustness to meet the requirements. In this talk, we will illustrate few examples of CPS, and discuss some of the research challenges in providing robustness in CPS.


COFFEE BREAK: 10:30AM – 11:00AM 
Outside the conference room (Please note that no food and drink are allowed inside the conference room, except for water.) 



SESSION 1 (Analysis and Verification): 11:00AM – 12:30PM

Session Chair: Insik Shin

1.       Towards Assurance Cases for Resilient Control Systems

James Weimer, Oleg Sokolsky, Nicola Bezzo, and Insup Lee (University of Pennsylvania, USA)



2.       Practical Use of Formal Verification for Safety Critical Cyber-Physical Systems: A Case Study

Tasuku Ishigooka (Hitachi Europe GmbH, Germany), Habib Saissi, Thorsten Piper, Stefan Winter and Neeraj Suri (TU Darmstadt, Germany)



3.       Peak Covariance Stability of Kalman Filtering with Markovian Packet Losses

Junfeng Wu and Karl Henrik Johansson (KTH, Sweden)



LUNCH: 12:30PM – 2:00PM

Meraviglia Bar e Ristorante, G/F, Lakeside 2 (same building of the conference venue)



SESSION 2 (Architectures): 2:00PM – 3:50PM

Session Chair: Takuya Azumi

1.       Towards Independent in-Cloud Evolution of Cyber Physical Systems

Amir Taherkordi and  Frank Eliassen (University of Oslo, Norway)



2.       Simple One-to-one Architecture for Parallel Execution of Embedded Control Systems

Riku Nakamura, Fumio Arakawa and Masato Edahiro (Nagoya University, Japan)



3.       Mapping Time-Critical Safety-Critical Cyber Physical Systems to Hybrid FPGAs

Kizheppatt Vipin, Suhaib A. Fahmy and Arvind Easwaran (Nanayang Technological University, Singapore)



4.       Reducing Data Copies between GPUs and NICs

Anh Nguyen, Yusuke Fujii, Yuki Iida (Ritsumeikan University, Japan), Takuya Azumi (Osaka University, Japan), Nobuhiko Nishio (Ritsumeikan University, Japan) and Shinpei Kato (Nagoya University, Japan)





Outside the conference room


SESSION 3 (Human in-the-loop CPS): 4:20PM – 5:30PM

Session Chair: Oleg Sokolsky

1.       SmartPTA: A Smartphone-Based Human Motion Evaluation System

Geonho Cha, Joonsig Gong and Songhwai Oh (Seoul National University, Korea)



2.       Human Interaction Issues in a Digital-Physical Hybrid World

Mizuki Sakamoto, Akihito Yoshii and Tatsuo Nakajima (Waseda University, Japan)



3.       An Intelligent Hearing Aid System Based on Real-Time Signal Processing

Yao Chen, Yangjie Wei, Nan Guan and Yi Wang (Northeastern University, China)




Banquet: 6:30PM – 10:00PM

Happiness Cuisine, 1/F, Core Building 2 (Check the map on the venue page)  map



DAY 2: August 26th, 2014

KEYNOTE 2: 9:00AM – 10:00AM

Session Chair: Victor Lee

Professor James She,Assistant Professor, Electronic & Computer Engineering, Hong Kong University of Science & Technology, Hong Kong

Title: From Mobile Social Media to Cyber-physical Social Media

Abstract:Due to the technologies of smart mobile devices, mobile apps, wireless communication/networking, we are witnessing how social media and various sticky applications have influenced user behaviors to a point that social media is no longer just for causal social networking and content sharing purposes. Mobile social media today has redefined the daily lifestyles of users, and even the strategies of business advertising and marketing. With possible advances in wearable computing and sensors, Internet-of-things, and pervasive displays, the emerging momentum of cyber-physical systems that consider the physical conditions/constraints of a system, users and the operating environment, will definitely evolve social media to another level of impacts through a new form of cyber-physical social media that contains rich information about social interactions more than just between users. In this talk, we will explore such emerging form of cyber-physical social media may unleash exciting applications like those in a sci-fi movie by illustrating some recent results from our Lab., whereas discussing new challenges and opportunities to explore novel techniques of data analytics, system designs and interactive media technologies.


COFFEE BREAK: 10:00AM – 10:30AM

Outside the conference room


SESSION 4 (Applications): 10:30AM – 12:20PM

Session Chair: Chi-Sheng (Daniel) Shih

1.       Smart Cells for Embedded Battery Management

        Sebastian Steinhorst, Martin Lukasiewycz, Swaminathan Narayanaswamy, Matthias Kauer,         and Samarjit Chakraborty (TUM-CREATE, Singapore)



2.       Scalable Path and Time Coordination for Robot Formation

Hoon Sung Chwa, Andrii Shyshkalov, Kilho Lee and Insik Shin (KAIST, Korea)

(11:00AM-11:30AM) Winner of the Best Paper Award!


3.       Connected Smartphones and High-Performance Servers for Remote Object Detection

Yuki Lida (Ritsumeikan University, Japan), Manato Hirabayashi (Nagoya University, Japan), Takuya Azumi (Osaka University, Japan), Nobuhiko Nishio (Ritsumeikan University, Japan) and Shinpei Kato (Nagoya University, Japan)



4.       Smartphone-Controlled Telerobotic Systems

Hyemin Ahn, Hyunjun Kim, Yoonseon Oh and Songhwai Oh (Seoul National University, Korea)



LUNCH: 12:20PM – 2:00PM

Meraviglia Bar e Ristorante, G/F, Lakeside 2 (same building of the conference venue)


WIP (w/ COFFEE BREAK): 2:00PM – 3:30PM



SESSION 5 (Communication Networks): 3:30PM – 4:30PM

Session Chair: Chang-Gun Lee

1.       Modeling Random Deployment in Wireless Sensor Networks for Infrastructure-less Cyber Physical Systems

Myounggyu Won, Hokyeong Ra, Taejoon Park and Sang Son (DGIST, Korea)



2.       Service Recovery for Large Scale Distributed Publish and Subscription Services for Cyber-Physical Systems and Disaster Management

Chi-Sheng Daniel Shih and Hsin-Yi Chen (National Taiwan University, Taiwan)




Technical sponsorship