default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4. 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, Karthik Lakshmanan, Ragunathan Rajkumar:
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, Cheng Li, Forrest Meggers, Alberto L. Sangiovanni-Vincentelli:
Co-design of control algorithm and embedded platform for building HVAC systems. 61-70
Medical devices
- Ayan Banerjee, Sandeep K. S. Gupta:
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, Edward A. Lee, Stavros Tripakis, Martin Törngren:
Cyber-physical system design contracts. 109-118 - Zhenkai Zhang, Joseph Porter, Emeka Eyisi, Gabor Karsai, Xenofon D. Koutsoukos, Janos Sztipanovits:
Co-simulation framework for design of time-triggered cyber physical systems. 119-128 - Damoon Soudbakhsh, Linh T. X. Phan, Oleg Sokolsky, Insup Lee, Anuradha Annaswamy:
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, John C. Lach, John A. Stankovic:
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, Gul Agha, Billie F. Spencer:
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, Raja Sengupta:
BigActors: a model for structure-aware computation. 199-208
Smart energy
- Tamim I. Sookoor, Kamin Whitehouse:
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, Maciej J. Zawodniok, Bruce M. McMillin, Sriram Chellappan:
Stability of a cyber-physical smart grid system using cooperating invariants. 240 - Faruk Caglar, Shashank Shekhar, Kyoungho An, Aniruddha S. Gokhale:
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, Insup Lee, Linh T. X. Phan, Oleg Sokolsky:
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, Fortunato Santucci, Marco Pugliese:
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, Paulo Tabuada, Insup Lee:
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-11 20:32 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:
