{"id":"https://openalex.org/W7225616208","doi":"https://doi.org/10.3390/app162111047","title":"Reusing Causality Analysis and Trajectory Prefixes Accelerates Simulation Reruns for Finite State Machine Models","display_name":"Reusing Causality Analysis and Trajectory Prefixes Accelerates Simulation Reruns for Finite State Machine Models","publication_year":2026,"publication_date":"2026-11-08","ids":{"openalex":"https://openalex.org/W7225616208","doi":"https://doi.org/10.3390/app162111047"},"language":"en","primary_location":{"id":"doi:10.3390/app162111047","doi":"https://doi.org/10.3390/app162111047","is_oa":true,"landing_page_url":"https://doi.org/10.3390/app162111047","pdf_url":null,"source":{"id":"https://openalex.org/S4210205812","display_name":"Applied Sciences","issn_l":"2076-3417","issn":["2076-3417"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["anvur-class-a","anvur-scientific","cwts-core","doaj","norway-1","oarl","poland-100","russia-white-list-2","vabb-shw"],"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Applied Sciences","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.3390/app162111047","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101367139","display_name":"Tongyang Dai","orcid":"https://orcid.org/0009-0000-3180-7120","observed_orcids":["https://orcid.org/0009-0000-3180-7120"]},"institutions":[{"id":"https://openalex.org/I204983213","display_name":"Harbin Institute of Technology","ror":"https://ror.org/01yqg2h08","country_code":"CN","type":"education","lineage":["https://openalex.org/I204983213"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tongyang Dai","raw_affiliation_strings":["National Key Laboratory of Smart Farm Technologies and Systems, Harbin Institute of Technology, Harbin 150006, China"],"raw_orcid":"https://orcid.org/0009-0000-3180-7120","affiliations":[{"raw_affiliation_string":"National Key Laboratory of Smart Farm Technologies and Systems, Harbin Institute of Technology, Harbin 150006, China","institution_ids":["https://openalex.org/I204983213"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045337975","display_name":"Jing Jin","orcid":"https://orcid.org/0000-0001-7753-7656","observed_orcids":["https://orcid.org/0000-0001-7753-7656"]},"institutions":[{"id":"https://openalex.org/I204983213","display_name":"Harbin Institute of Technology","ror":"https://ror.org/01yqg2h08","country_code":"CN","type":"education","lineage":["https://openalex.org/I204983213"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jing Jin","raw_affiliation_strings":["School of Astronautics, Harbin Institute of Technology, Harbin 150006, China"],"raw_orcid":"https://orcid.org/0000-0001-7753-7656","affiliations":[{"raw_affiliation_string":"School of Astronautics, Harbin Institute of Technology, Harbin 150006, China","institution_ids":["https://openalex.org/I204983213"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5122900595","display_name":"Hongyu Yuan","orcid":"https://orcid.org/0009-0000-8058-1922","observed_orcids":["https://orcid.org/0009-0000-8058-1922"]},"institutions":[{"id":"https://openalex.org/I204983213","display_name":"Harbin Institute of Technology","ror":"https://ror.org/01yqg2h08","country_code":"CN","type":"education","lineage":["https://openalex.org/I204983213"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hongyu Yuan","raw_affiliation_strings":["International AI Research Institute, Harbin Institute of Technology (Shenzhen), Shenzhen 518071, China"],"raw_orcid":"https://orcid.org/0009-0000-8058-1922","affiliations":[{"raw_affiliation_string":"International AI Research Institute, Harbin Institute of Technology (Shenzhen), Shenzhen 518071, China","institution_ids":["https://openalex.org/I204983213"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5161352411","display_name":"Jie Liu","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I204983213","display_name":"Harbin Institute of Technology","ror":"https://ror.org/01yqg2h08","country_code":"CN","type":"education","lineage":["https://openalex.org/I204983213"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Jie Liu","raw_affiliation_strings":["National Key Laboratory of Smart Farm Technologies and Systems, Harbin Institute of Technology, Harbin 150006, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Key Laboratory of Smart Farm Technologies and Systems, Harbin Institute of Technology, Harbin 150006, China","institution_ids":["https://openalex.org/I204983213"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5161352411"],"corresponding_institution_ids":["https://openalex.org/I204983213"],"apc_list":{"value":2400,"currency":"CHF","value_usd":2896},"apc_paid":{"value":2400,"currency":"CHF","value_usd":2896},"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"16","issue":"21","first_page":"11047","last_page":"11047"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13286","display_name":"Modeling and Simulation Systems","score":0.6420999765396118,"subfield":{"id":"https://openalex.org/subfields/2611","display_name":"Modeling and Simulation"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13286","display_name":"Modeling and Simulation Systems","score":0.6420999765396118,"subfield":{"id":"https://openalex.org/subfields/2611","display_name":"Modeling and Simulation"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.24539999663829803,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.029899999499320984,"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/finite-state-models","display_name":"finite-state models","score":0.8090000152587891},{"id":"https://openalex.org/keywords/cache-design","display_name":"cache design","score":0.5709999799728394},{"id":"https://openalex.org/keywords/model-editing","display_name":"model editing","score":0.39100000262260437},{"id":"https://openalex.org/keywords/decision-validation","display_name":"decision validation","score":0.367000013589859}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.795799970626831},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.7936000227928162},{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.6620000004768372},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.49790000915527344},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.45210000872612},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.4438999891281128},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3874000012874603},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3443000018596649},{"id":"https://openalex.org/C13662910","wikidata":"https://www.wikidata.org/wiki/Q193139","display_name":"Trajectory","level":2,"score":0.3181000053882599},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.31610000133514404},{"id":"https://openalex.org/C177284502","wikidata":"https://www.wikidata.org/wiki/Q1005390","display_name":"Adapter (computing)","level":2,"score":0.29989999532699585},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.29679998755455017},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.27790001034736633},{"id":"https://openalex.org/C4679612","wikidata":"https://www.wikidata.org/wiki/Q866298","display_name":"Aggregate (composite)","level":2,"score":0.27090001106262207},{"id":"https://openalex.org/C141603448","wikidata":"https://www.wikidata.org/wiki/Q134830","display_name":"Prefix","level":2,"score":0.26499998569488525},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2572999894618988}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3390/app162111047","doi":"https://doi.org/10.3390/app162111047","is_oa":true,"landing_page_url":"https://doi.org/10.3390/app162111047","pdf_url":null,"source":{"id":"https://openalex.org/S4210205812","display_name":"Applied Sciences","issn_l":"2076-3417","issn":["2076-3417"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["anvur-class-a","anvur-scientific","cwts-core","doaj","norway-1","oarl","poland-100","russia-white-list-2","vabb-shw"],"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Applied Sciences","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.3390/app162111047","doi":"https://doi.org/10.3390/app162111047","is_oa":true,"landing_page_url":"https://doi.org/10.3390/app162111047","pdf_url":null,"source":{"id":"https://openalex.org/S4210205812","display_name":"Applied Sciences","issn_l":"2076-3417","issn":["2076-3417"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["anvur-class-a","anvur-scientific","cwts-core","doaj","norway-1","oarl","poland-100","russia-white-list-2","vabb-shw"],"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Applied Sciences","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":51,"referenced_works":["https://openalex.org/W1995307698","https://openalex.org/W2000882268","https://openalex.org/W2008985174","https://openalex.org/W2009634341","https://openalex.org/W2012670464","https://openalex.org/W2050204069","https://openalex.org/W2050856428","https://openalex.org/W2063471043","https://openalex.org/W2072916763","https://openalex.org/W2076218697","https://openalex.org/W2082171780","https://openalex.org/W2091769923","https://openalex.org/W2106656979","https://openalex.org/W2113239343","https://openalex.org/W2117897510","https://openalex.org/W2119355229","https://openalex.org/W2127335869","https://openalex.org/W2138428785","https://openalex.org/W2142491343","https://openalex.org/W2147340401","https://openalex.org/W2149207009","https://openalex.org/W2150139634","https://openalex.org/W2150871235","https://openalex.org/W2153530968","https://openalex.org/W2159928435","https://openalex.org/W2163690888","https://openalex.org/W2163851162","https://openalex.org/W2164768649","https://openalex.org/W2165550854","https://openalex.org/W2169180789","https://openalex.org/W2259042472","https://openalex.org/W2283438976","https://openalex.org/W2293299776","https://openalex.org/W2352369207","https://openalex.org/W2521218765","https://openalex.org/W2578360098","https://openalex.org/W2620541612","https://openalex.org/W2804347281","https://openalex.org/W2908386671","https://openalex.org/W3005566493","https://openalex.org/W3007769740","https://openalex.org/W4200156137","https://openalex.org/W4200336859","https://openalex.org/W4231335741","https://openalex.org/W4235858940","https://openalex.org/W4244520147","https://openalex.org/W4254357460","https://openalex.org/W4256389789","https://openalex.org/W4298872162","https://openalex.org/W4396641511","https://openalex.org/W4409147637"],"related_works":["https://openalex.org/W2173524761","https://openalex.org/W7099112298","https://openalex.org/W7095973883","https://openalex.org/W2560874864","https://openalex.org/W4252615684","https://openalex.org/W7097277863","https://openalex.org/W2106461572","https://openalex.org/W1937259677","https://openalex.org/W4366203880","https://openalex.org/W1997816298"],"abstract_inverted_index":{"Rerunning":[0],"edited":[1,101],"finite":[2],"state":[3],"machine":[4],"(FSM)":[5],"models":[6,127],"can":[7],"recompute":[8],"dependencies":[9],"and":[10,20,27,37,51,85,106,120,125,135,146,161,176,186,201,209,222,227],"trajectory":[11,195],"segments":[12],"that":[13],"remain":[14],"valid.":[15],"We":[16],"investigate":[17],"causality-analysis":[18],"reuse":[19,22,56,139,184],"trajectory-prefix":[21],"through":[23],"their":[24],"validity":[25],"conditions":[26],"complete-request":[28,66],"costs.":[29,59],"Cached":[30],"transition":[31,112],"contributions":[32],"preserve":[33],"analysis":[34],"work;":[35],"contribution":[36,50,76],"aggregate":[38],"equality":[39],"allow":[40],"native":[41,115,190,194],"maps":[42],"to":[43],"be":[44,179],"retained.":[45],"Matched":[46],"contrasts":[47],"across":[48],"expression,":[49],"topology":[52,73],"edits":[53],"separate":[54,159],"publication":[55],"from":[57],"representation":[58],"Six":[60],"cache":[61],"designs":[62],"save":[63],"8.78\u201311.03%":[64],"of":[65,80,91,142,225],"time":[67,145,183],"in":[68,158],"the":[69,81,89,95,109,172,216,223],"short,":[70],"128-transition,":[71],"four-tick":[72],"condition;":[74],"ordinary":[75],"caching":[77],"captures":[78],"most":[79],"benefit.":[82],"Query,":[83],"allocation":[84],"storage":[86],"measurements":[87],"characterize":[88],"cost":[90,224],"retained":[92],"analysis.":[93],"At":[94],"execution":[96],"level,":[97],"decision":[98],"validation":[99],"evaluates":[100],"guards":[102],"on":[103,215],"cached":[104],"states":[105],"resumes":[107],"before":[108],"first":[110],"changed":[111],"selection.":[113],"Bound":[114],"checkpoints":[116,150],"retain":[117],"numerical,":[118],"scheduling":[119],"controller":[121],"state.":[122],"Four":[123],"thermal":[124],"joint-control":[126],"with":[128],"Runge\u2013Kutta":[129],"solvers":[130],"(RK23/RK45)":[131],"include":[132],"coupled":[133,152],"dynamics":[134],"branching":[136],"control.":[137],"Validated":[138],"saves":[140],"8.46\u201374.88%":[141],"nine-request":[143],"batch":[144],"30.69\u201347.09%":[147],"beyond":[148],"conservative":[149],"for":[151],"joints.":[153],"The":[154,167,192],"mechanisms":[155],"are":[156],"evaluated":[157],"cohorts,":[160],"no":[162],"integrated":[163],"implementation":[164],"is":[165],"tested.":[166],"reported":[168],"savings":[169],"therefore":[170],"describe":[171],"two":[173],"workloads":[174],"separately":[175],"should":[177],"not":[178],"added.":[180],"Both":[181],"studies":[182],"overhead":[185],"check":[187],"outputs":[188],"against":[189],"execution.":[191],"original":[193],"cohorts":[196],"pass":[197],"1674":[198],"differential":[199],"comparisons,":[200],"all":[202],"10,476":[203],"measured":[204],"requests":[205],"match":[206],"full-execution":[207],"records":[208],"final":[210],"adapter":[211],"states.":[212],"Savings":[213],"depend":[214],"work":[217],"an":[218],"edit":[219],"leaves":[220],"valid":[221],"checking":[226],"retaining":[228],"it.":[229]},"counts_by_year":[],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2026-11-10T00:00:00"}