Abstract is missing.
- Reliable intersection protocols using vehicular networksSeyed (Reza) Azimi, Gaurav Bhatia, Ragunathan Rajkumar, Priyantha Mudalige. 1-10 [doi]
- Real-time prediction of battery power requirements for electric vehiclesEugene Kim, JinKyu Lee, Kang G. Shin. 11-20 [doi]
- Energy efficient navigation management for hybrid electric vehicles on highwaysMohammad Ashiqur Rahman, Qi Duan, Ehab Al-Shaer. 21-30 [doi]
- Parallel scheduling for cyber-physical systems: analysis and case study on a self-driving carJunsung Kim, Hyoseung Kim, Karthik Lakshmanan, Ragunathan Rajkumar. 31-40 [doi]
- L1Simplex: fault-tolerant control of cyber-physical systemsXiaofeng Wang, Naira Hovakimyan, Lui Sha. 41-50 [doi]
- Collision free autonomous ground traffic: a model predictive control approachKyoung-Dae Kim. 51-60 [doi]
- Co-design of control algorithm and embedded platform for building HVAC systemsMehdi Maasoumy, Qi Zhu, Cheng Li, Forrest Meggers, Alberto L. Sangiovanni-Vincentelli. 61-70 [doi]
- Spatio-temporal hybrid automata for safe cyber-physical systems: a medical case studyAyan Banerjee, Sandeep K. S. Gupta. 71-80 [doi]
- Low power programmable architecture for periodic activity monitoringMohammad-Mahdi Bidmeshki, Roozbeh Jafari. 81-88 [doi]
- A low complexity coordination architecture for networked supervisory medical systemsPo-Liang Wu, Woochul Kang, Abdullah Al-Nayeem, Lui Sha, Richard B. Berlin Jr., Julian M. Goldman. 89-98 [doi]
- Context-sensitive synthesis of executable functional models of cyber-physical systemsArquimedes Canedo, Eric Schwarzenbach, Mohammad Abdullah Al Faruque. 99-108 [doi]
- Cyber-physical system design contractsPatricia Derler, Edward A. Lee, Stavros Tripakis, Martin Törngren. 109-118 [doi]
- Co-simulation framework for design of time-triggered cyber physical systemsZhenkai Zhang, Joseph Porter, Emeka Eyisi, Gabor Karsai, Xenofon D. Koutsoukos, Janos Sztipanovits. 119-128 [doi]
- Co-design of control and platform with dropped signalsDamoon Soudbakhsh, Linh T. X. Phan, Oleg Sokolsky, Insup Lee, Anuradha Annaswamy. 129-140 [doi]
- Combating time synchronization attack: a cross layer defense mechanismZhenghao Zhang, Matthew Trinkle, Husheng Li, Aleksandar D. Dimitrovski. 141-149 [doi]
- FSTPA-I: a formal approach to hazard identification via system theoretic process analysisPhilip Asare, John Lach, John A. Stankovic. 150-159 [doi]
- On authentication in a connected vehicle: secure integration of mobile devices with vehicular networksKyusuk Han, Swapna Divya Potluri, Kang G. Shin. 160-169 [doi]
- Zero-copy I/O processing for low-latency GPU computingShinpei Kato, Jason Aumiller, Scott Brandt. 170-178 [doi]
- Realistic case studies of wireless structural controlBo Li, Zhuoxiong Sun, Kirill Mechitov, Gregory Hackmann, Chenyang Lu, Shirley Dyke, Gul Agha, Billie F. Spencer. 179-188 [doi]
- Architecture of a cyberphysical avatarSong Han, Aloysius K. Mok, Jianyong Meng, Yi-Hung Wei, Pei-Chi Huang, Quan Leng, Xiuming Zhu, Luis Sentis, Kwan-Suk Kim, Risto Miikkulainen. 189-198 [doi]
- BigActors: a model for structure-aware computationEloi Pereira, Christoph M. Kirsch, João Borges de Sousa, Raja Sengupta. 199-208 [doi]
- RoomZoner: occupancy-based room-level zoning of a centralized HVAC systemTamim I. Sookoor, Kamin Whitehouse. 209-218 [doi]
- Sharing renewable energy in smart microgridsTing Zhu, Zhichuan Huang, Ankur Sharma, Jikui Su, David E. Irwin, Aditya Kumar Mishra, Daniel S. Menasché, Prashant J. Shenoy. 219-228 [doi]
- A magnetic field-based appliance metering systemNiranjini Rajagopal, Suman Giri, Mario Berges, Anthony Rowe. 229-238 [doi]
- Multicast authentication in the smart grid with one-time signatures from sigma-protocolsRaj S. Katti, Rucha Sule, Rajesh G. Kavasseri. 239 [doi]
- Stability of a cyber-physical smart grid system using cooperating invariantsAshish Choudhari, Harini Ramaprasad, Tamal Paul, Jonathan W. Kimball, Maciej J. Zawodniok, Bruce M. McMillin, Sriram Chellappan. 240 [doi]
- Intelligent power- and performance-aware tradeoffs for multicore servers in cloud data centersFaruk Caglar, Shashank Shekhar, Kyoungho An, Aniruddha S. Gokhale. 241 [doi]
- Impact of position inaccuracy on V2V intersection protocolsSeyed (Reza) Azimi, Gaurav Bhatia, Ragunathan Rajkumar, Priyantha Mudalige. 242 [doi]
- Possibility of power system blackout predictionBei Gou, Weibiao Wu. 243 [doi]
- Coordinated autonomous driving with 100 connected vehiclesArda Kurt, Keith Redmill, Ümit Özgüner. 244 [doi]
- An efficient and easilly reconfigurable cyber-physical simulatorKyoung-Soo We, Jong Chan Kim, Yuyeon Oh, Sangmin Jeong, Chang-Gun Lee. 245 [doi]
- Platform dependent code generation of real-time embedded softwareBaekGyu Kim, Insup Lee, Linh T. X. Phan, Oleg Sokolsky. 246 [doi]
- Hexacopters for everyone: online access to advanced robotics platforms for your researchPeiyi Chen, Thomas Reidemeister, Sebastian Fischmeister, Yassir Rizwan, Steven Waslander. 247 [doi]
- Atacama: an open research platform for mixed-criticality communication in ethernetGonzalo Carvajal, Sebastian Fischmeister. 248 [doi]
- A cryptographic scheme for real-world wireless sensor networks applicationsStefano Marchesani, Luigi Pomante, Fortunato Santucci, Marco Pugliese. 249 [doi]
- Cyber-physical tactile imaging system for malignant tumor identificationFirdous Saleheen, Vira Oleksyuk, Chang-Hee Won. 250 [doi]
- Synthesis of platform-aware attack-resilient vehicular systemsMiroslav Pajic, Nathan Michael, Nicola Bezzo, James Weimer, Oleg Sokolsky, George J. Pappas, Paulo Tabuada, Insup Lee. 251 [doi]
- Formal analysis of Fresenius infusion pump (FIP)Vasiliki Sfyrla, Sébastien Marcoux, Claude Vittoria. 253 [doi]
- A game theoretic approach to controller design for cyber-physical systems: collision avoidanceJaeyong Park, Arda Kurt, Ümit Özgüner. 254 [doi]
- PRK-based scheduling for predictable link reliability in wireless networked sensing and controlHongwei Zhang, Xiaohui Liu, Chuan Li, Yu Chen, Xin Che, Feng Lin, Le Yi Wang, Gang George Yin. 255 [doi]
- Real-time adaptive signaling for isolated intersectionsSai Prathyusha Peddi. 256 [doi]
- Low-complexity multicarrier physical layer for wireless real-time control networksPéter Horváth, Mark Yampolskiy, Yuan Xue, Xenofon D. Koutsoukos. 257 [doi]
- Physical stigmergy for decentralized constrained optimization: an intelligent lighting exampleTheodore P. Pavlic. 258 [doi]
- Finding abnormal data in vehicular cyber physical systemsWenjia Li, Lindah Kotut. 259 [doi]
- A model for analyzing data freshness of periodic real-time communicationSang-Hun Lee, Hyun-Wook Jin. 260 [doi]
- Speaker localization and cancellation for improving social attentionXi Wang, Weidong Shi, Omprakash Gnawali, Katherine A. Loveland. 261 [doi]