default search action
6. ICCPS 2015: Seattle, WA, USA
- Alexandre M. Bayen, Michael S. Branicky:
Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, ICCPS 2015, Seattle, WA, USA, April 14-16, 2015. ACM 2015, ISBN 978-1-4503-3455-6
High confidence networked systems
- Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic, Insup Lee:
Sensor attack detection in the presence of transient faults. 1-10 - Tamara Bonaci, Junjie Yan, Jeffrey Herron, Tadayoshi Kohno, Howard Jay Chizeck:
Experimental analysis of denial-of-service attacks on teleoperated robotic systems. 11-20 - Jackeline Abad Torres, Dinuka Sahabandu, Rahul Dhal, Sandip Roy:
Local open- and closed-loop manipulation of multi-agent networks. 21-30
Fault detection
- Xiaodong Zhang, Matthew A. Clark, Kuldip S. Rattan, Jonathan Muse:
Controller verification in adaptive learning systems towards trusted autonomy. 31-40 - Kyong-Tak Cho, Kang G. Shin, Taejoon Park:
CPS approach to checking norm operation of a brake-by-wire system. 41-50 - Elaheh Noursadeghi, Ioannis A. Raptis:
Distributed fault detection of nonlinear large-scale dynamic systems. 51-59
Human interaction
- Yunlong Gao, Shaohan Hu, Renato Mancuso, Hongwei Wang, Minje Kim, Po-Liang Wu, Lu Su, Lui Sha, Tarek F. Abdelzaher:
Exploiting structured human interactions to enhance estimation accuracy in cyber-physical systems. 60-69 - Lu Feng, Clemens Wiltsche, Laura R. Humphrey, Ufuk Topcu:
Controller synthesis for autonomous systems interacting with human operators. 70-79 - Nisar R. Ahmed, Mark E. Campbell, David W. Casbeer, Yongcan Cao, Derek B. Kingston:
Fully bayesian learning and spatial reasoning with flexible human sensor networks. 80-89 - Ming Jin, Lillian J. Ratliff, Ioannis C. Konstantakopoulos, Costas J. Spanos, Shankar Sastry:
REST: a reliable estimation of stopping time algorithm for social game experiments. 90-99
Best paper nominees
- Fei Miao, Shan Lin, Sirajum Munir, John A. Stankovic, Hua Huang, Desheng Zhang, Tian He, George J. Pappas:
Taxi dispatch with real-time sensing data in metropolitan areas: a receding horizon control approach. 100-109 - Radoslav Ivanov, James Weimer, Allan F. Simpao, Mohamed A. Rehman, Insup Lee:
Early detection of critical pulmonary shunts in infants. 110-119 - Alessandro Biondi, Marco Di Natale, Giorgio C. Buttazzo:
Response-time analysis for real-time tasks in engine control applications. 120-129
Control, sensing and scheduling
- Huihua Zhao, Jake Reher, Jonathan Horn, Victor Paredes, Aaron D. Ames:
Realization of nonlinear real-time optimization based controllers on self-contained transfemoral prosthesis. 130-138 - Kun Zhang, Jonathan Sprinkle, Ricardo G. Sanfelice:
A hybrid model predictive controller for path planning and path following. 139-148 - Oliver Shih, Anthony Rowe:
Occupancy estimation using ultrasonic chirps. 149-158 - Zhishan Guo, Sanjoy K. Baruah:
Uniprocessor EDF scheduling of AVR task systems. 159-168
Smart energy
- Liang He, Yu Gu, Ting Zhu, Cong Liu, Kang G. Shin:
SHARE: SoH-aware reconfiguration to enhance deliverable capacity of large-scale battery packs. 169-178 - Zhichuan Huang, David Corrigan, Ting Zhu, Hongyao Luo, Xiaoxiong Zhan, Yu Gu:
Exploring power-voltage relationship for distributed peak demand flattening in microgrids. 179-188 - Mischa Schmidt, Alberto Venturi, Anett Schülke, Roman Kurpatov:
The energy efficiency problematics in sports facilities: identifying savings in daily grass heating operation. 189-197
Software tools
- Peng Deng, Fabio Cremona, Qi Zhu, Marco Di Natale, Haibo Zeng:
A model-based synthesis flow for automotive CPS. 198-207 - Taylor T. Johnson, Stanley Bak, Steven Drager:
Cyber-physical specification mismatch identification with dynamic analysis. 208-217 - Bo Li, Lanshun Nie, Chengjie Wu, Humberto González, Chenyang Lu:
Incorporating emergency alarms in reliable wireless process control. 218-227
Transportation CPS
- Yaser P. Fallah, Masoumeh Kalantari Khandani:
Analysis of the coupling of communication network and safety application in cooperative collision warning systems. 228-237 - Desheng Zhang, Juanjuan Zhao, Fan Zhang, Tian He:
UrbanCPS: a cyber-physical system based on multi-source big infrastructure data for heterogeneous model integration. 238-247
Demos and posters
- Korosh Vatanparvar, Mohammad Abdullah Al Faruque:
Energy management as a service over fog computing platform. 248-249 - Federico Terraneo, Alberto Leva, Maria Prandini:
A switched control scheme to handle quantisation in the design of high-precision computing system components. 250-251 - Abdulmalik Humayed, Bo Luo:
Cyber-physical security for smart cars: taxonomy of vulnerabilities, threats, and attacks. 252-253
Work-in-progress
- Takashi Shigekuni, Toshimitsu Ushio, Takuya Azumi:
Cloud-assisted sensing and supervision of multiple unmanned aerial vehicles by a single operator. 254 - Zhijian He, Shuai Li, Zhaoyan Shen, Muhammad Umer Khan, Zili Shao, Qixin Wang:
A quadcopter swarm for active monitoring of smog propagation. 255 - Jinkyu Lee:
Charge scheduling for large-scale battery management systems. 256 - Yi Yuan, Cheng Fan, Dan Wang, Linda Fu Xiao:
Developing associations between building occupancy and traffic congestion. 257 - Jian Xu, Vasiliki Sfyrla, Krishna K. Venkatasubramanian:
Methodology for generating attack trees for interoperable medical devices. 258
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.