Abstract is missing.
- Message from the Conference ChairsArvind Easwaran, Victor C. S. Lee, Joseph Kee-Yin Ng. [doi]
- Towards Assurance Cases for Resilient Control SystemsJames Weimer, Oleg Sokolsky, Nicola Bezzo, Insup Lee. 1-6 [doi]
- Practical Use of Formal Verification for Safety Critical Cyber-Physical Systems: A Case StudyTasuku Ishigooka, Habib Saissi, Thorsten Piper, Stefan Winter, Neeraj Suri. 7-12 [doi]
- Peak Covariance Stability of Kalman Filtering with Markovian Packet LossesJunfeng Wu, Karl Henrik Johansson. 13-18 [doi]
- Towards Independent In-Cloud Evolution of Cyber-Physical SystemsAmir Taherkordi, Frank Eliassen. 19-24 [doi]
- Simple One-to-One Architecture for Parallel Execution of Embedded Control SystemsRiku Nakamura, Fumio Arakawa, Masato Edahiro. 25-30 [doi]
- Mapping Time-Critical Safety-Critical Cyber Physical Systems to Hybrid FPGAsKizheppatt Vipin, Shanker Shreejith, Suhaib A. Fahmy, Arvind Easwaran. 31-36 [doi]
- Reducing Data Copies between GPUs and NICsAnh Nguyen, Yusuke Fujii, Yuki Iida, Takuya Azumi, Nobuhiko Nishio, Shinpei Kato. 37-42 [doi]
- SmartPTA: A Smartphone-Based Human Motion Evaluation SystemGeonho Cha, Joonsig Gong, Songhwai Oh. 43-48 [doi]
- Human Interaction Issues in a Digital-Physical Hybrid WorldMizuki Sakamoto, Akihito Yoshii, Tatsuo Nakajima, Kohki Ikeuchi, Tomoaki Otsuka, Koh Okada, Fumiko Ishizawa, Akihiro Kobayashi. 49-54 [doi]
- An Intelligent Hearing Aid System Based on Real-Time Signal ProcessingYao Chen, Yangjie Wei, Nan Guan, Yi Wang. 55-58 [doi]
- Smart Cells for Embedded Battery ManagementSebastian Steinhorst, Martin Lukasiewycz, Swaminathan Narayanaswamy, Matthias Kauer, Samarjit Chakraborty. 59-64 [doi]
- Scalable Path and Time Coordination for Robot FormationHoon Sung Chwa, Andrii Shyshkalov, Kilho Lee, Insik Shin. 65-70 [doi]
- Connected Smartphones and High-Performance Servers for Remote Object DetectionYuki Iida, Manato Hirabayashi, Takuya Azumi, Nobuhiko Nishio, Shinpei Kato. 71-76 [doi]
- Smartphone-Controlled Telerobotic SystemsHyemin Ahn, Hyunjun Kim, Yoonseon Oh, Songhwai Oh. 77-80 [doi]
- Modeling Random Deployment in Wireless Sensor Networks for Infrastructure-less Cyber Physical SystemsMyounggyu Won, Ho-Kyeong Ra, Taejoon Park, Sang Hyuk Son. 81-86 [doi]
- Service Recovery for Large Scale Distributed Publish and Subscription Services for Cyber-Physical Systems and Disaster ManagementChi-Sheng Shih, Hsin-Yi Chen, Zi-You Yeh. 87-93 [doi]