1. Home
  2. Proceedings
  3. ICCPS
  4. ICCPS 2013
Default Cover Image

2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)

April 8 2013 to April 11 2013

Philadelphia, PA, USA

Table of Contents

Table of contentsFreely available from IEEE.pp. i-xiii
Reliable intersection protocols using vehicular networksFull-text access may be available. Sign in or learn about subscription options.pp. 1-10
by Seyed Azimi, Gaurav Bhatia, Ragunathan Rajkumar, Priyantha Mudalige
Real-time prediction of battery power requirements for electric vehiclesFull-text access may be available. Sign in or learn about subscription options.pp. 11-20
by Eugene Kim, Jinkyu Lee, Kang G. Shin
Energy efficient navigation management for hybrid electric vehicles on highwaysFull-text access may be available. Sign in or learn about subscription options.pp. 21-30
by Mohammad Ashiqur Rahman, Qi Duan, Ehab Al-Shaer
Parallel scheduling for cyber-physical systems: Analysis and case study on a self-driving carFull-text access may be available. Sign in or learn about subscription options.pp. 31-40
by Junsung Kim, Hyoseung Kim, Karthik Lakshmanan, Ragunathan Rajkumar
L1Simplex: Fault-tolerant control of cyber-physical systemsFull-text access may be available. Sign in or learn about subscription options.pp. 41-50
by Xiaofeng Wang, Naira Hovakimyan, Lui Sha
Collision free autonomous ground traffic: A model predictive control approachFull-text access may be available. Sign in or learn about subscription options.pp. 51-60
by Kyoung-Dae Kim
Co-design of control algorithm and embedded platform for building HVAC systemsFull-text access may be available. Sign in or learn about subscription options.pp. 61-70
by Mehdi Maasoumy, Qi Zhu, Cheng Li, Forrest Meggers, Alberto Vincentelli
Spatio-temporal hybrid automata for safe cyber-physical systems: A medical case studyFull-text access may be available. Sign in or learn about subscription options.pp. 71-80
by Ayan Banerjee, Sandeep K. S. Gupta
Low power programmable architecture for periodic activity monitoringFull-text access may be available. Sign in or learn about subscription options.pp. 81-88
by Mohammad-Mahdi Bidmeshki, Roozbeh Jafari
A low complexity coordination architecture for networked supervisory medical systemsFull-text access may be available. Sign in or learn about subscription options.pp. 89-98
by Po-Liang Wu, Woochul Kang, Abdullah Al-Nayeem, Lui Sha, Richard B. Berlin Jr., Julian M. Goldman
Context-sensitive synthesis of executable functional models of cyber-physical systemsFull-text access may be available. Sign in or learn about subscription options.pp. 99-108
by Arquimedes Canedo, Eric Schwarzenbach, Mohammad Abdullah Al Faruque
Cyber-physical system design contractsFull-text access may be available. Sign in or learn about subscription options.pp. 109-118
by Patricia Derler, Edward A. Lee, Martin Torngren, Stavros Tripakis
Co-simulation framework for design of time-triggered cyber physical systemsFull-text access may be available. Sign in or learn about subscription options.pp. 119-128
by Zhenkai Zhang, Emeka Eyisi, Xenofon Koutsoukos, Joseph Porter, Gabor Karsai, Janos Sztipanovits
Co-design of control and platform with dropped signalsFull-text access may be available. Sign in or learn about subscription options.pp. 129-140
by Damoon Soudbakhsh, Linh T. X. Phan, Oleg Sokolsky, Insup Lee, Anuradha Annaswamy
Combating time synchronization attack: A cross layer defense mechanismFull-text access may be available. Sign in or learn about subscription options.pp. 141-149
by Zhenghao Zhang, Matthew Trinkle, Aleksandar D. Dimitrovski, Husheng Li
FSTPA-I: A formal approach to hazard identification via system theoretic process analysisFull-text access may be available. Sign in or learn about subscription options.pp. 150-159
by Philip Asare, John Lach, John A. Stankovic
On authentication in a connected vehicle: Secure integration of mobile devices with vehicular networksFull-text access may be available. Sign in or learn about subscription options.pp. 160-169
by Kyusuk Han, Swapna Divya Potluri, Kang G. Shin
Zero-copy I/O processing for low-latency GPU computingFull-text access may be available. Sign in or learn about subscription options.pp. 170-178
by Shinpei Kato, Jason Aumiller, Scott Brandt
Realistic case studies of wireless structural controlFull-text access may be available. Sign in or learn about subscription options.pp. 179-188
by Bo Li, Zhuoxiong Sun, Kirill Mechitov, Gregory Hackmann, Chenyang Lu, Shirley J. Dyke, Gul Agha, Billie F. Spencer
Architecture of a cyberphysical avatarFull-text access may be available. Sign in or learn about subscription options.pp. 189-198
by Song Han, Aloysius K. Mok, Jianyong Meng, Yi-Hung Wei, Pei-Chi Huang, Quan Leng, Xiuming Zhu, Luis Sentis, Kwan Suk Kim, Risto Miikkulainen
Bigactors — A model for structure-aware computationFull-text access may be available. Sign in or learn about subscription options.pp. 199-208
by Eloi Pereira, Christoph M. Kirsch, Raja Sengupta, Joao Borges de Sousa
Roomzoner: Occupancy-based room-level zoning of a centralized HVAC systemFull-text access may be available. Sign in or learn about subscription options.pp. 209-218
by Tamim Sookoor, Kamin Whitehouse
Sharing renewable energy in smart microgridsFull-text access may be available. Sign in or learn about subscription options.pp. 219-228
by Ting Zhu, Zhichuan Huang, Ankur Sharma, Jikui Su, David Irwin, Aditya Mishra, Daniel Menasche, Prashant Shenoy
A magnetic field-based appliance metering systemFull-text access may be available. Sign in or learn about subscription options.pp. 229-238
by Niraniini Rajagopal, Suman Giri, Mario Berges, Anthony Rowe
WiP abstract: Multicast authentication in the smart grid with one-time signatures from sigma-protocolsFull-text access may be available. Sign in or learn about subscription options.pp. 239-239
by Raj S. Katti, Rucha Sule, Rajesh G. Kavasseri
WiP abstract: Stability of a cyber-physical smart grid system using cooperating invariantsFull-text access may be available. Sign in or learn about subscription options.pp. 240-240
by Ashish Choudhari, Harini Ramaprasad, Tamal Paul, Jonathan W. Kimball, Maciej Zawodniok, Bruce McMillin, Sriram Chellappan
WiP abstract: Intelligent power- and performance-aware tradeoffs for multicore servers in cloud data centersFull-text access may be available. Sign in or learn about subscription options.pp. 241-241
by Faruk Caglar, Shashank Shekhar, Kyoungho An, Aniruddha Gokhale
WiP abstract: Impact of position inaccuracy on V2V intersection protocolsFull-text access may be available. Sign in or learn about subscription options.pp. 242-242
by Seyed Azimi, Gaurav Bhatia, Ragunathan Rajkumar, Priyantha Mudalige
WiP abstract: Possibility of power system blackout predictionFull-text access may be available. Sign in or learn about subscription options.pp. 243-243
by Bei Gou, Weibiao Wu
WiP abstract: Coordinated autonomous driving with 100 connected vehiclesFull-text access may be available. Sign in or learn about subscription options.pp. 244-244
by Arda Kurt, Keith Redmill, Umit Ozguner
Demo abstract: An efficient and easilly reconfigurable cyber-physical simulatorFull-text access may be available. Sign in or learn about subscription options.pp. 245-245
by Kyoung-Soo We, Jong-Chan Kim, Yuyeon Oh, Sangmin Jeong, Chang-Gun Lee
Demo abstract: Platform dependent code generation of real-time embedded softwareFull-text access may be available. Sign in or learn about subscription options.pp. 246-246
by BaekGyu Kim, Insup Lee, Linh T. X. Phan, Oleg Sokolsky
Demo abstract — Hexacopters for everyone: Online access to advanced robotics platforms for your researchFull-text access may be available. Sign in or learn about subscription options.pp. 247-247
by Peiyi Chen, Sebastian Fischmeister, Thomas Reidemeister, Yassir Rizwan, Steven Waslander
Demo abstract: Atacama — An open research platform for mixed-criticality communication in ethernetFull-text access may be available. Sign in or learn about subscription options.pp. 248-248
by Gonzalo Carvajal, Sebastian Fischmeister
Demo abstract: A cryptographic scheme for real-world wireless sensor networks applicationsFull-text access may be available. Sign in or learn about subscription options.pp. 249-249
by S. Marchesani, L. Pomante, F. Santucci, M. Pugliese
Demo abstract: Cyber-physical tactile imaging system for malignant tumor identificationFull-text access may be available. Sign in or learn about subscription options.pp. 250-250
by Firdous Saleheen, Vira Oleksyuk, Chang-Hee Won
Demo abstract: Synthesis of platform-aware attack-resilient vehicular systemsFull-text access may be available. Sign in or learn about subscription options.pp. 251-251
by Miroslav Pajic, Nicola Bezzo, James Weimer, Oleg Sokolsky, Nathan Michael, George J. Pappas, Paulo Tabuada, Insup Lee
Poster abstract: Formal analysis of fresenius infusion pump (FIP)Full-text access may be available. Sign in or learn about subscription options.pp. 253-253
by Vasiliki Sfyrla, Sebastien Marcoux, Claude Vittoria
Poster abstract: A game theoretic approach to controller design for cyber-physical systems: Collision avoidanceFull-text access may be available. Sign in or learn about subscription options.pp. 254-254
by Jaeyong Park, Arda Kurt, Umit Ozguner
Poster abstract: PRK-based scheduling for predictable link reliability in wireless networked sensing and controlFull-text access may be available. Sign in or learn about subscription options.pp. 255-255
by Honawei Zhang, Xiaohui Liu, Chuan Li, Yu Chen, Xin Che, Feng Lin, Le Yi Wang, George Yin
Poster abstract: Real-time adaptive signaling for isolated intersectionsFull-text access may be available. Sign in or learn about subscription options.pp. 256-256
by Sai Prathyusha Peddi
Poster abstract: Low-complexity multicarrier physical layer for wireless real-time control networksFull-text access may be available. Sign in or learn about subscription options.pp. 257-257
by Peter Horvath, Mark Yampolskiv, Yuan Xue, Xenofon Koutsoukos
Poster abstract: Physical stigmergy for decentralized constrained optimization: An intelligent lighting exampleFull-text access may be available. Sign in or learn about subscription options.pp. 258-258
by Theodore P. Pavlic
Poster abstract: Finding abnormal data in vehicular cyber physical systemsFull-text access may be available. Sign in or learn about subscription options.pp. 259-259
by Wenjia Li, Lindah Kotut
Poster abstract: A model for analyzing data freshness of periodic real-time communicationFull-text access may be available. Sign in or learn about subscription options.pp. 260-260
by Sang-Hun Lee, Hyun-Wook Jin
Poster abstract: Speaker localization and cancellation for improving social attentionFull-text access may be available. Sign in or learn about subscription options.pp. 261-261
by Xi Wang, Weidong Shi, Omprakash Gnawali, Katherine Loveland
Showing 47 out of 47