Table of Contents

• Availability attacks on computing systems through alteration of environmental control: smart malware approachKey-whan Chung, Zbigniew T. Kalbarczyk, Ravishankar K. Iyer. 1-12 [doi]
• Synthesizing stealthy reprogramming attacks on cardiac devicesNicola Paoletti, Zhihao Jiang, Md. Ariful Islam, Houssam Abbas, Rahul Mangharam, Shan Lin, Zachary Gruber, Scott A. Smolka. 13-22 [doi]
• TACAN: transmitter authentication through covert channels in controller area networksXuhang Ying, Giuseppe Bernieri, Mauro Conti, Radha Poovendran. 23-34 [doi]
• Preventing battery attacks on electrical vehicles based on data-driven behavior modelingLiuwang Kang, Haiying Shen. 35-46 [doi]
• HyPLC: hybrid programmable logic controller program translation for verificationLuis Garcia, Stefan Mitsch, André Platzer. 47-56 [doi]
• PGCD: robot programming and verification with geometry, concurrency, and dynamicsGregor B. Banusic, Rupak Majumdar, Marcus Pirron, Anne-Kathrin Schmuck, Damien Zufferey. 57-66 [doi]
• Programming event processors with thingflowJeffrey M. Fischer, Rupak Majumdar. 67-76 [doi]
• Optimal dynamic scheduling of wireless networked control systemsYehan Ma, Jianlin Guo, Yebin Wang, Ankush Chakrabarty, Heejin Ahn, Philip V. Orlik, Chenyang Lu. 77-86 [doi]
• Sampling rate optimization for IEEE 802.11 wireless control systemsDohwan Kim, Yuchang Won, Seunghyeon Kim, Yongsoon Eun, Kyung-Joon Park, Karl Henrik Johansson. 87-96 [doi]
• Feedback control goes wireless: guaranteed stability over low-power multi-hop networksFabian Mager, Dominik Baumann, Romain Jacob, Lothar Thiele, Sebastian Trimpe, Marco Zimmerling. 97-108 [doi]
• Age-of-information vs. value-of-information scheduling for cellular networked control systemsOnur Ayan, Mikhail Vilgelm, Markus Klügel, Sandra Hirche, Wolfgang Kellerer. 109-117 [doi]
• Managing the security-energy tradeoff in distributed cyber-physical systemsAnh-Duy Vu, Ramy Medhat, Borzoo Bonakdarpour. 118-128 [doi]
• Encrypted LQG using labeled homomorphic encryptionAndreea B. Alexandru, George J. Pappas. 129-140 [doi]
• Two-way coding in control systems under injection attacks: from attack detection to attack correctionSong Fang, Karl Henrik Johansson, Mikael Skoglund, Henrik Sandberg, Hideaki Ishii. 141-150 [doi]
• Augmenting in-situ with mobile sensing for adaptive monitoring of water distribution networksPraveen Venkateswaran, Mahima Agumbe Suresh, Nalini Venkatasubramanian. 151-162 [doi]
• Robustness evaluation of computer-aided clinical trials for medical devicesKuk Jin Jang, Yash Vardhan Pant, Bo Zhang, James Weimer, Rahul Mangharam. 163-173 [doi]
• Tagging wearable accelerometers in camera frames through information translation between vision sensors and accelerometersAli Akbari, Peiming Liu, Bobak J. Mortazavi, Roozbeh Jafari. 174-184 [doi]
• An online decision-theoretic pipeline for responder dispatchAyan Mukhopadhyay, Geoffrey Pettet, Chinmaya Samal, Abhishek Dubey, Yevgeniy Vorobeychik. 185-196 [doi]
• Localizing loads in microgrids using high-precision voltage phaseMaxim Buevich, Anthony Rowe. 197-206 [doi]
• Assessing and mitigating impact of time delay attack: a case study for power grid frequency controlXin Lou, Cuong Tran, Rui Tan, David K. Y. Yau, Zbigniew T. Kalbarczyk. 207-216 [doi]
• Modeling of energy consumption in GPS receivers for power aware localization systemsClaudio Mandrioli, Alberto Leva, Bo Bernhardsson, Martina Maggio. 217-226 [doi]
• Environment-aware estimation of battery state-of-charge for mobile devicesLiang He 0001, Youngmoon Lee, Eugene Kim, Kang G. Shin. 227-236 [doi]
• Reduced variance deep reinforcement learning with temporal logic specificationsQitong Gao, Davood Hajinezhad, Yan Zhang, Yiannis Kantaros, Michael M. Zavlanos. 237-248 [doi]
• Towards safe machine learning for CPS: infer uncertainty from training dataXiaozhe Gu, Arvind Easwaran. 249-258 [doi]
• Data-driven perception of neuron point process with unknown unknownsRuochen Yang, Gaurav Gupta, Paul Bogdan. 259-269 [doi]
• Decentralized merging control in traffic networks: a control barrier function approachWei Xiao, Calin Belta, Christos G. Cassandras. 270-279 [doi]
• Real-time distance estimation and filtering of vehicle headways for smoothing of traffic wavesRahul Bhadani, Matthew R. Bunting, Benjamin Seibold, Raphael Stern, Shumo Cui, Jonathan Sprinkle, Benedetto Piccoli, Daniel B. Work. 280-290 [doi]
• Simulation to scaled city: zero-shot policy transfer for traffic control via autonomous vehiclesKathy Jang, Eugene Vinitsky, Behdad Chalaki, Ben Remer, Logan Beaver, Andreas A. Malikopoulos, Alexandre M. Bayen. 291-300 [doi]
• Control of water distribution networks using convex approximations: WIP abstractShen Wang, Ahmad F. Taha, Nikolaos Gatsis, Marcio H. Giacomoni. 301 [doi]
• Deep intelligent network for device-free people tracking: WIP abstractYang Zhao, Ming-Ching Chang, Peter H. Tu. 302-303 [doi]
• On the need for sensor and actuator placement algorithms in nonlinear systems: WIP abstractSebastian A. Nugroho, Ahmad F. Taha. 304-305 [doi]
• Hierarchical taxi dispatch system with local coordination among micro-level components: WIP abstractSota Takashima, Naomi Kuze, Toshimitsu Ushio. 306-307 [doi]
• MATLAB/Simulink benchmark suite for ROS-based self-driving system: demo abstractShota Tokunaga, Noriyuki Ota, Yoshiharu Tange, Keita Miura, Takuya Azumi. 308-309 [doi]
• Towards approximate opacity of cyber-physical system: WIP abstractXiang Yin, Majid Zamani. 310-311 [doi]
• Consistency and synchronization for workflows in cyber-physical systems: poster abstractRonny Seiger, Uwe Aßmann. 312-313 [doi]
• Feature characterization for CPS software reuseNayreet Islam, Akramul Azim. 314-315 [doi]
• FPGA-Based amoeba-inspired SAT solver for cyber-physical systemsAnh Hoang Ngoc Nguyen, Masashi Aono, Yuko Hara-Azumi. 316-317 [doi]
• Towards an emotionally-aware smart wheelchair: poster abstractAriadna Estrada, Ian M. Mitchell. 318-319 [doi]
• A multilevel cybersecurity and safety monitor for embedded cyber-physical systems: WIP abstractSmitha Gautham, Georgios Bakirtzis, Matthew T. Leccadito, Robert H. Klenke, Carl R. Elks. 320-321 [doi]
• Interactive explanation for planning-based systems: WIP abstractEllin Zhao, Roykrong Sukkerd. 322-323 [doi]
• Contract-based hierarchical resilience framework for cyber-physical systems: demo abstractDaniel Jun Xian Ng, Arvind Easwaran, Sidharta Andalam. 324-325 [doi]
• Data-based model of metro scheduling for passenger wait-time optimization with constraints: WIP abstractMinji Kim, Hee-Jung Yoon, Sang Hyuk Son, Yongsoon Eun. 326-327 [doi]
• String stability of commercial adaptive cruise control vehicles: WIP abstractGeorge Günter, Yanbing Wang, Derek Gloudemans, Raphael Stern, Daniel B. Work, Maria Laura Delle Monache, Rahul Bhadani, Matt Bunting, Roman Lysecky, Jonathan Sprinkle, Benjamin Seibold, Benedetto Piccoli. 328-329 [doi]
• Implementation of demand response for a block of buildings for active participation in the electricity marketRamanunni P. Menon, Frédéric Amblard, Jessen Page. 330-331 [doi]
• Event stream abstraction using nfer: demo abstractSean Kauffman, Sebastian Fischmeister. 332-333 [doi]
• iAdhere: A voice interactive assistant to improve adherence to medical treatments: demo abstractSirat Samyoun, Md. Abu Sayeed Mondol, Ifat Afrin Emi, John A. Stankovic. 334-335 [doi]
• Incident management and analysis dashboard for fire departments: ICCPS demoGeoffrey Pettet, Ayan Mukhopadhyay, Chinmaya Samal, Abhishek Dubey, Yevgeniy Vorobeychik. 336-337 [doi]
• Bounding network-induced delays for time-critical services in avionic systems using measurements and network calculusHuan Yang, Liang Cheng, Xiaoguang Ma. 338-339 [doi]
• Cyber-physical systems virtual organization: Active resources: enabling reproducibility, improving accessibility, and lowering the barrier to entryStephen A. Rees, Tamás Kecskés, Patrik Meijer, Taylor T. Johnson, Katie Dey, Paulo Tabuada, Marcus Lucas. 340-341 [doi]
• A CPS toolchain for learning-based systems: demo abstractCharles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Gabor Karsai. 342-343 [doi]
• Security analysis for cits-soc using sensor data from connected vehicles: demo abstractTakafumi Harada, Keita Hasegawa, Yuichiro Dan, Tomoaki Washio, Yoshihito Oshima. 344-345 [doi]
• Pseudorange measurement outlier detection for navigation with cellular signals: WIP abstractMahdi Maaref, Joe Khalife, Zaher M. Kassas. 346-347 [doi]
• Toward multi-task support and security analyses in PLC program translation for verification: poster abstractLuis Garcia, Stefan Mitsch, André Platzer. 348-349 [doi]
• A benchmarking framework for control and optimization of smart stormwater networks: demo abstractSara P. Rimer, Abhiram Mullapudi, Sara C. Troutman, Branko Kerkez. 350-351 [doi]