default search action
2. CPSNA 2014: Hong Kong, China
- 2014 IEEE International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2014, Hong Kong, China, August 25-26, 2014. IEEE Computer Society 2014, ISBN 978-1-4799-5387-5
- Arvind Easwaran, Victor C. S. Lee, Joseph Kee-Yin Ng:
Message from the Conference Chairs. vii
Analysis and Verification
- James Weimer, Oleg Sokolsky, Nicola Bezzo, Insup Lee:
Towards Assurance Cases for Resilient Control Systems. 1-6 - Tasuku Ishigooka, Habib Saissi, Thorsten Piper, Stefan Winter, Neeraj Suri:
Practical Use of Formal Verification for Safety Critical Cyber-Physical Systems: A Case Study. 7-12 - Junfeng Wu, Karl Henrik Johansson:
Peak Covariance Stability of Kalman Filtering with Markovian Packet Losses. 13-18
Architectures
- Amir Taherkordi, Frank Eliassen:
Towards Independent In-Cloud Evolution of Cyber-Physical Systems. 19-24 - Riku Nakamura, Fumio Arakawa, Masato Edahiro:
Simple One-to-One Architecture for Parallel Execution of Embedded Control Systems. 25-30 - Kizheppatt Vipin, Shanker Shreejith, Suhaib A. Fahmy, Arvind Easwaran:
Mapping Time-Critical Safety-Critical Cyber Physical Systems to Hybrid FPGAs. 31-36 - Anh Nguyen, Yusuke Fujii, Yuki Iida, Takuya Azumi, Nobuhiko Nishio, Shinpei Kato:
Reducing Data Copies between GPUs and NICs. 37-42
Human in-the-Loop CPS
- Geonho Cha, Joonsig Gong, Songhwai Oh:
SmartPTA: A Smartphone-Based Human Motion Evaluation System. 43-48 - Mizuki Sakamoto, Akihito Yoshii, Tatsuo Nakajima, Kohki Ikeuchi, Tomoaki Otsuka, Koh Okada, Fumiko Ishizawa, Akihiro Kobayashi:
Human Interaction Issues in a Digital-Physical Hybrid World. 49-54 - Yao Chen, Yangjie Wei, Nan Guan, Wang Yi:
An Intelligent Hearing Aid System Based on Real-Time Signal Processing. 55-58
Applications
- Sebastian Steinhorst, Martin Lukasiewycz, Swaminathan Narayanaswamy, Matthias Kauer, Samarjit Chakraborty:
Smart Cells for Embedded Battery Management. 59-64 - Hoon Sung Chwa, Andrii Shyshkalov, Kilho Lee, Insik Shin:
Scalable Path and Time Coordination for Robot Formation. 65-70 - Yuki Iida, Manato Hirabayashi, Takuya Azumi, Nobuhiko Nishio, Shinpei Kato:
Connected Smartphones and High-Performance Servers for Remote Object Detection. 71-76 - Hyemin Ahn, Hyunjun Kim, Yoonseon Oh, Songhwai Oh:
Smartphone-Controlled Telerobotic Systems. 77-80
Communication Networks
- Myounggyu Won, Ho-Kyeong Ra, Taejoon Park, Sang Hyuk Son:
Modeling Random Deployment in Wireless Sensor Networks for Infrastructure-less Cyber Physical Systems. 81-86 - Chi-Sheng Shih, Hsin-Yi Chen, Zi-You Yeh:
Service Recovery for Large Scale Distributed Publish and Subscription Services for Cyber-Physical Systems and Disaster Management. 87-93
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.