Table of Contents

• SAT-based synthesis of spoofing attacks in cyber-physical control systemsOmar Inverso, Alberto Bemporad, Mirco Tribastone. 1-9 [doi]
• Guaranteed physical security with restart-based design for cyber-physical systemsFardin Abdi, Chien-Ying Chen, Monowar Hasan, Songran Liu, Sibin Mohan, Marco Caccamo. 10-21 [doi]
• Cyber-physical system checkpointing and recoveryFanxin Kong, Meng Xu, James Weimer, Oleg Sokolsky, Insup Lee. 22-31 [doi]
• Cloaking the clock: emulating clock skew in controller area networksSang Uk Sagong, Xuhang Ying, Andrew Clark, Linda Bushnell, Radha Poovendran. 32-42 [doi]
• Sybil attack resilient traffic networks: a physics-based trust propagation approachYasser Shoukry, Shaunak Mishra, Zutian Luo, Suhas N. Diggavi. 43-54 [doi]
• Cityresolver: a decision support system for conflict resolution in smart citiesMeiyi Ma, John A. Stankovic, Lu Feng. 55-64 [doi]
• Dynamic integration of heterogeneous transportation modes under disruptive eventsYukun Yuan, Desheng Zhang, Fei Miao, John A. Stankovic, Tian He, George J. Pappas, Shan Lin. 65-76 [doi]
• Impact driven sensor placement for leak detection in community water networksPraveen Venkateswaran, Qing Han, Ronald T. Eguchi, Nalini Venkatasubramanian. 77-87 [doi]
• SDCworks: a formal framework for software defined control of smart manufacturing systemsMatthew Potok, Chien-Ying Chen, Sayan Mitra, Sibin Mohan. 88-97 [doi]
• Towards a framework for realizable safety critical control through active set invarianceThomas Gurriet, Andrew Singletary, Jacob Reher, Laurent Ciarletta, Eric Feron, Aaron D. Ames. 98-106 [doi]
• Ordering events based on intentionality in cyber-physical systemsWajeb Saab, Maaz Mohiuddin, Simon Bliudze, Jean-Yves Le Boudec. 107-118 [doi]
• Co-regulation of computational and physical effectors in a quadrotor unmanned aircraft systemXinkai Zhang, Seth Doebbeling, Justin Bradley. 119-129 [doi]
• OpenUAV: a UAV testbed for the CPS and robotics communityMatt Schmittle, Anna Lukina, Lukas Vacek, Jnaneshwar Das, Christopher P. van Buskirk, Stephen Rees, Janos Sztipanovits, Radu Grosu, Vijay Kumar 0001. 130-139 [doi]
• Learning and control using gaussian processes: towards bridging machine learning and controls for physical systemsAchin Jain, Truong X. Nghiem, Manfred Morari, Rahul Mangharam. 140-149 [doi]
• Efficient verification for stochastic mixed monotone systemsMaxence Dutreix, Samuel Coogan. 150-161 [doi]
• Distributed optimal control synthesis for multi-robot systems under global temporal tasksYiannis Kantaros, Michael M. Zavlanos. 162-173 [doi]
• Rhocop: receding horizon multi-robot coverageSankar Narayan Das, Indranil Saha. 174-185 [doi]
• Fly-by-logic: control of multi-drone fleets with temporal logic objectivesYash Vardhan Pant, Houssam Abbas, Rhudii A. Quaye, Rahul Mangharam. 186-197 [doi]
• The impact of packet dropouts on the reachability energyA. Sanand Amita Dilip, Nikolaos Athanasopoulos, Raphaël M. Jungers. 198-207 [doi]
• Sound mixed-precision optimization with rewritingEva Darulova, Einar Horn, Saksham Sharma. 208-219 [doi]
• Parameter optimization in control software using statistical fault localization techniquesJyotirmoy V. Deshmukh, Xiaoqing Jin, Rupak Majumdar, Vinayak S. Prabhu. 220-231 [doi]
• Context-aware detection in medical cyber-physical systemsRadoslav Ivanov, James Weimer, Insup Lee. 232-241 [doi]
• A data-driven approach to artificial pancreas verification and synthesisTaisa Kushner, David Bortz, David M. Maahs, Sriram Sankaranarayanan. 242-252 [doi]
• Model and integrate medical resource available times and relationships in verifiably correct executable medical best practice guideline modelsChunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha. 253-262 [doi]
• Platform for model-based design and testing for deep brain stimulationIlija Jovanov, Michael Naumann, Karthik Kumaravelu, Warren M. Grill, Miroslav Pajic. 263-274 [doi]
• Re-thinking EEG-based non-invasive brain interfaces: modeling and analysisGaurav Gupta, Sergio Daniel Pequito, Paul Bogdan. 275-286 [doi]
• Autoware on board: enabling autonomous vehicles with embedded systemsShinpei Kato, Shota Tokunaga, Yuya Maruyama, Seiya Maeda, Manato Hirabayashi, Yuki Kitsukawa, Abraham Monrroy, Tomohito Ando, Yusuke Fujii, Takuya Azumi. 287-296 [doi]
• Optimal input design for affine model discrimination with applications in intention-aware vehiclesYuhao Ding, Farshad Harirchi, Sze Zheng Yong, Emil Jacobsen, Necmiye Ozay. 297-307 [doi]
• Codrive: cooperative driving scheme for vehicles in urban signalized intersectionsYiran Zhao, Shuochao Yao, Huajie Shao, Tarek F. Abdelzaher. 308-319 [doi]
• Dynamic intersections and self-driving vehiclesShunsuke Aoki, Ragunathan Raj Rajkumar. 320-330 [doi]
• Cooperative key generation for data dissemination in cyber-physical systemsKai Li 0002, Harrison Kurunathan, Ricardo Severino, Eduardo Tovar. 331-332 [doi]
• Underwater AUV localization with refraction consideration: WiP abstractJiajun Shen, Xueli Fan, Qixin Wang. 333-334 [doi]
• Towards a green and secure architecture for reconfigurable IoT end-devicesDaniel Oliveira, Tiago Gomes, Sandro Pinto. 335-336 [doi]
• Soh aware battery management optimization on decentralized energy networkDaichi Watari, Ittetsu Taniguchi, Takao Onoye. 337-338 [doi]
• KRS-DGIST: a resilient CPS testbed for radio-based train control: WiP abstractYuchang Won, Buyeon Yu, Jaegeun Park, In-Hee Park, Haegeon Jeong, Jeanseong Baik, Kyungtae Kang, Insup Lee, Kyung-Joon Park, Yongsoon Eun. 339-340 [doi]
• ROS-based support system for supervision of multiple UAVs by a single operatorHiroki Hayakawa, Takuya Azumi, Akinori Sakaguchi, Toshimitsu Ushio. 341-342 [doi]
• An industrial control system testbed for the encrypted controller: demo abstractXing Li, Mengxiang Liu, Rui Zhang, Peng Cheng, Jiming Chen. 343-344 [doi]
• Secure kalman filter state estimation by partially homomorphic encryptionZhenyong Zhang, Junfeng Wu, David Yau, Peng Cheng, Jiming Chen. 345-346 [doi]
• Towards a cognitive assistant system for emergency responseSarah Masud Preum, Sile Shu, Jonathan Ting, Vincent Lin, Ronald Williams, John A. Stankovic, Homa Alemzadeh. 347-348 [doi]
• Learning-based control design for deep brain stimulationIlija Jovanov, Michael Naumann, Karthik Kumaravelu, Vuk Lesi, Aditya Zutshi 0001, Warren M. Grill, Miroslav Pajic. 349-350 [doi]
• Predicting malicious intention in CPS under cyber-attackNicola Bezzo. 351-352 [doi]
• Formation control and persistent monitoring in the openUAV swarm simulator on the NSF CPS-VOAnna Lukina, Arjun Kumar, Matt Schmittle, Abhijeet Singh, Jnaneshwar Das, Stephen Rees, Christopher P. van Buskirk, Janos Sztipanovits, Radu Grosu, Vijay Kumar 0001. 353-354 [doi]