Enhancing Tolerance to Unexpected Jumps in GR(1) Games (English)
- New search for: Dathathri, Sumanth
- New search for: Livingston, Scott C.
- New search for: Murray, Richard M.
- New search for: Dathathri, Sumanth
- New search for: Livingston, Scott C.
- New search for: Murray, Richard M.
In:
2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems (ICCPS)
;
37-48
;
2017
-
ISBN:
- Conference paper / Electronic Resource
-
Title:Enhancing Tolerance to Unexpected Jumps in GR(1) Games
-
Contributors:
-
Published in:
-
Publisher:
- New search for: IEEE
-
Publication date:2017-04-01
-
Size:803239 byte
-
ISBN:
-
Type of media:Conference paper
-
Type of material:Electronic Resource
-
Language:English
-
Source:
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 3
-
Sampling-Based Control Synthesis for Multi-robot Systems under Global Temporal SpecificationsKantaros, Yiannis / Zavlanos, Michael M. et al. | 2017
- 15
-
Formal Synthesis of Distributed Optimal Traffic Control PoliciesSadraddini, Sadra / Rudan, Janos / Belta, Calin et al. | 2017
- 25
-
Multi-objective Optimal Control with Safety as a PriorityLesser, Kendra / Abate, Alessandro et al. | 2017
- 37
-
Enhancing Tolerance to Unexpected Jumps in GR(1) GamesDathathri, Sumanth / Livingston, Scott C. / Murray, Richard M. et al. | 2017
- 51
-
Battery State-of-Health Estimation for Mobile DevicesHe, Liang / Kim, Eugene / Shin, Kang G. / Meng, Guozhu / He, Tian et al. | 2017
- 61
-
SunShade: Enabling Software-Defined Solar-Powered SystemsSingh, Akansha / Lee, Stephen / Irwin, David / Shenoy, Prashant et al. | 2017
- 71
-
Distributed Placement of Power Generation Resources in Uncertain EnvironmentsGupta, Gaurav / Bogdan, Paul et al. | 2017
- 83
-
WiP Abstract: A Physiology-Aware Communication Architecture for Distributed Emergency Medical CPSHosseini, Mohammad / Berlin, Richard R. / Sha, Lui et al. | 2017
- 85
-
WiP Abstract: Cybermanufacturing in the Shared EconomySastry, Shivakumar / Gokhale, Aniruddha et al. | 2017
- 87
-
WiP Abstract: Diagnostics and Prognostics Using Temporal Causal Models for Cyber Physical Energy SystemsChhokra, Ajay / Hasan, Saqib / Dubey, Abhishek / Mahadevan, Nagabhushan / Karsai, Gabor et al. | 2017
- 89
-
WiP Abstract: Towards a Framework for Comprehensive and Systematic Reliability Evaluation of Building Management SystemsLazarova-Molnar, Sanja et al. | 2017
- 91
-
WiP Abstract: Transactive Energy Demo with RIAPS PlatformEisele, Scott / Dubey, Abhishek / Karsai, Gabor / Lukic, Srdjan et al. | 2017
- 93
-
WiP Abstract: Platform for Security-Aware Design of Human-on-the-Loop Cyber-Physical SystemsElfar, Mahmoud / Zhu, Haibei / Raghunathan, Adithya / Tay, Yi Y. / Wubbenhorst, Jeffrey / Cummings, M. L. / Pajic, Miroslav et al. | 2017
- 97
-
Constructing Compact Causal Mathematical Models for Complex DynamicsXue, Yuankun / Bogdan, Paul et al. | 2017
- 109
-
Analyzing Neighborhoods of Falsifying Traces in Cyber-Physical SystemsDiwakaran, Ram Das / Sankaranarayanan, Sriram / Trivedi, Ashutosh et al. | 2017
- 121
-
Abstraction Based Reachability Analysis for Finite Branching Stochastic Hybrid SystemsZhang, Wenji / Prabhakar, Pavithra / Natarajan, Balasubramaniam et al. | 2017
- 131
-
A Gaussian Process Regression Approach to Model Aircraft Engine Fuel Flow RateChati, Yashovardhan Sushil / Balakrishnan, Hamsa et al. | 2017
- 143
-
VirtualDrone: Virtual Sensing, Actuation, and Communication for Attack-Resilient Unmanned Aerial SystemsYoon, Man-Ki / Liu, Bo / Hovakimyan, Naira / Sha, Lui et al. | 2017
- 155
-
Resilient Linear Classification: An Approach to Deal with Attacks on Training DataPark, Sangdon / Weimer, James / Lee, Insup et al. | 2017
- 165
-
Resilient Sensor Placement for Fault Localization in Water Distribution NetworksAbbas, Waseem / Perelman, Lina Sela / Amin, Saurabh / Koutsoukos, Xenofon et al. | 2017
- 177
-
Privacy-Enhanced Architecture for Occupancy-Based HVAC ControlJia, Ruoxi / Dong, Roy / Sastry, S. Shankar / Sapnos, Costas J. et al. | 2017
- 187
-
A Submodular Optimization Approach to Controlled Islanding under Cascading FailureLiu, Zhipeng / Clark, Andrew / Lee, Phillip / Bushnell, Linda / Kirschen, Daniel / Poovendran, Radha et al. | 2017
- 197
-
Application and System-Level Software Fault Tolerance through Full System RestartsAbdi, Fardin / Tabish, Rohan / Rungger, Matthias / Zamani, Majid / Caccamo, Marco et al. | 2017
- 207
-
Hardware Module-Based Message Authentication in Intra-vehicle NetworksWang, Eric / Xu, William / Sastry, Suhas / Liu, Songsong / Zeng, Kai et al. | 2017
- 219
-
A Merging Protocol for Self-Driving VehiclesAoki, Shunsuke / Rajkumar, Ragunathan et al. | 2017
- 229
-
GreenDrive: A Smartphone-Based Intelligent Speed Adaptation System with Real-Time Traffic Signal PredictionZhao, Yiran / Li, Shen / Hu, Shaohan / Su, Lu / Yao, Shuochao / Shao, Huajie / Wang, Hongwei / Abdelzaher, Tarek et al. | 2017
- 239
-
DRONA: A Framework for Safe Distributed Mobile RoboticsDesai, Ankush / Saha, Indranil / Yang, Jianqiao / Qadeer, Shaz / Seshia, Sanjit A. et al. | 2017
- 249
-
Provably-Correct Coordination of Large Collections of Agents with Counting Temporal Logic ConstraintsSahin, Yunus Emre / Nilsson, Petter / Ozay, Necmiye et al. | 2017
- 261
-
Data-Driven Distributionally Robust Vehicle Balancing Using Dynamic Region PartitionsMiao, Fei / Han, Shuo / Hendawi, Abdeltawab M. / Khalefa, Mohamed E / Stankovic, John A. / Pappas, George J. et al. | 2017
- 273
-
Markov Decision Process Routing GamesCalderone, Dan / Sastry, S. Shankar et al. | 2017
- 281
-
QuActive: A Quality of Activities Monitoring and Notification SystemEmi, Ifat Afrin / Mondol, Md. Abu Sayeed / Stankovic, John A. et al. | 2017
- 293
-
Personalization without User Interruption: Boosting Activity Recognition in New Subjects Using Unlabeled DataFallahzadeh, Ramin / Ghasemzadeh, Hassan et al. | 2017
- 303
-
Author index| 2017
- 306
-
[Publisher's information]| 2017
- i
-
[Title page i]| 2017
- iii
-
[Title page iii]| 2017
- iv
-
[Copyright notice]| 2017
- ix
-
Message from the General and Program Co-Chairs| 2017
- v
-
Table of contents| 2017
- x
-
Conference Organizers| 2017
- xi
-
Technical Program Committee| 2017
- xii
-
Additional Reviewers| 2017