Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6. 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
a service of 
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.
last updated on 2024-04-30 21:05 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
