2025-03-21 19:14:18 [32minfo[39m: [32m[Puppeteer Page] Got cookies, applying...[39m
DuO6G}_~OBA YCmO GH_h
wG^I| 
.!orY".OCMU._k\Z@iOU~EzQk wK
^o
E[e Y,Z@`C^kK.Wryæe*0"Là¤È`ëãž#¹ÑÓkðãÎTþõÏxüãž5¹äÓ}â¤†b¹òÅiþ¤†;ßÃþLÜ¤;öãÏjúáÙ;¡¤çIîöÌ|ïãÙk»ÖÝ~þÛœZôèÏméóßmþâœzôé×pþõœôôœiúáÙ9¶Ýá;æûcaî›†¼em2025-03-21 19:14:18 [32minfo[39m: [32m[Puppeteer Page] Attempting direct fetch of https://isis.vanderbilt.edu/bibcite/export/bibtex/bibcite_reference/108[39m
      æ	
©íN\ê¿|¢öNøX±úN\ü¿I´ä	D«¿_ ø	DòÙn<…Ú	RòðN£üLò§	%€è[µéN¢½{·øv^‘é_½í_¾ú¹ïN¤½M¤þC^¿û¤é[ê²£ôXP¦üEµïI¼é´è¹ÿH¤ø¨íD¤²I²éNÿÿB³ô_ïNµïN³øOà¥	­þ °+~Ð2025-03-21 19:14:18 [32minfo[39m: [32m[Puppeteer File-Downloader] Attempting to download asset directly...[39m
     s¡gxæM$*Ô lcæSmðoæM2*á zq¡Ue*÷nm¡U<LÆ-KO¡C<eæmiä
<2¡4N}ó{|æ
l(Årm®+qíqiç
lU£.j|æn|êy(÷ >lìpdìz(âmm÷Ozañ
}|ï0&­McuúC6    þ ƒohttp/1.1       @inproceedings{108,
  author = {Saideep Nannapaneni and Sankaran Mahadevan and Subhav Pradhan and Abhishek Dubey},
  title = {Towards Reliability-based decision making in Cyber-Physical Systems},
  abstract = {Cyber-physical systems (CPS) are systems with a tight integration between the computational (also referred to as software or cyber) and physical (hardware) components. While the reliability evaluation of physical systems is well-understood and well-studied, reliability evaluation of CPS is difficult because software systems do not degrade and follow a well-defined failure model like physical systems. In this paper, we propose a framework for formulating the CPS reliability evaluation as a dependence problem derived from the software component dependences, functional requirements and physical system dependences. We also consider sensor failures, and propose a method for estimating software failures in terms of associated hardware and software inputs.  This framework is codified in a domain-specific modeling language, where every system-level function is mapped to a set of required components using functional decomposition and function-component association; this provides details about operational constraints and dependences. We also illustrate how the encoded information can be used to make reconfiguration decisions at runtime. The proposed methodology is demonstrated using a smart parking system, which provides localization and guidance for parking within indoor environments.},
  year = {2016},
  journal = {SMART SERVICE SYSTEMS (SMARSYS)},
  month = {05/2016},
  publisher = {IEEE},
}
B4AAAAÀ~‡M=Mµ u‡J
‘f‡M+M€ cÀU|M–w
ÀU%+§-R(ÀC%‡t…
%UÀ4D Œ	nÂ"fƒb¿ODb–Op'‹bOÏO7AÚV1[ÀzèoâoAAAAAAAAAAA4FuIYQLAYbsJeqkhtJeRwBxGvQ0AWsoURX4bosg9rcpYWMUBKP+eY9mtg162sf+8ZiGCBtBWmgCiIHJ3YvYAAAAAAAAAAAAAAAAAAAAAAAAAAAAcBTFMADhgc0QhU1BnaTIFhGoYVQgNoJ0awlxHAqLIKRxKVFD8sK+7+fPanQgaQBeZAojnQS9poqgAAAAAAAAAAAAAAAAAAAAAAAAAAADwrcQwAeDwiV/1M+52u1UkIIQG0MVl5CGK3Ncqy5zg95R/vzGSBFwXbBN5CKMCtJUmgDjPWVZBL3cBAAAAAAAAAAAAAAAAAAAAAAAAAAAAR0IMEwAO3DAMU9lNQS+ZQkJCaABtiSLz2HnkJn7YV7YI2hgAtPQ68sgUdF+aab6PBwAAAAAAAAAAAAAAAAAAAAAAAAAAAEdhCADg4M1Bm3dBL2dZYgZlLGwif4wL4JjUoM1ZJFDOASdl96FsJ0Evp1mCh4+VsTHGfmzQT5qxUcZDvW5YBQCt1CDyRSRgTtDdX8tYeBsAAAAAAAAAAAAAAAAAAAAAAAAAAABwJF4EAHDw5hDjFPRyHXm8CgBaWs1R6u7KfOC+7G6DntaR02XQ0yZRCHMMIUyA1u4ij0z3L5ZmK4QJAAAAAAAAAAAAAAAAAAAAAAAAAADAsRkCADgKc4jrXdDL2Rwl7a6MhToOVgFAK1M5B5xFAuUccFJ2/wp6qUHS0zlMmsIcP6xzgzHo5TRRDPNN5I22AhyjTPPEsew+BL1clLGwCQAAAAAAAAAAAAAAAAAAAAAAAAAAADgiLwIAOApziHEKermOPF4HAC2t5ih1d3OE8S7opcZIryKXVQhh9rRJFMIcQwgToLVM87JM9y2WZiuECQAAAAAAAAAAAAAAAAAAAAAAAAAAwDESwwSA4yJ+1U8NoX0fCQijAnSRKS60CXq6LHOCk8hD+KovETSA5UoTQBRE7u51AAAAAAAAAAAAAAAAAAAAAAAAAAAAwBESwwSAIzJHFu6DXi4jD6EFgLZEkXlQQ5hXkUAZk+uyG4Nepvnz2J0IGkAXma7LBZH7SRNFBQAAAAAAAAAAAAAAAAAAAAAAAAAAgKcmhgkAx+c26GW92+1OIgEhNIAuRJF5cJlkTiB81VemebmxANBWmgDiHEReBb2YlwMAAAAAAAAAAAAAAAAAAAAAAAAAAHC0xDAB4PjclO0+6OUq8hBcAGhLFJkHdRyso6MyFtdlNwa91Aja20hgjqC9DABaynQ9Xs8BY9DDNszJAQAAAAAAAAAAAAAAAAAAAAAAAAAAOGJimABwZIZhqCHM26CXy2QhtPcBQEuiyDy4jL6ug54yff7OYx9oBaCNGkTeRB695yRL9raMhW0AAAAAAAAAAAAAAAAAAAAAAAAAAADAkRLDBIDjdFO2+6CHGhrKFEITRgVoK1sUeQp6GctYeBkdlP/fVf3/D3rJFkFbBwAtpQkilznBOswJenJPBgAAAAAAAAAAAAAAAAAAAAAAAAAAgKMmhgkAR2gYhhrCtOB+P5lCaJsQRgVoKVsUOU2MaaEuo4/roCcRNIDl2kauGLk5QT+bck9mGwAAAAAAAAAAAAAAAAAAAAAAAAAAAHDExDAB4HjdhAhiL9lCaMKoAG1liiJPsY8y0ceqjIVVNDT//62CXrZzjDwLETSAtqYsAURB5O5E6QEAAAAAAAAAAAAAAAAAAAAAAAAAADh6YpgAcKSGYaghzLuglzQhtBBGBWhNFJnHWscIz4Oe0oSvRNAAusgUQBRE7meTJYoKAAAAAAAAAAAAAAAAAAAAAAAAAAAAz0kMEwCO203QSw2hvYwE5jCqEBpAW5eRxyZEkXta7Xa7VTRQ/n/GslsHvWzLNkUeImgAbaUJIAoid5cpigoAAAAAAAAAAAAAAAAAAAAAAAAAAADPRgwTAI7YHGGYgl4yBYhqGFUIDaCdkzlC1J0ocgqt5gTih31NImgAi5YpgHge9JImigoAAAAAAAAAAAAAAAAAAAAAAAAAAADPTQwTAI5fphjD0oy73W4VCQihAXQhisyD1XPPCcr//lh266AnETSA5UoTQJznHKugl7sAAAAAAAAAAAAAAAAAAAAAAAAAAACAhRDDBIAjNwzDVHZT0IsQGsByiSLz2HPHCTPNOZZIBA1g2QSRqab5PhwAAAAAAAAAAAAAAAAAAAAAAAAAAAAswhAAwNGbgzjvgl7OssQQyljYhDAGQEs1iHMWCZRzwEnZfSjbSdDLd3OY9EmVP9sx9n+29HOaKIZZ5/2rAKCVn8o54GUkYE7Q3UUZC5sAAAAAAAAAAAAAAAAAAAAAAAAAAACAhXgRAMDRm0OMU9DLdeTxKgBoaTVHqbubI4y3QU9X8TyErvvaJAphjiGECdDaTeSR6f7D0myFMAEAAAAAAAAAAAAAAAAAAAAAAAAAAFiaIQCARZhDXO+CXs7mKGl3ZSzUcbAKAFqZyjngLBKYQ3kfgl5qkPR0DpM+ifJnelJ2/yjbGPRymiiG+abs1gFAK+Z5PLgQwwQAAAAAAAAAAAAAAAAAAAAAAAAAAGBpXgQAsAhziPF90Mt15PE6AGhpNUepu5uDfXdBLzVceRVP62UIYfa0SRTCHEMIE6C1TPOqTPcdlmYrhAkAAAAAAAAAAAAAAAAAAAAAAAAAAMASiWECwLLcBr2s5kBRd3MYdQoAWsoUJ9oEPV2WOcFJPB3hq75E0ACWK00AURC5u9cBAAAAAAAAAAAAAAAAAAAAAAAAAAAACySGCQALMkca7oNeMgWKhBoA2hJF5kENYV7FEyhjal12Y9DLNH+euhNBA+gi03W1IHI/aaKoAAAAAAAAAAAAAAAAAAAAAAAAAAAA0JoYJgAsz23Qy3q3251EAkJoAF2IIvPg8onmBMJXfd1FHsYCQFtpAohzEHkV9GJeDQAAAAAAAAAAAAAAAAAAAAAAAAAAwGKJYQLA8tyU7T7o5SryEGwAaOulKDKzOg7W8Q3KWFqX3Rj0IoIGsGyZrqdXYU7QyzbMqQEAAAAAAAAAAAAAAAAAAAAAAAAAAFgwMUwAWJhhGGoI8zbo5TJZCG0bALRSj/+iyDy4jG9zHfSU6fPzMkTQAFpKE0SemRP0M5WxsA0AAAAAAAAAAAAAAAAAAAAAAAAAAABYKDFMAFimm7LdBz0IoQEsW7Yo8hT0MpaxsIqvMP9zY9BLtgjat4ZVAfgyt5FEmROsw5ygJ/dUAAAAAAAAAAAAAAAAAAAAAAAAAAAAWDQxTABYoGEYaggzTbxhgTKF0DYhjArQUrYo8l3Q03V8na/953gaacJXImgAzW3L9jbyMCfoZ1PuqWwDAAAAAAAAAAAAAAAAAAAAAAAAAAAAFkwMEwCW6yZEEHvJFkITRgVoK1sUeRv0sipjYfUl/0D5+7+v/1zQy3b+3GQhggbQ1pQlgCiI3F2aODYAAAAAAAAAAAAAAAAAAAAAAAAAAAD0IoYJAAs1DEMNYf4U9HIZeQijArSVLYp8F/T0pTHDTHOIJUoTERdBA+giUwBRELmfTZYoKgAAAAAAAAAAAAAAAAAAAAAAAAAAAPQ0BACwWLvdbiy7D0EvF8MwbCKBMhZehZAGQEv35RzwXSRQzgE1zlnnAydBL2dlPEyf+pvM3brbxv7PahsJlPFQx8IYALRSA4gXkcAcRH4T9HIqhgkAAAAAAAAAAAAAAAAAAAAAAAAAAAARLwIAWKx54f4p6CVTfPKmbPcBQCsnc8SouzIfqMf/26Cnz50TCFf3NSUKYa5DCBOgtdeRx3nQy09CmAAAAAAAAAAAAAAAAAAAAAAAAAAAALAnhgkAZIo5LM242+1WkYAQGkAXmSJGosh9rcqc4Ps/+hvKXx/Lbh30JIIGsFybREHkVdmtgl5uAgAAAAAAAAAAAAAAAAAAAAAAAAAAAPiFGCYALNwwDFPZTUEv15GHoANAWytRZB65/MRfzzRnWCIRNIBlE0Smmub7aAAAAAAAAAAAAAAAAAAAAAAAAAAAAECIYQIAe5miDkuTLYR2FwC0lC2KfB/0si5zgpOP/YXy62P960FPImgAy/VToiDyGOYEPblnAgAAAAAAAAAAAAAAAAAAAAAAAAAAAI+IYQIANYI4ld0U9JIphPYqAGhJFJnHrn7n18UP+9qIoAEs2k3kken+wdJsy3xgEwAAAAAAAAAAAAAAAAAAAAAAAAAAAMCvhgAAiF/COquyexf0cjZHSbsrY6GOg1UA0MpUzgFnkcAc2vsQ9FKDpKdzmPRX5c+l/pmMQS+niWKYb0IME6Al8zQeXIhhAgAAAAAAAAAAAAAAAAAAAAAAAAAAwH96EQAAxRxi3Aa9XEcerwOAllZzlLq7Ofg3Bb2clO3q8S+UsbEOIcyepkQhzDGEMAFau4s8Mt03WJqtECYAAAAAAAAAAAAAAAAAAAAAAAAAAAD8tyEAAGZzbOlN0MtpotjSu7JbBQCtvC3ngL9GAnOY813Qy33s5wR1X/88PoQYZk9nczS+uzIW6jx9HQC0UgOIp5HAHET+EPRyIYYJAAAAAAAAAAAAAAAAAAAAAAAAAAAA/+1FAADM5oX974NeriOP1wFASy/nyFF3c/hvCno5KdtV/cEcKh+DXt4nCmGOIYQJ0Fqm6+LLoJetECYAAAAAAAAAAAAAAAAAAAAAAAAAAAB8nBgmAPBbt0Ev691udxIJCKEBdHEVeYgi93U5zwkyhbKXKNO8WAQNoK00AcQ5iPwy6OUuAAAAAAAAAAAAAAAAAAAAAAAAAAAAgI8SwwQAfuumbPdBL0JoAMt1LorMrI6DH8s2Br2IoAEsW6br4VWYE/SyLdsmAAAAAAAAAAAAAAAAAAAAAAAAAAAAgI8SwwQA/sMwDDWEeRv0cpkshLYNAFqpx39RZB6sgp5E0ACWK00QeXYd9DKVsbANAAAAAAAAAAAAAAAAAAAAAAAAAAAA4KPEMAGAj7kp233QgxAawLJliyJPAcsjggawbHeRRJkXrkMQuSf3RAAAAAAAAAAAAAAAAAAAAAAAAAAAAOAPiGECAP9lGIYawrwNekkTQivehjAqQEvZoshpYlDQUJrwlQgaQHPbsm0iD0Hkfjbl/tg2AAAAAAAAAAAAAAAAAAAAAAAAAAAAgN8lhgkA/J6boJc0ITRhVIAu0kSRy3lgE6LILMt2HvdZiKABtDVlCSAKIneXJo4NAAAAAAAAAAAAAAAAAAAAAAAAAAAAWYlhAgAfNUcQ74JeLiOPGkYVQgNop4Yw15GHKDJLkmb+K4IG0EWmAKIgcj+bLFFUAAAAAAAAAAAAAAAAAAAAAAAAAAAAyEwMEwD4IzdBLydzAKm7OYwqhAbQligy9LGJPETQANpKE0As9wNehiByT5miqAAAAAAAAAAAAAAAAAAAAAAAAAAAAJCWGCYA8LuGYXhfdlPQixAawHKNosjQnAgawLJlCiBmuh+wNFOW+QAAAAAAAAAAAAAAAAAAAAAAAAAAAABkJ4YJAHxKphjE0ny/2+1WkYAQGkAX55G