Abstract is missing.
- Sensor attack detection in the presence of transient faultsJunkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic, Insup Lee. 1-10 [doi]
- Experimental analysis of denial-of-service attacks on teleoperated robotic systemsTamara Bonaci, Junjie Yan, Jeffrey Herron, Tadayoshi Kohno, Howard Jay Chizeck. 11-20 [doi]
- Local open- and closed-loop manipulation of multi-agent networksJackeline Abad Torres, Dinuka Sahabandu, Rahul Dhal, Sandip Roy. 21-30 [doi]
- Controller verification in adaptive learning systems towards trusted autonomyXiaodong Zhang, Matthew A. Clark, Kuldip S. Rattan, Jonathan Muse. 31-40 [doi]
- CPS approach to checking norm operation of a brake-by-wire systemKyong-Tak Cho, Kang G. Shin, Taejoon Park. 41-50 [doi]
- Distributed fault detection of nonlinear large-scale dynamic systemsElaheh Noursadeghi, Ioannis Raptis. 51-59 [doi]
- Exploiting structured human interactions to enhance estimation accuracy in cyber-physical systemsYunlong Gao, Shaohan Hu, Renato Mancuso, Hongwei Wang, Minje Kim, Po-Liang Wu, Lu Su, Lui Sha, Tarek F. Abdelzaher. 60-69 [doi]
- Controller synthesis for autonomous systems interacting with human operatorsLu Feng, Clemens Wiltsche, Laura Humphrey, Ufuk Topcu. 70-79 [doi]
- Fully bayesian learning and spatial reasoning with flexible human sensor networksNisar R. Ahmed, Mark E. Campbell, David W. Casbeer, Yongcan Cao, Derek B. Kingston. 80-89 [doi]
- REST: a reliable estimation of stopping time algorithm for social game experimentsMing Jin, Lillian J. Ratliff, Ioannis C. Konstantakopoulos, Costas J. Spanos, S. Shankar Sastry. 90-99 [doi]
- Taxi dispatch with real-time sensing data in metropolitan areas: a receding horizon control approachFei Miao, Shan Lin, Sirajum Munir, John A. Stankovic, Hua Huang, Desheng Zhang, Tian He, George J. Pappas. 100-109 [doi]
- Early detection of critical pulmonary shunts in infantsRadoslav Ivanov, James Weimer, Allan F. Simpao, Mohamed A. Rehman, Insup Lee. 110-119 [doi]
- Response-time analysis for real-time tasks in engine control applicationsAlessandro Biondi, Marco Di Natale, Giorgio C. Buttazzo. 120-129 [doi]
- Realization of nonlinear real-time optimization based controllers on self-contained transfemoral prosthesisHuihua Zhao, Jake Reher, Jonathan Horn, Victor Paredes, Aaron D. Ames. 130-138 [doi]
- A hybrid model predictive controller for path planning and path followingKun Zhang, Jonathan Sprinkle, Ricardo G. Sanfelice. 139-148 [doi]
- Occupancy estimation using ultrasonic chirpsOliver Shih, Anthony Rowe. 149-158 [doi]
- Uniprocessor EDF scheduling of AVR task systemsZhishan Guo, Sanjoy K. Baruah. 159-168 [doi]
- SHARE: SoH-aware reconfiguration to enhance deliverable capacity of large-scale battery packsLiang He, Yu Gu 0001, Ting Zhu, Cong Liu, Kang G. Shin. 169-178 [doi]
- Exploring power-voltage relationship for distributed peak demand flattening in microgridsZhichuan Huang, David Corrigan, Ting Zhu, Hongyao Luo, Xiaoxiong Zhan, Yu Gu 0001. 179-188 [doi]
- The energy efficiency problematics in sports facilities: identifying savings in daily grass heating operationMischa Schmidt, Alberto Venturi, Anett Schülke, Roman Kurpatov. 189-197 [doi]
- A model-based synthesis flow for automotive CPSPeng Deng, Fabio Cremona, Qi Zhu, Marco Di Natale, Haibo Zeng. 198-207 [doi]
- Cyber-physical specification mismatch identification with dynamic analysisTaylor T. Johnson, Stanley Bak, Steven Drager. 208-217 [doi]
- Incorporating emergency alarms in reliable wireless process controlBo Li, Lanshun Nie, Chengjie Wu, Humberto Gonzalez, Chenyang Lu. 218-227 [doi]
- Analysis of the coupling of communication network and safety application in cooperative collision warning systemsYaser P. Fallah, Masoumeh Kalantari Khandani. 228-237 [doi]
- UrbanCPS: a cyber-physical system based on multi-source big infrastructure data for heterogeneous model integrationDesheng Zhang, Juanjuan Zhao, Fan Zhang, Tian He. 238-247 [doi]
- Energy management as a service over fog computing platformKorosh Vatanparvar, Mohammad Abdullah Al Faruque. 248-249 [doi]
- A switched control scheme to handle quantisation in the design of high-precision computing system componentsFederico Terraneo, Alberto Leva, Maria Prandini. 250-251 [doi]
- Cyber-physical security for smart cars: taxonomy of vulnerabilities, threats, and attacksAbdulmalik Humayed, Bo Luo. 252-253 [doi]
- Cloud-assisted sensing and supervision of multiple unmanned aerial vehicles by a single operatorTakashi Shigekuni, Toshimitsu Ushio, Takuya Azumi. 254 [doi]
- A quadcopter swarm for active monitoring of smog propagationZhijian He, Shuai Li, Zhaoyan Shen, Muhammad Umer Khan, Zili Shao, Qixin Wang. 255 [doi]
- Charge scheduling for large-scale battery management systemsJinKyu Lee. 256 [doi]
- Developing associations between building occupancy and traffic congestionYi Yuan, Cheng Fan, Dan Wang, Linda Fu Xiao. 257 [doi]
- Methodology for generating attack trees for interoperable medical devicesJian Xu, Vasiliki Syfrla, Krishna K. Venkatasubramanian. 258 [doi]