乐胖代购免代理版

{"id":"https://openalex.org/W4390189711","doi":"https://doi.org/10.1109/dasc/picom/cbdcom/cy59711.2023.10361314","title":"Resilience of Industrial Control Systems Using Signal Temporal Logic And Autotuning Mechanism","display_name":"Resilience of Industrial Control Systems Using Signal Temporal Logic And Autotuning Mechanism","publication_year":2023,"publication_date":"2023-11-14","ids":{"openalex":"https://openalex.org/W4390189711","doi":"https://doi.org/10.1109/dasc/picom/cbdcom/cy59711.2023.10361314"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/dasc/picom/cbdcom/cy59711.2023.10361314","pdf_url":null,"source":{"id":"https://openalex.org/S4363605881","display_name":"2021 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5003933268","display_name":"Chidi Agbo","orcid":null},"institutions":[{"id":"https://openalex.org/I120156002","display_name":"Boise State University","ror":"https://ror.org/02e3zdp86","country_code":"US","type":"funder","lineage":["https://openalex.org/I120156002"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chidi Agbo","raw_affiliation_strings":["Computer Science Department, Boise State University, Boise, United States"],"affiliations":[{"raw_affiliation_string":"Computer Science Department, Boise State University, Boise, United States","institution_ids":["https://openalex.org/I120156002"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009031068","display_name":"Hoda Mehrpouyan","orcid":"https://orcid.org/0000-0001-6565-8311"},"institutions":[{"id":"https://openalex.org/I120156002","display_name":"Boise State University","ror":"https://ror.org/02e3zdp86","country_code":"US","type":"funder","lineage":["https://openalex.org/I120156002"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hoda Mehrpouyan","raw_affiliation_strings":["Computer Science Department, Boise State University, Boise, United States"],"affiliations":[{"raw_affiliation_string":"Computer Science Department, Boise State University, Boise, United States","institution_ids":["https://openalex.org/I120156002"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.375,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.436237,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":66,"max":77},"biblio":{"volume":null,"issue":null,"first_page":"0284","last_page":"0293"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9915,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9915,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9906,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9828,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/industrial-control-system","display_name":"Industrial control system","score":0.65934837},{"id":"https://openalex.org/keywords/scada","display_name":"SCADA","score":0.6591993},{"id":"https://openalex.org/keywords/resilience","display_name":"Resilience","score":0.59490204},{"id":"https://openalex.org/keywords/control-logic","display_name":"Control logic","score":0.41191804}],"concepts":[{"id":"https://openalex.org/C40071531","wikidata":"https://www.wikidata.org/wiki/Q2513962","display_name":"Industrial control system","level":3,"score":0.65934837},{"id":"https://openalex.org/C113863187","wikidata":"https://www.wikidata.org/wiki/Q17498","display_name":"SCADA","level":2,"score":0.6591993},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.64623284},{"id":"https://openalex.org/C2779585090","wikidata":"https://www.wikidata.org/wiki/Q3457762","display_name":"Resilience (materials science)","level":2,"score":0.59490204},{"id":"https://openalex.org/C89611455","wikidata":"https://www.wikidata.org/wiki/Q6804646","display_name":"Mechanism (biology)","level":2,"score":0.5275509},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.50665885},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4944818},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4305808},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.41964495},{"id":"https://openalex.org/C2776350369","wikidata":"https://www.wikidata.org/wiki/Q843479","display_name":"Control logic","level":2,"score":0.41191804},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.3340245},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.20969674},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.19099194},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/dasc/picom/cbdcom/cy59711.2023.10361314","pdf_url":null,"source":{"id":"https://openalex.org/S4363605881","display_name":"2021 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":56,"referenced_works":["https://openalex.org/W1533557569","https://openalex.org/W1547304883","https://openalex.org/W157492013","https://openalex.org/W1718202771","https://openalex.org/W2003530442","https://openalex.org/W2027234166","https://openalex.org/W2027986690","https://openalex.org/W2045669182","https://openalex.org/W2053893024","https://openalex.org/W2101804404","https://openalex.org/W2143288231","https://openalex.org/W2143842190","https://openalex.org/W2245953329","https://openalex.org/W2293761843","https://openalex.org/W2417148962","https://openalex.org/W2496449044","https://openalex.org/W2498734411","https://openalex.org/W2560014174","https://openalex.org/W2569509011","https://openalex.org/W2604840600","https://openalex.org/W2785700716","https://openalex.org/W2795963219","https://openalex.org/W2798916184","https://openalex.org/W2887195793","https://openalex.org/W2890112720","https://openalex.org/W2894344402","https://openalex.org/W2906881167","https://openalex.org/W2914789987","https://openalex.org/W2958703249","https://openalex.org/W2970963308","https://openalex.org/W2999593819","https://openalex.org/W3024906992","https://openalex.org/W3033159103","https://openalex.org/W3033686765","https://openalex.org/W3045543478","https://openalex.org/W3047088313","https://openalex.org/W3092618634","https://openalex.org/W3109186952","https://openalex.org/W3114378810","https://openalex.org/W3120825684","https://openalex.org/W3151021969","https://openalex.org/W3157456168","https://openalex.org/W3167934771","https://openalex.org/W3169125646","https://openalex.org/W3211463071","https://openalex.org/W4200327598","https://openalex.org/W4224324384","https://openalex.org/W4233794181","https://openalex.org/W4280610786","https://openalex.org/W4283367824","https://openalex.org/W4291909977","https://openalex.org/W4293399553","https://openalex.org/W4352981534","https://openalex.org/W4375852066","https://openalex.org/W4389612420","https://openalex.org/W8378249"],"related_works":["https://openalex.org/W4252573951","https://openalex.org/W2961381604","https://openalex.org/W2902958991","https://openalex.org/W2804225172","https://openalex.org/W2801513872","https://openalex.org/W2615554433","https://openalex.org/W2516092834","https://openalex.org/W2309980522","https://openalex.org/W2187618570","https://openalex.org/W2007955754"],"abstract_inverted_index":{"Building":[0],"robust,":[1,261],"reliable,":[2,262],"and":[3,14,23,29,58,87,203,226,244,247,263],"resilient":[4,264],"safety":[5,176,202],"critical":[6,105],"systems":[7,28],"is":[8,19,186,256],"a":[9,42,143,215,252],"major":[10],"challenge":[11],"facing":[12],"nations":[13],"states":[15],"today.":[16],"The":[17,139,184,228],"reason":[18,92,185],"that":[20,77,196],"the":[21,50,61,79,102,113,129,137,152,156,170,181,190,200,211,221,235],"complexity":[22],"technological":[24],"advancement":[25],"of":[26,60,81,104,125,132,135,155,172,174,223,237],"these":[27,54,126],"their":[30],"control":[31],"from":[32,231],"remote":[33],"locations":[34],"have":[35,109],"raised":[36],"various":[37],"security":[38],"threats,":[39],"leading":[40],"to":[41,91,168,187],"high":[43],"increase":[44],"in":[45,120,240],"successful":[46],"attacks":[47,64,159],"witnessed":[48],"over":[49],"years.":[51],"To":[52,69],"address":[53],"challenges,":[55],"timely":[56,130,246],"detection":[57,131],"recovery":[59,154],"system":[62,94,157,175],"under":[63,158],"or":[65,160],"failures":[66],"are":[67],"needed.":[68],"this":[70,97],"end,":[71],"we":[72,99],"proposed":[73,208],"an":[74,88,164],"STL-Autotuning":[75],"framework":[76,255],"integrates":[78],"concept":[80],"Signal":[82],"Temporal":[83],"Logic":[84],"(STL)":[85],"formalism":[86],"autotuning":[89,182,191],"mechanism":[90,141,192],"about":[93],"resilience.":[95],"In":[96],"work,":[98],"focus":[100],"on":[101,112],"study":[103,222],"processes":[106,127,225],"whose":[107],"changes":[108],"notable":[110],"impacts":[111],"overall":[114],"system.":[115,138],"Our":[116],"STL-based":[117],"approach":[118,209,239],"implemented":[119,163],"breach":[121],"provides":[122],"real-time":[123],"monitoring":[124],"for":[128,151,179,193,220,259],"violations":[133,173,195,243],"capable":[134],"crippling":[136],"auto-tuning":[140],"adopts":[142],"Simple":[144],"Internal":[145],"Model":[146],"Control":[147],"(SIMC)":[148],"PID":[149],"rule":[150],"quick":[153],"faults.":[161],"We":[162,205],"STL":[165],"quantitative":[166],"semantics":[167],"measure":[169],"degree":[171],"constraints":[177],"necessary":[178],"triggering":[180,189],"mechanism.":[183],"avoid":[188],"minor":[194],"do":[197],"not":[198],"impact":[199],"system's":[201],"availability.":[204],"tested":[206],"our":[207,232,238,254],"at":[210],"Tennessee":[212],"Eastman":[213],"Plant,":[214],"complex":[216],"model":[217],"explicitly":[218],"designed":[219],"industrial":[224],"control.":[227],"findings":[229],"derived":[230],"experiment":[233],"demonstrate":[234],"efficacy":[236],"promptly":[241],"detecting":[242],"effectuating":[245],"efficient":[248],"plant":[249],"recovery.":[250],"As":[251],"result,":[253],"highly":[257],"suitable":[258],"building":[260],"systems.":[265]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4390189711","counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2025-02-19T14:00:09.673543","created_date":"2023-12-26"}