{"id":"https://openalex.org/W4293243668","doi":"https://doi.org/10.1109/tcad.2022.3197693","title":"Online Reset for Signal Temporal Logic Monitoring","display_name":"Online Reset for Signal Temporal Logic Monitoring","publication_year":2022,"publication_date":"2022-08-09","ids":{"openalex":"https://openalex.org/W4293243668","doi":"https://doi.org/10.1109/tcad.2022.3197693"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2022.3197693","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2022.3197693","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"},"type":"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/A5100684366","display_name":"Zhenya Zhang","orcid":"https://orcid.org/0000-0002-3854-9846"},"institutions":[{"id":"https://openalex.org/I135598925","display_name":"Kyushu University","ror":"https://ror.org/00p4k0j84","country_code":"JP","type":"education","lineage":["https://openalex.org/I135598925"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Zhenya Zhang","raw_affiliation_strings":["Faculty of Information Science and Electrical Engineering, Kyushu University, Fukuoka, Japan"],"affiliations":[{"raw_affiliation_string":"Faculty of Information Science and Electrical Engineering, Kyushu University, Fukuoka, Japan","institution_ids":["https://openalex.org/I135598925"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021486887","display_name":"Paolo Arcaini","orcid":"https://orcid.org/0000-0002-6253-4062"},"institutions":[{"id":"https://openalex.org/I184597095","display_name":"National Institute of Informatics","ror":"https://ror.org/04ksd4g47","country_code":"JP","type":"facility","lineage":["https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Paolo Arcaini","raw_affiliation_strings":["Information Systems Architecture Science Research Division, National Institute of Informatics, Chiyoda City, Japan"],"affiliations":[{"raw_affiliation_string":"Information Systems Architecture Science Research Division, National Institute of Informatics, Chiyoda City, Japan","institution_ids":["https://openalex.org/I184597095"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034067129","display_name":"Xuan Xie","orcid":"https://orcid.org/0000-0003-3981-8515"},"institutions":[{"id":"https://openalex.org/I154425047","display_name":"University of Alberta","ror":"https://ror.org/0160cpw27","country_code":"CA","type":"education","lineage":["https://openalex.org/I154425047"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Xuan Xie","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Alberta, Edmonton, Canada"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Alberta, Edmonton, Canada","institution_ids":["https://openalex.org/I154425047"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5100684366"],"corresponding_institution_ids":["https://openalex.org/I135598925"],"apc_list":null,"apc_paid":null,"fwci":1.3532,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.82977244,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"41","issue":"11","first_page":"4421","last_page":"4432"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9986000061035156,"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"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9955999851226807,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/reset","display_name":"Reset (finance)","score":0.9324432015419006},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7210000157356262},{"id":"https://openalex.org/keywords/signal","display_name":"SIGNAL (programming language)","score":0.6469911932945251},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5673589706420898},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.5445667505264282},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.49761202931404114},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.47924020886421204},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.44871193170547485},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3195488452911377},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1096327006816864}],"concepts":[{"id":"https://openalex.org/C2779795794","wikidata":"https://www.wikidata.org/wiki/Q7315343","display_name":"Reset (finance)","level":2,"score":0.9324432015419006},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7210000157356262},{"id":"https://openalex.org/C2779843651","wikidata":"https://www.wikidata.org/wiki/Q7390335","display_name":"SIGNAL (programming language)","level":2,"score":0.6469911932945251},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5673589706420898},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.5445667505264282},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.49761202931404114},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.47924020886421204},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.44871193170547485},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3195488452911377},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1096327006816864},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C106159729","wikidata":"https://www.wikidata.org/wiki/Q2294553","display_name":"Financial economics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcad.2022.3197693","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2022.3197693","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.7699999809265137}],"awards":[{"id":"https://openalex.org/G3515449996","display_name":null,"funder_award_id":"No. JPMJER1603","funder_id":"https://openalex.org/F4320334789","funder_display_name":"Japan Science and Technology Agency"},{"id":"https://openalex.org/G3632902876","display_name":null,"funder_award_id":"No.JP19H04086","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G7143479732","display_name":null,"funder_award_id":"No. JPMJMI20B8","funder_id":"https://openalex.org/F4320334789","funder_display_name":"Japan Science and Technology Agency"}],"funders":[{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"},{"id":"https://openalex.org/F4320334789","display_name":"Japan Science and Technology Agency","ror":"https://ror.org/00097mb19"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W828139470","https://openalex.org/W1533557569","https://openalex.org/W1547304883","https://openalex.org/W2023808162","https://openalex.org/W2027769154","https://openalex.org/W2031188261","https://openalex.org/W2049399166","https://openalex.org/W2068619069","https://openalex.org/W2101623441","https://openalex.org/W2131399618","https://openalex.org/W2153803621","https://openalex.org/W2182828685","https://openalex.org/W2189285614","https://openalex.org/W2294550728","https://openalex.org/W2567705466","https://openalex.org/W2734533983","https://openalex.org/W2785931971","https://openalex.org/W2796327418","https://openalex.org/W2938564214","https://openalex.org/W2956449613","https://openalex.org/W2963003663","https://openalex.org/W2967277443","https://openalex.org/W2978783547","https://openalex.org/W2998402843","https://openalex.org/W3047043794","https://openalex.org/W3080231185","https://openalex.org/W3090137276","https://openalex.org/W3154370202","https://openalex.org/W3184919107","https://openalex.org/W4200324797","https://openalex.org/W4230569261","https://openalex.org/W6768937078"],"related_works":["https://openalex.org/W350273603","https://openalex.org/W2393495588","https://openalex.org/W96259911","https://openalex.org/W2168225754","https://openalex.org/W4385608460","https://openalex.org/W2370772865","https://openalex.org/W1528611913","https://openalex.org/W2000034628","https://openalex.org/W2387487224","https://openalex.org/W4366146733"],"abstract_inverted_index":{"Online":[0],"monitoring":[1,55,140,162,190],"is":[2,15,33,63,81,88],"a":[3,13,22,37,60,73,121,152,185],"popular":[4],"validation":[5],"approach":[6],"in":[7,27],"which":[8],"the":[9,45,86,97,101,118,126,129,139,156,171,176,181,189],"temporal":[10,29],"behavior":[11],"of":[12,96,120,128],"system":[14],"checked":[16],"to":[17,65,131,143],"assess":[18],"whether":[19],"it":[20],"satisfies":[21],"given":[23],"specification":[24,46,87],"expressed,":[25],"e.g.,":[26],"signal":[28,98],"logic":[30],"(STL).":[31],"This":[32],"done":[34],"by":[35,90],"employing":[36],"monitor":[38,74,130,177],"that,":[39,114],"at":[40,115],"each":[41],"time":[42],"point,":[43],"states":[44],"validity:":[47],"satisfied,":[48],"violated,":[49],"or":[50],"unknown.":[51],"In":[52,136],"some":[53],"settings,":[54],"should":[56],"continue":[57,142],"even":[58],"after":[59],"violation":[61,69,122,148,182],"episode":[62,123],"detected,":[64],"detect":[66,144],"possible":[67,145],"future":[68,147],"episodes.":[70,149],"However,":[71],"for":[72],"just":[75],"relying":[76],"on":[77,165,188],"STL":[78],"semantics,":[79],"this":[80,105,137],"not":[82],"possible,":[83],"as,":[84],"once":[85],"violated":[89],"an":[91,110,134,160],"input":[92],"signal,":[93],"any":[94],"continuation":[95],"still":[99],"violates":[100],"specification.":[102],"To":[103],"tackle":[104],"problem,":[106],"we":[107],"here":[108],"propose":[109,151],"optimal":[111],"reset":[112,157,175],"technique":[113,158,172],"runtime,":[116],"detects":[117],"end":[119],"and":[124,178],"shifts":[125],"evaluation":[127],"skip":[132],"such":[133],"episode.":[135],"way,":[138],"can":[141,173],"other":[146],"We":[150],"framework":[153],"that":[154,170],"integrates":[155],"with":[159,184],"existing":[161],"approach.":[163],"Experiments":[164],"two":[166],"Simulink":[167],"models":[168],"show":[169],"effectively":[174],"report":[179],"all":[180],"episodes,":[183],"negligible":[186],"overhead":[187],"cost.":[191]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":3}],"updated_date":"2026-03-05T09:29:38.588285","created_date":"2025-10-10T00:00:00"}