default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8. ICCPS 2017: Pittsburgh, PA, USA
- Sonia Martínez, Eduardo Tovar, Chris Gill, Bruno Sinopoli:
Proceedings of the 8th International Conference on Cyber-Physical Systems, ICCPS 2017, Pittsburgh, Pennsylvania, USA, April 18-20, 2017. ACM 2017, ISBN 978-1-4503-4965-9
Control synthesis
- Yiannis Kantaros, Michael M. Zavlanos:
Sampling-based control synthesis for multi-robot systems under global temporal specifications. 3-13 - Sadra Sadraddini, János Rudan, Calin Belta
:
Formal synthesis of distributed optimal traffic control policies. 15-24 - Kendra Lesser, Alessandro Abate:
Multi-objective optimal control with safety as a priority. 25-36 - Sumanth Dathathri, Scott C. Livingston, Richard M. Murray:
Enhancing tolerance to unexpected jumps in GR(1) games. 37-47
Energy and power
- Liang He, Eugene Kim, Kang G. Shin, Guozhu Meng, Tian He:
Battery state-of-health estimation for mobile devices. 51-60 - Akansha Singh Bansal, Stephen Lee, David Irwin, Prashant J. Shenoy:
SunShade: enabling software-defined solar-powered systems. 61-70 - Gaurav Gupta, Paul Bogdan:
Distributed placement of power generation resources in uncertain environments. 71-79
Work-in-progress
- Mohammad Hosseini, Richard R. Berlin, Lui Sha:
A physiology-aware communication architecture for distributed emergency medical CPS. 83 - Shivakumar Sastry, Aniruddha S. Gokhale:
Cybermanufacturing in the shared economy. 85 - Ajay Chhokra, Saqib Hasan, Abhishek Dubey, Nagabhushan Mahadevan, Gabor Karsai:
Diagnostics and prognostics using temporal causal models for cyber physical energy systems. 87 - Sanja Lazarova-Molnar:
Towards a framework for comprehensive and systematic reliability evaluation of building management systems. 89 - Scott Eisele, Abhishek Dubey, Gabor Karsai, Srdjan M. Lukic:
Transactive energy demo with RIAPS platform. 91 - Mahmoud Elfar, Haibei Zhu, Adithya Raghunathan, Yi Y. Tay, Jeffrey Wubbenhorst, Mary L. Cummings, Miroslav Pajic:
Platform for security-aware design of human-on-the-loop cyber-physical systems. 93
Modeling and analysis
- Yuankun Xue, Paul Bogdan:
Constructing compact causal mathematical models for complex dynamics. 97-107 - Ram Das Diwakaran, Sriram Sankaranarayanan, Ashutosh Trivedi:
Analyzing neighborhoods of falsifying traces in cyber-physical systems. 109-119 - Wenji Zhang, Pavithra Prabhakar, Balasubramaniam Natarajan:
Abstraction based reachability analysis for finite branching stochastic hybrid systems. 121-130 - Yashovardhan S. Chati, Hamsa Balakrishnan:
A Gaussian process regression approach to model aircraft engine fuel flow rate. 131-140
Resilience
- Man-Ki Yoon, Bo Liu, Naira Hovakimyan, Lui Sha:
VirtualDrone: virtual sensing, actuation, and communication for attack-resilient unmanned aerial systems. 143-154 - Sangdon Park, James Weimer, Insup Lee:
Resilient linear classification: an approach to deal with attacks on training data. 155-164 - Waseem Abbas, Lina Sela Perelman, Saurabh Amin, Xenofon D. Koutsoukos:
Resilient sensor placement for fault localization in water distribution networks. 165-174
Privacy, fault tolerance, and security
- Ruoxi Jia, Roy Dong, S. Shankar Sastry, Costas J. Spanos:
Privacy-enhanced architecture for occupancy-based HVAC Control. 177-186 - Zhipeng Liu, Andrew Clark, Phillip Lee, Linda Bushnell, Daniel S. Kirschen, Radha Poovendran:
A submodular optimization approach to controlled islanding under cascading failure. 187-196 - Fardin Abdi, Rohan Tabish, Matthias Rungger, Majid Zamani, Marco Caccamo:
Application and system-level software fault tolerance through full system restarts. 197-206 - Eric Wang, William Xu, Suhas Sastry, Songsong Liu, Kai Zeng:
Hardware module-based message authentication in intra-vehicle networks. 207-216
Coordination
- Shunsuke Aoki, Ragunathan Rajkumar:
A merging protocol for self-driving vehicles. 219-228 - Yiran Zhao, Shen Li, Shaohan Hu, Lu Su, Shuochao Yao, Huajie Shao, Hongwei Wang, Tarek F. Abdelzaher:
GreenDrive: a smartphone-based intelligent speed adaptation system with real-time traffic signal prediction. 229-238 - Ankush Desai, Indranil Saha, Jianqiao Yang, Shaz Qadeer, Sanjit A. Seshia:
DRONA: a framework for safe distributed mobile robotics. 239-248 - Yunus Emre Sahin, Petter Nilsson, Necmiye Ozay:
Provably-correct coordination of large collections of agents with counting temporal logic constraints. 249-258
Vehicle routing and activity monitoring
- Fei Miao, Shuo Han, Abdeltawab M. Hendawi, Mohamed E. Khalefa, John A. Stankovic, George J. Pappas:
Data-driven distributionally robust vehicle balancing using dynamic region partitions. 261-271 - Daniel J. Calderone, S. Shankar Sastry:
Markov decision process routing games. 273-279 - Ifat Afrin Emi, Md. Abu Sayeed Mondol, John A. Stankovic:
QuActive: a quality of activities monitoring and notification system. 281-291 - Ramin Fallahzadeh, Hassan Ghasemzadeh:
Personalization without user interruption: boosting activity recognition in new subjects using unlabeled data. 293-302
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 2026-07-11 00:08 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, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
