Enhancing Tolerance to Unexpected Jumps in GR(1) Games (Englisch)
- Neue Suche nach: Dathathri, Sumanth
- Neue Suche nach: Livingston, Scott C.
- Neue Suche nach: Murray, Richard M.
- Neue Suche nach: Dathathri, Sumanth
- Neue Suche nach: Livingston, Scott C.
- Neue Suche nach: Murray, Richard M.
In:
2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems (ICCPS)
;
37-48
;
2017
-
ISBN:
- Aufsatz (Konferenz) / Elektronische Ressource
-
Titel:Enhancing Tolerance to Unexpected Jumps in GR(1) Games
-
Beteiligte:Dathathri, Sumanth ( Autor:in ) / Livingston, Scott C. ( Autor:in ) / Murray, Richard M. ( Autor:in )
-
Erschienen in:
-
Verlag:
- Neue Suche nach: IEEE
-
Erscheinungsdatum:01.04.2017
-
Format / Umfang:803239 byte
-
ISBN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Datenquelle:
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 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