Table of Contents

• Rationale and Architecture Principles for Medical Application PlatformsJohn Hatcliff, Andrew L. King, Insup Lee, Alasdair Macdonald, Anura Fernando, Michael Robkin, Eugene Y. Vasserman, Sandy Weininger, Julian M. Goldman. 3-12 [doi]
• From Offline toward Real-Time: A Hybrid Systems Model Checking and CPS Co-design Approach for Medical Device Plug-and-Play (MDPnP)Tao Li, Feng Tan, Qixin Wang, Lei Bu, Jiannong Cao, Xue Liu. 13-22 [doi]
• Implantable Pacemakers Control and Optimization via Fractional Calculus Approaches: A Cyber-Physical Systems PerspectivePaul Bogdan, Siddharth Jain, Kartikeya Goyal, Radu Marculescu. 23-32 [doi]
• Investigating Communication Infrastructure of Next Generation Air Traffic ManagementPangun Park, Claire Tomlin. 35-44 [doi]
• Cyber-Physical Challenges for Space SystemsAndrew T. Klesh, James W. Cutler, Ella M. Atkins. 45-52 [doi]
• Rhythmic Tasks: A New Task Model with Continually Varying Periods for Cyber-Physical SystemsJunsung Kim, Karthik Lakshmanan, Ragunathan Rajkumar. 55-64 [doi]
• Pattern-Based Composition and Analysis of Virtually Synchronized Real-Time Distributed SystemsAbdullah Al-Nayeem, Lui Sha, Darren D. Cofer, Steven M. Miller. 65-74 [doi]
• Fault Resilient Real-Time Design for NoC ArchitecturesChristopher Zimmer, Frank Mueller. 75-84 [doi]
• A Platform for Evaluating Autonomous Intersection Management PoliciesChien-Liang Fok, Maykel Hanna, Seth Gee, Tsz-Chiu Au, Peter Stone, Christine Julien, Sriram Vishwanath. 87-96 [doi]
• On Resource Overbooking in an Unmanned Aerial VehicleDionisio de Niz, Lutz Wrage, Nathaniel Storer, Anthony Rowe, Ragunathan Rajkumar. 97-106 [doi]
• Optimal Cross-Layer Design of Sampling Rate Adaptation and Network Scheduling for Wireless Networked Control SystemsJia Bai, Emeka Eyisi, Fan Qiu, Yuan Xue, Xenofon D. Koutsoukos. 107-116 [doi]
• Defining CPS Challenges in a Sustainable Electricity GridJay Taneja, Randy H. Katz, David E. Culler. 119-128 [doi]
• Multi-scale Integration of Physics-Based and Data-Driven Models in Power SystemsLe Xie, Yun Zhang, Marija D. Ilic. 129-137 [doi]
• Pack Sizing and Reconfiguration for Management of Large-Scale BatteriesFangjian Jin, Kang G. Shin. 138-147 [doi]
• Model-Driven Performance Analysis of Large Scale Irrigation NetworksMuhammad Umer Tariq, Hasan Arshad Nasir, Abubakr Muhammad, Marilyn Wolf. 151-160 [doi]
• Parametrized Verification of Distributed Cyber-Physical Systems: An Aircraft Landing Protocol Case StudyTaylor T. Johnson, Sayan Mitra. 161-170 [doi]
• Towards Formal Verification of Freeway Traffic ControlStefan Mitsch, Sarah M. Loos, André Platzer. 171-180 [doi]
• On False Data Injection Attacks against Distributed Energy Routing in Smart GridJie Lin, Wei Yu, Xinyu Yang, Guobin Xu, Wei Zhao. 183-192 [doi]
• Unidentifiable Attacks in Electric Power SystemsZhengrui Qin, Qun Li, Mooi Choo Chuah. 193-202 [doi]
• WiP Abstract: Packet Loss Compensation for Cyber-Physical Control SystemsRock-Hyun Choi, Sang-Cheol Lee, Dong-ha Lee, Joonhyuk Yoo. 205 [doi]
• WiP Abstract: Estimation of Electric Power Consumption of Individuals by Observing People's ActivityAtsushi Shimada, Shigeru Takano, Shigeaki Tagashira, Rin-ichiro Taniguchi, Hiroto Yasuura. 206 [doi]
• WiP Abstract: Cyber-Physical Systems for Real Time Cardiac MonitoringS. Don, Duckwon Chung, Dugki Min. 207 [doi]
• WiP Abstract: Cyber Physical Simulations for Supporting Smooth Development from All-Simulated Systems to All-Real SystemsJae-Hwa Han, Kyoung-Soo We, Chang-Gun Lee. 208 [doi]
• WiP Abstract: A Human-Centered Cyber-Physical Systematic Approach for Post-Stroke MonitoringHongan Wang, Xiaoming Deng, Feng Tian. 209 [doi]
• WiP Abstract: Message Bridging Structure Between HLA and DDS for Integrating Cyber-Physical SystemsYunjung Park, Dugki Min. 210 [doi]
• WiP Abstract: Challenges and Strategies for Exploiting Integrated Modular Avionics on Unmanned Aerial VehiclesHyun-Wook Jin, Sang-Hun Lee, Sanghyun Han, Hyun-Chul Jo, Doohyun Kim. 211 [doi]
• WiP Abstract: TCP Congestion Control Principles for Highly Available Reconfigurable Conveyor SystemsAdam Trewyn, Aniruddha S. Gokhale, Shiva Sastry, Michael S. Branicky. 212 [doi]
• WiP Abstract: Scalable Multiple Robot Control with Adaptive Trajectory PlanningHoon Sung Chwa, Andrii Shyshkalov, JinKyu Lee, Hyoungbu Back, Kilho Lee. 213 [doi]
• WiP Abstract: Virtual Network Platform for Large Scale CPS TestbedSung Won Ahn, Chuck Yoo. 214 [doi]
• WiP Abstract: From Design to Operation of a Large-Scale CPSWon-Tae Kim, Ingeol Chun, Soo-Hyung Lee, Hae Young Lee, Jin Myoung Kim. 215 [doi]
• WiP Abstract: Enabling Holistic Design of Body Sensor NetworksPhilip Asare, John Lach, John A. Stankovic. 216 [doi]
• WiP Abstract: A Closed Loop Control Architecture to Maintain Patient Normothermia during Perioperative PeriodsJesse M. Ehrenfeld, Aniruddha S. Gokhale, Xenofon D. Koutsoukos, Douglas C. Schmidt. 217 [doi]
• WiP Abstract: Supporting Coordinated Negotiation in CPS DesignXiaobo Sharon Hu, Shengyan Hong, Michael D. Lemmon. 218 [doi]
• Demo Abstract: Model-Based Testing of Implantable Cardiac DevicesShilpa Sarode, Sriram Radhakrishnan, Varun Sampath, Zhihao Jiang, Miroslav Pajic, Rahul Mangharam. 221 [doi]
• Demo Abstract: BACHOL - Modeling and Verification of Cyber-Physical Systems OnlineLei Bu, Dingbao Xie, Xin Chen, Linzhang Wang, Xuandong Li. 222 [doi]
• Demo Abstract: Towards a Wireless Building Management System with Minimum Change to the Building ProtocolsQinghua Luo, Abraham Hang-Yat Lam, Dan Wang, Daniel Wai-Tin Chan, Yu Peng, Xiyuan Peng. 223 [doi]
• Demo Abstract: An Inverted Pendulum Demonstrator for Timed Model-Based Design of Embedded SystemsKai Huang, Gang Chen, Nadine Keddis, Michael Geisinger, Christian Buckl. 224 [doi]
• Demo Abstract: Online Optimal Channel Sensing, Probing, Accessing in USRP NetworksYubo Yan, Panlong Yang, Lizhao You, Bowen Li. 225 [doi]
• Demo Abstract: Monitoring Wide-Area Nature Reserves Based on Long-Distance Wireless Mesh NetworksZenghua Zhao, Ziwei Liu, Junjiao Ye, Hao Li. 226 [doi]
• Poster Abstract: State Estimation and Sensor Fusion for Autonomous Driving in Mixed-Traffic Urban EnvironmentsEmrah Adamey, Yuksel Ozan Basciftci, Peng Gong, Arda Kurt, Füsun Özgüner, Ümit Özgüner. 229 [doi]
• Poster Abstract: Hierarchical Hybrid-State Systems for Coordinated Autonomous Driving in Mixed-Traffic Urban EnvironmentsArda Kurt, Scott Biddlestone, Keith Redmill, Ümit Özgüner. 230 [doi]
• Poster Abstract: Smartphone Heterogeneous Network Handoff Based on the Closed Control LoopQiang Li, Weijun Qin, Liqun Li, Limin Sun. 231 [doi]
• Poster Abstract: Methods and Tools for Verification of Cyber-Physical SystemsChris J. Myers, Jian Wu, Zhen Zhang, Hao Zheng 0001, Yingying Zhang. 232 [doi]
• Poster Abstract: Mobile Application Partitioning for Improving Energy EfficientJianwei Niu, Yuhang Gao, Ruifang Niu. 233 [doi]
• Poster Abstract: Getting Out of the Way - Safety Verification without CompromiseTheodore P. Pavlic, Sai Prathyusha Peddi, Paolo A. G. Sivilotti, Bruce W. Weide. 234 [doi]
• Poster Abstract: Involving a Sensor Network System in Core Datacenter Management FunctionsShuo Yang, Ke Hong, Lin Gu. 235 [doi]
• Poster Abstract: Design of Modified Observer to Reduce State Estimation Error Caused by Job Skipping in Cyber-Physical SystemsTatsuya Yoshimoto, Toshimitsu Ushio. 236 [doi]
• Poster Abstract: Numerical Analysis of WSN Protocol Using Probabilistic Timed AutomataFengling Zhang, Lei Bu, Linzhang Wang, Jianhua Zhao, Xuandong Li. 237 [doi]
• Poster Abstract: Smart Phone Lift for Improving Energy Efficiency and User Comfort in Green BuildingsHao Zhang, Niantong Zhang, Zhe He, Chun Jason Xue. 238 [doi]
• Poster Abstract: GasMon: A Sensor Network System for Residential Building Gas Leak MonitoringZenghua Zhao, Song Zhang, Xuanxuan Wu. 239 [doi]
• Poster Abstract: Exploiting Virtually Constant Property for Time-Varying Delay CompensationYifan Zhou, Hiecheol Kim, Joonhyuk Yoo. 240 [doi]