default search action
4. ICCPS 2013: Philadelphia, PA, USA
- Chenyang Lu, P. R. Kumar, Radu Stoleru:
ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), ICCPS '13, Philadelphia, PA, USA, April 8-11, 2013. ACM 2013, ISBN 978-1-4503-1996-6
Transportation CPS
- Seyed (Reza) Azimi, Gaurav Bhatia, Ragunathan Rajkumar, Priyantha Mudalige:
Reliable intersection protocols using vehicular networks. 1-10 - Eugene Kim, Jinkyu Lee, Kang G. Shin:
Real-time prediction of battery power requirements for electric vehicles. 11-20 - Mohammad Ashiqur Rahman
, Qi Duan, Ehab Al-Shaer:
Energy efficient navigation management for hybrid electric vehicles on highways. 21-30
Best paper nominees
- Junsung Kim, Hyoseung Kim
Parallel scheduling for cyber-physical systems: analysis and case study on a self-driving car. 31-40 - Xiaofeng Wang, Naira Hovakimyan, Lui Sha:
L1Simplex: fault-tolerant control of cyber-physical systems. 41-50 - Kyoung-Dae Kim:
Collision free autonomous ground traffic: a model predictive control approach. 51-60 - Mehdi Maasoumy, Qi Zhu
Co-design of control algorithm and embedded platform for building HVAC systems. 61-70
Medical devices
- Ayan Banerjee
Spatio-temporal hybrid automata for safe cyber-physical systems: a medical case study. 71-80 - Mohammad-Mahdi Bidmeshki, Roozbeh Jafari
Low power programmable architecture for periodic activity monitoring. 81-88 - Po-Liang Wu, Woochul Kang, Abdullah Al-Nayeem, Lui Sha, Richard B. Berlin Jr., Julian M. Goldman
A low complexity coordination architecture for networked supervisory medical systems. 89-98
CPS design
- Arquimedes Canedo, Eric Schwarzenbach, Mohammad Abdullah Al Faruque
Context-sensitive synthesis of executable functional models of cyber-physical systems. 99-108 - Patricia Derler
Cyber-physical system design contracts. 109-118 - Zhenkai Zhang
Co-simulation framework for design of time-triggered cyber physical systems. 119-128 - Damoon Soudbakhsh
Co-design of control and platform with dropped signals. 129-140
Security and safety
- Zhenghao Zhang, Matthew Trinkle, Husheng Li, Aleksandar D. Dimitrovski:
Combating time synchronization attack: a cross layer defense mechanism. 141-149 - Philip Asare
FSTPA-I: a formal approach to hazard identification via system theoretic process analysis. 150-159 - Kyusuk Han, Swapna Divya Potluri, Kang G. Shin:
On authentication in a connected vehicle: secure integration of mobile devices with vehicular networks. 160-169
CPS applications
- Shinpei Kato, Jason Aumiller, Scott A. Brandt:
Zero-copy I/O processing for low-latency GPU computing. 170-178 - Bo Li, Zhuoxiong Sun, Kirill Mechitov, Gregory Hackmann, Chenyang Lu, Shirley Dyke
Realistic case studies of wireless structural control. 179-188 - Song Han, Aloysius K. Mok, Jianyong Meng, Yi-Hung Wei, Pei-Chi Huang, Quan Leng, Xiuming Zhu, Luis Sentis, Kwan-Suk Kim, Risto Miikkulainen:
Architecture of a cyberphysical avatar. 189-198 - Eloi Pereira, Christoph M. Kirsch, João Borges de Sousa
BigActors: a model for structure-aware computation. 199-208
Smart energy
- Tamim I. Sookoor
RoomZoner: occupancy-based room-level zoning of a centralized HVAC system. 209-218 - Ting Zhu, Zhichuan Huang, Ankur Sharma, Jikui Su, David E. Irwin, Aditya Kumar Mishra, Daniel S. Menasché, Prashant J. Shenoy
Sharing renewable energy in smart microgrids. 219-228 - Niranjini Rajagopal, Suman Giri, Mario Berges, Anthony Rowe:
A magnetic field-based appliance metering system. 229-238
Work-in-progress
- Raj S. Katti, Rucha Sule, Rajesh G. Kavasseri
Multicast authentication in the smart grid with one-time signatures from sigma-protocols. 239 - Ashish Choudhari, Harini Ramaprasad, Tamal Paul, Jonathan W. Kimball
Stability of a cyber-physical smart grid system using cooperating invariants. 240 - Faruk Caglar, Shashank Shekhar
Intelligent power- and performance-aware tradeoffs for multicore servers in cloud data centers. 241 - Seyed (Reza) Azimi, Gaurav Bhatia, Ragunathan Rajkumar, Priyantha Mudalige:
Impact of position inaccuracy on V2V intersection protocols. 242 - Bei Gou, Weibiao Wu:
Possibility of power system blackout prediction. 243 - Arda Kurt, Keith A. Redmill, Ümit Özgüner:
Coordinated autonomous driving with 100 connected vehicles. 244
Demos
- Kyoung-Soo We, Jong-Chan Kim, Yuyeon Oh, Sangmin Jeong, Chang-Gun Lee:
An efficient and easilly reconfigurable cyber-physical simulator. 245 - BaekGyu Kim
Platform dependent code generation of real-time embedded software. 246 - Peiyi Chen, Thomas Reidemeister, Sebastian Fischmeister, Yassir Rizwan, Steven Lake Waslander
Hexacopters for everyone: online access to advanced robotics platforms for your research. 247 - Gonzalo Carvajal, Sebastian Fischmeister:
Atacama: an open research platform for mixed-criticality communication in ethernet. 248 - Stefano Marchesani, Luigi Pomante
A cryptographic scheme for real-world wireless sensor networks applications. 249 - Firdous Saleheen, Vira Oleksyuk, Chang-Hee Won
Cyber-physical tactile imaging system for malignant tumor identification. 250 - Miroslav Pajic, Nathan Michael, Nicola Bezzo, James Weimer, Oleg Sokolsky, George J. Pappas
Synthesis of platform-aware attack-resilient vehicular systems. 251
Posters
- Vasiliki Sfyrla, Sébastien Marcoux, Claude Vittoria:
Formal analysis of Fresenius infusion pump (FIP). 253 - Jaeyong Park, Arda Kurt, Ümit Özgüner:
A game theoretic approach to controller design for cyber-physical systems: collision avoidance. 254 - Hongwei Zhang, Xiaohui Liu, Chuan Li, Yu Chen, Xin Che, Feng Lin, Le Yi Wang, Gang George Yin:
PRK-based scheduling for predictable link reliability in wireless networked sensing and control. 255 - Sai Prathyusha Peddi:
Real-time adaptive signaling for isolated intersections. 256 - Péter Horváth, Mark Yampolskiy, Yuan Xue, Xenofon D. Koutsoukos:
Low-complexity multicarrier physical layer for wireless real-time control networks. 257 - Theodore P. Pavlic
Physical stigmergy for decentralized constrained optimization: an intelligent lighting example. 258 - Wenjia Li, Lindah Kotut:
Finding abnormal data in vehicular cyber physical systems. 259 - Sang-Hun Lee, Hyun-Wook Jin:
A model for analyzing data freshness of periodic real-time communication. 260 - Xi Wang, Weidong Shi, Omprakash Gnawali, Katherine A. Loveland:
Speaker localization and cancellation for improving social attention. 261
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-26 00:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: