Stop the war!Остановите войну!
for scientists:
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
a service of 
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-04-22 20:01 CEST 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:
