{"id":"https://openalex.org/W3175524290","doi":"https://doi.org/10.1007/s00236-021-00403-z","title":"An automated system repair framework with signal temporal logic","display_name":"An automated system repair framework with signal temporal logic","publication_year":2021,"publication_date":"2021-06-17","ids":{"openalex":"https://openalex.org/W3175524290","doi":"https://doi.org/10.1007/s00236-021-00403-z","mag":"3175524290"},"language":"en","primary_location":{"id":"doi:10.1007/s00236-021-00403-z","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00236-021-00403-z","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00236-021-00403-z.pdf","source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Acta Informatica","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s00236-021-00403-z.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5070542762","display_name":"Mert Erg\u00fcrtuna","orcid":"https://orcid.org/0000-0002-3369-5553"},"institutions":[{"id":"https://openalex.org/I201799495","display_name":"Middle East Technical University","ror":"https://ror.org/014weej12","country_code":"TR","type":"education","lineage":["https://openalex.org/I201799495"]}],"countries":["TR"],"is_corresponding":false,"raw_author_name":"Mert Ergurtuna","raw_affiliation_strings":["Department of Computer Engineering, Middle East Technical University, Ankara, Turkey"],"raw_orcid":"https://orcid.org/0000-0002-3369-5553","affiliations":[{"raw_affiliation_string":"Department of Computer Engineering, Middle East Technical University, Ankara, Turkey","institution_ids":["https://openalex.org/I201799495"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071670707","display_name":"Beyazit Yalcinkaya","orcid":"https://orcid.org/0000-0001-9987-635X"},"institutions":[{"id":"https://openalex.org/I201799495","display_name":"Middle East Technical University","ror":"https://ror.org/014weej12","country_code":"TR","type":"education","lineage":["https://openalex.org/I201799495"]}],"countries":["TR"],"is_corresponding":false,"raw_author_name":"Beyazit Yalcinkaya","raw_affiliation_strings":["Department of Computer Engineering, Middle East Technical University, Ankara, Turkey"],"raw_orcid":"https://orcid.org/0000-0001-9987-635X","affiliations":[{"raw_affiliation_string":"Department of Computer Engineering, Middle East Technical University, Ankara, Turkey","institution_ids":["https://openalex.org/I201799495"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029149821","display_name":"Ebru Ayd\u0131n G\u00f6l","orcid":"https://orcid.org/0000-0002-5813-9836"},"institutions":[{"id":"https://openalex.org/I201799495","display_name":"Middle East Technical University","ror":"https://ror.org/014weej12","country_code":"TR","type":"education","lineage":["https://openalex.org/I201799495"]}],"countries":["TR"],"is_corresponding":false,"raw_author_name":"Ebru Aydin Gol","raw_affiliation_strings":["Department of Computer Engineering, Middle East Technical University, Ankara, Turkey"],"raw_orcid":"https://orcid.org/0000-0002-5813-9836","affiliations":[{"raw_affiliation_string":"Department of Computer Engineering, Middle East Technical University, Ankara, Turkey","institution_ids":["https://openalex.org/I201799495"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":{"value":2390,"currency":"EUR","value_usd":2990},"fwci":1.0655,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.80601972,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"59","issue":"2-3","first_page":"183","last_page":"209"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9988999962806702,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.832657516002655},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.718199610710144},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6950080394744873},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6640792489051819},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.5950683951377869},{"id":"https://openalex.org/keywords/monotonic-function","display_name":"Monotonic function","score":0.5439039468765259},{"id":"https://openalex.org/keywords/signal","display_name":"SIGNAL (programming language)","score":0.4811445474624634},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4671679735183716},{"id":"https://openalex.org/keywords/complex-system","display_name":"Complex system","score":0.436554491519928},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.41983866691589355},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.40256667137145996},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.21194612979888916},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.18799489736557007},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.16441738605499268}],"concepts":[{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.832657516002655},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.718199610710144},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6950080394744873},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6640792489051819},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.5950683951377869},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.5439039468765259},{"id":"https://openalex.org/C2779843651","wikidata":"https://www.wikidata.org/wiki/Q7390335","display_name":"SIGNAL (programming language)","level":2,"score":0.4811445474624634},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4671679735183716},{"id":"https://openalex.org/C47822265","wikidata":"https://www.wikidata.org/wiki/Q854457","display_name":"Complex system","level":2,"score":0.436554491519928},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.41983866691589355},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40256667137145996},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.21194612979888916},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.18799489736557007},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.16441738605499268},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s00236-021-00403-z","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00236-021-00403-z","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00236-021-00403-z.pdf","source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Acta Informatica","raw_type":"journal-article"},{"id":"pmh:oai:https://open.metu.edu.tr:11511/91214","is_oa":false,"landing_page_url":"https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85108088478&origin=inward","pdf_url":null,"source":{"id":"https://openalex.org/S4306402495","display_name":"OpenMETU (Middle East Technical University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I201799495","host_organization_name":"Middle East Technical University","host_organization_lineage":["https://openalex.org/I201799495"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Journal Article"}],"best_oa_location":{"id":"doi:10.1007/s00236-021-00403-z","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00236-021-00403-z","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00236-021-00403-z.pdf","source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Acta Informatica","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7715325392","display_name":null,"funder_award_id":"798482","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8260117312","display_name":"Automating Timed Automata Design","funder_award_id":"798482","funder_id":"https://openalex.org/F4320338337","funder_display_name":"H2020 Marie Sk\u0142odowska-Curie Actions"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320338337","display_name":"H2020 Marie Sk\u0142odowska-Curie Actions","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3175524290.pdf","grobid_xml":"https://content.openalex.org/works/W3175524290.grobid-xml"},"referenced_works_count":42,"referenced_works":["https://openalex.org/W8063162","https://openalex.org/W56086133","https://openalex.org/W325265439","https://openalex.org/W369898724","https://openalex.org/W1546222822","https://openalex.org/W1608087281","https://openalex.org/W1796872423","https://openalex.org/W1917164756","https://openalex.org/W2007748737","https://openalex.org/W2016027000","https://openalex.org/W2049399166","https://openalex.org/W2095274657","https://openalex.org/W2101508170","https://openalex.org/W2122947685","https://openalex.org/W2131399618","https://openalex.org/W2166423024","https://openalex.org/W2185114873","https://openalex.org/W2187041056","https://openalex.org/W2294550728","https://openalex.org/W2616554232","https://openalex.org/W2785700716","https://openalex.org/W2807730630","https://openalex.org/W2912432686","https://openalex.org/W2954052712","https://openalex.org/W2956034981","https://openalex.org/W2961481235","https://openalex.org/W2963516601","https://openalex.org/W2966925236","https://openalex.org/W2973199035","https://openalex.org/W2977635527","https://openalex.org/W2982349156","https://openalex.org/W3001214547","https://openalex.org/W3002440596","https://openalex.org/W3005477963","https://openalex.org/W3012399582","https://openalex.org/W3021068062","https://openalex.org/W3046404672","https://openalex.org/W3090965641","https://openalex.org/W3104654558","https://openalex.org/W3126432375","https://openalex.org/W3208407575","https://openalex.org/W4244452926"],"related_works":["https://openalex.org/W57206970","https://openalex.org/W3196191855","https://openalex.org/W1950785758","https://openalex.org/W4235091896","https://openalex.org/W2023896637","https://openalex.org/W2185981755","https://openalex.org/W2498253392","https://openalex.org/W2996527951","https://openalex.org/W1539846681","https://openalex.org/W1532035848"],"abstract_inverted_index":{"Abstract":[0],"We":[1,59,112],"present":[2,73],"an":[3,74],"automated":[4],"system":[5,20,46,96],"repair":[6,137],"framework":[7,13,115],"for":[8],"cyber-physical":[9],"systems.":[10],"The":[11],"proposed":[12],"consists":[14],"of":[15,32,51,109,129],"three":[16],"main":[17],"steps:":[18],"(1)":[19],"simulation":[21],"and":[22,42,72,124,139],"fault":[23],"detection":[24],"to":[25,38,47,78,116],"generate":[26],"a":[27,64,80,84],"labeled":[28,85],"dataset,":[29],"(2)":[30],"identification":[31],"the":[33,39,45,49,52,56,61,89,94,103,107,110,114,135],"repairable":[34,133],"temporal":[35,68],"properties":[36],"leading":[37],"faulty":[40,95],"behavior":[41],"(3)":[43],"repairing":[44],"avoid":[48],"occurrence":[50],"cause":[53,62,108],"identified":[54],"in":[55,88],"second":[57],"step.":[58],"express":[60],"as":[63],"past":[65],"time":[66],"signal":[67],"logic":[69],"(ptSTL)":[70],"formula":[71,82,105],"efficient":[75],"monotonicity-based":[76],"method":[77],"synthesize":[79],"ptSTL":[81,104],"from":[83],"dataset.":[86],"Then,":[87],"third":[90],"step,":[91],"we":[92,131],"modify":[93],"by":[97],"removing":[98],"all":[99],"behaviors":[100],"that":[101],"satisfy":[102],"representing":[106],"fault.":[111],"apply":[113],"two":[117],"rich":[118],"modeling":[119],"formalisms:":[120],"discrete-time":[121],"dynamical":[122],"systems":[123],"timed":[125],"automata.":[126],"For":[127],"both":[128],"them,":[130],"define":[132],"formulae,":[134],"corresponding":[136],"procedures,":[138],"illustrate":[140],"them":[141],"over":[142],"case":[143],"studies.":[144]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}