{"id":"https://openalex.org/W4402300289","doi":"https://doi.org/10.1109/lra.2024.3455848","title":"Sleep When Everything Looks Fine: Self-Triggered Monitoring for Signal Temporal Logic Tasks","display_name":"Sleep When Everything Looks Fine: Self-Triggered Monitoring for Signal Temporal Logic Tasks","publication_year":2024,"publication_date":"2024-09-06","ids":{"openalex":"https://openalex.org/W4402300289","doi":"https://doi.org/10.1109/lra.2024.3455848"},"language":"en","primary_location":{"id":"doi:10.1109/lra.2024.3455848","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lra.2024.3455848","pdf_url":null,"source":{"id":"https://openalex.org/S4210169774","display_name":"IEEE Robotics and Automation Letters","issn_l":"2377-3766","issn":["2377-3766"],"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 Robotics and Automation Letters","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/A5071536148","display_name":"Chuwei Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Chuwei Wang","raw_affiliation_strings":["Department of Automation and Key Laboratory of System Control and Information Processing, Shanghai Jiao Tong University, Shanghai, China"],"raw_orcid":"https://orcid.org/0009-0004-3161-7043","affiliations":[{"raw_affiliation_string":"Department of Automation and Key Laboratory of System Control and Information Processing, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114339938","display_name":"Xinyi Yu","orcid":"https://orcid.org/0009-0004-0788-3464"},"institutions":[{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xinyi Yu","raw_affiliation_strings":["Thomas Lord Department of Computer Science, University of Southern California, Los Angeles, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Thomas Lord Department of Computer Science, University of Southern California, Los Angeles, CA, USA","institution_ids":["https://openalex.org/I1174212"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107748060","display_name":"Jianing Zhao","orcid":"https://orcid.org/0000-0002-1579-0522"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jianing Zhao","raw_affiliation_strings":["Department of Automation and Key Laboratory of System Control and Information Processing, Shanghai Jiao Tong University, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0002-1579-0522","affiliations":[{"raw_affiliation_string":"Department of Automation and Key Laboratory of System Control and Information Processing, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027184150","display_name":"Lars Lindemann","orcid":"https://orcid.org/0000-0003-3430-6625"},"institutions":[{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lars Lindemann","raw_affiliation_strings":["Thomas Lord Department of Computer Science, University of Southern California, Los Angeles, CA, USA"],"raw_orcid":"https://orcid.org/0000-0003-3430-6625","affiliations":[{"raw_affiliation_string":"Thomas Lord Department of Computer Science, University of Southern California, Los Angeles, CA, USA","institution_ids":["https://openalex.org/I1174212"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034304769","display_name":"Xiang Yin","orcid":"https://orcid.org/0000-0003-1944-1570"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiang Yin","raw_affiliation_strings":["Department of Automation and Key Laboratory of System Control and Information Processing, Shanghai Jiao Tong University, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0003-1944-1570","affiliations":[{"raw_affiliation_string":"Department of Automation and Key Laboratory of System Control and Information Processing, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5071536148"],"corresponding_institution_ids":["https://openalex.org/I183067930"],"apc_list":null,"apc_paid":null,"fwci":1.7285,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.86158148,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":"9","issue":"10","first_page":"8983","last_page":"8990"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9916999936103821,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9914000034332275,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/sleep","display_name":"Sleep (system call)","score":0.7164620161056519},{"id":"https://openalex.org/keywords/signal","display_name":"SIGNAL (programming language)","score":0.521095871925354},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.46077319979667664},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.3925674259662628},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.06264561414718628}],"concepts":[{"id":"https://openalex.org/C2775841894","wikidata":"https://www.wikidata.org/wiki/Q4683692","display_name":"Sleep (system call)","level":2,"score":0.7164620161056519},{"id":"https://openalex.org/C2779843651","wikidata":"https://www.wikidata.org/wiki/Q7390335","display_name":"SIGNAL (programming language)","level":2,"score":0.521095871925354},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.46077319979667664},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.3925674259662628},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.06264561414718628}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/lra.2024.3455848","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lra.2024.3455848","pdf_url":null,"source":{"id":"https://openalex.org/S4210169774","display_name":"IEEE Robotics and Automation Letters","issn_l":"2377-3766","issn":["2377-3766"],"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 Robotics and Automation Letters","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1195885390","display_name":null,"funder_award_id":"61833012","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G210139373","display_name":null,"funder_award_id":"62061136004","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5751649387","display_name":null,"funder_award_id":"62173226","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W189973795","https://openalex.org/W828139470","https://openalex.org/W1533557569","https://openalex.org/W1547304883","https://openalex.org/W2021667711","https://openalex.org/W2071775092","https://openalex.org/W2101804404","https://openalex.org/W2120575449","https://openalex.org/W2154718413","https://openalex.org/W2189285614","https://openalex.org/W2296271400","https://openalex.org/W2604744961","https://openalex.org/W2904465779","https://openalex.org/W2911522793","https://openalex.org/W2919694184","https://openalex.org/W3026534080","https://openalex.org/W3080722517","https://openalex.org/W3097945779","https://openalex.org/W3098560806","https://openalex.org/W3131101596","https://openalex.org/W3132304327","https://openalex.org/W3201396315","https://openalex.org/W3206863058","https://openalex.org/W3208913200","https://openalex.org/W4210600503","https://openalex.org/W4225515613","https://openalex.org/W4229029576","https://openalex.org/W4285613368","https://openalex.org/W4368362708","https://openalex.org/W4388233346","https://openalex.org/W4389235528","https://openalex.org/W4391019804","https://openalex.org/W4392877269","https://openalex.org/W4402300289"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W4402327032","https://openalex.org/W2382290278"],"abstract_inverted_index":{"Online":[0],"monitoring":[1,26,60,102,178],"is":[2,96,168],"a":[3,51,85,118,125],"widely":[4],"used":[5],"technique":[6],"in":[7,98],"assessing":[8],"if":[9],"the":[10,13,30,78,92,105,108,132,143,150,165,176],"performance":[11],"of":[12,61,76,107,164],"system":[14,34,64,79,94],"satisfies":[15],"some":[16],"desired":[17],"requirements":[18],"during":[19],"run-time":[20],"operation.":[21],"Existing":[22],"works":[23],"on":[24],"online":[25,59,145],"usually":[27],"assume":[28],"that":[29,121,161],"monitor":[31,87,120,146,153],"can":[32,88,122,154],"acquire":[33],"information":[35,163],"periodically":[36],"at":[37,81],"each":[38,82],"time":[39,83,133],"instant,":[40,84],"which":[41],"may":[42],"be":[43],"unnecessarily":[44],"energy-consuming.":[45],"In":[46],"this":[47],"paper,":[48],"we":[49],"proposed":[50,151,177],"novel":[52],"<italic":[53],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[54],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">self-triggered</i>":[55],"mechanism":[56],"for":[57,115],"model-based":[58],"discrete-time":[62],"dynamical":[63],"under":[65],"specifications":[66],"described":[67],"by":[68],"signal":[69],"temporal":[70],"logic":[71],"(STL)":[72],"formulae.":[73],"Specifically,":[74],"instead":[75],"sampling":[77],"state":[80,95],"self-triggered":[86,119,152],"actively":[89],"determine":[90],"when":[91],"next":[93],"sampled":[97],"addition":[99],"to":[100,174],"its":[101],"decision":[103],"regarding":[104],"satisfaction":[106],"task.":[109],"We":[110,138],"propose":[111],"an":[112],"effective":[113],"algorithm":[114],"synthesizing":[116],"such":[117],"correctly":[123],"evaluate":[124],"given":[126],"STL":[127,166],"formula":[128,167],"on-the-fly":[129],"while":[130,159],"maximizing":[131],"interval":[134],"between":[135],"two":[136],"observations.":[137],"show":[139],"that,":[140],"compared":[141],"with":[142,147],"standard":[144],"periodic":[148],"information,":[149],"significantly":[155],"reduce":[156],"observation":[157],"burden":[158],"ensuring":[160],"no":[162],"lost.":[169],"Case":[170],"studies":[171],"are":[172],"provided":[173],"illustrate":[175],"mechanism.":[179]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2024,"cited_by_count":3}],"updated_date":"2025-12-27T23:08:20.325037","created_date":"2025-10-10T00:00:00"}