{"id":"https://openalex.org/W7167027549","doi":"https://doi.org/10.48550/arxiv.2607.00044","title":"Destination-Labeled Self-Looping Systems with Dwell: Intrinsic Characterization, Realization Cost, and Recognition","display_name":"Destination-Labeled Self-Looping Systems with Dwell: Intrinsic Characterization, Realization Cost, and Recognition","publication_year":2026,"publication_date":"2026-06-29","ids":{"openalex":"https://openalex.org/W7167027549","doi":"https://doi.org/10.48550/arxiv.2607.00044"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2607.00044","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.00044","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2607.00044","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5079395717","display_name":"Reda Belaiche","orcid":"https://orcid.org/0000-0002-8741-0349"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Belaiche, Reda","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5079395717"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.3093999922275543,"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.3093999922275543,"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/T10046","display_name":"Stability and Control of Uncertain Systems","score":0.13609999418258667,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11187","display_name":"Nonlinear Dynamics and Pattern Formation","score":0.09769999980926514,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.7519999742507935},{"id":"https://openalex.org/keywords/converse","display_name":"Converse","score":0.6466000080108643},{"id":"https://openalex.org/keywords/dwell-time","display_name":"Dwell time","score":0.541100025177002},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5034000277519226},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.49079999327659607},{"id":"https://openalex.org/keywords/topology","display_name":"Topology (electrical circuits)","score":0.40470001101493835},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.3968999981880188},{"id":"https://openalex.org/keywords/realization","display_name":"Realization (probability)","score":0.3944999873638153}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.7519999742507935},{"id":"https://openalex.org/C2776809875","wikidata":"https://www.wikidata.org/wiki/Q1375963","display_name":"Converse","level":2,"score":0.6466000080108643},{"id":"https://openalex.org/C151637689","wikidata":"https://www.wikidata.org/wiki/Q5318064","display_name":"Dwell time","level":2,"score":0.541100025177002},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.515500009059906},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5034000277519226},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.49079999327659607},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.40470001101493835},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.3968999981880188},{"id":"https://openalex.org/C2781089630","wikidata":"https://www.wikidata.org/wiki/Q21856745","display_name":"Realization (probability)","level":2,"score":0.3944999873638153},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3345000147819519},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.32760000228881836},{"id":"https://openalex.org/C2983497884","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite state","level":3,"score":0.3179999887943268},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.2971999943256378},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.29339998960494995},{"id":"https://openalex.org/C2780012671","wikidata":"https://www.wikidata.org/wiki/Q1343870","display_name":"Corollary","level":2,"score":0.2930999994277954},{"id":"https://openalex.org/C6802819","wikidata":"https://www.wikidata.org/wiki/Q1072174","display_name":"Linear system","level":2,"score":0.290800005197525},{"id":"https://openalex.org/C146380142","wikidata":"https://www.wikidata.org/wiki/Q1137726","display_name":"Directed graph","level":2,"score":0.28439998626708984},{"id":"https://openalex.org/C75306776","wikidata":"https://www.wikidata.org/wiki/Q7632662","display_name":"Successor cardinal","level":2,"score":0.28380000591278076},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.27559998631477356},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.27459999918937683},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.27160000801086426},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.26829999685287476},{"id":"https://openalex.org/C38754835","wikidata":"https://www.wikidata.org/wiki/Q2003238","display_name":"Strongly connected component","level":2,"score":0.2624000012874603},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.25839999318122864}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2607.00044","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.00044","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2607.00044","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.00044","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.6793603301048279}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"We":[0,100,143],"study":[1],"a":[2,23,33,75,96],"finite-state":[3],"symbolic":[4],"controller":[5],"for":[6],"systems":[7,94],"in":[8,16,129,178],"which":[9,30,85,179],"the":[10,42,67,82,103,107,123,131,135,139,172],"admissible":[11],"visible":[12,20,43,69,98,125,132],"transitions":[13,180],"are":[14,127],"fixed":[15,97],"advance":[17],"and":[18,116,138,167,170],"each":[19],"state":[21,70],"carries":[22],"minimum":[24],"dwell":[25,38,50,64,136,152],"requirement.":[26],"The":[27,57],"resulting":[28],"model,":[29],"we":[31,162],"call":[32],"destination-labeled":[34],"self-looping":[35],"system":[36],"with":[37,46],"(DLSL":[39],"system),":[40],"records":[41],"graph":[44,126],"together":[45],"local":[47,140],"decision":[48,141],"maps;":[49],"memory":[51],"appears":[52],"only":[53],"after":[54],"phase":[55],"expansion.":[56],"main":[58],"structural":[59],"issue":[60],"is":[61,65,77,105],"that,":[62],"once":[63],"imposed,":[66],"current":[68],"no":[71],"longer":[72],"determines":[73,134],"whether":[74],"departure":[76],"allowed.":[78],"This":[79],"leads":[80],"to":[81,174],"converse":[83],"problem:":[84],"deterministic":[86,149],"transducers":[87],"arise":[88],"as":[89],"phase-expanded":[90],"realizations":[91,121],"of":[92,109,185],"DLSL":[93],"over":[95,122],"graph?":[99],"show":[101],"that":[102,146],"answer":[104],"exactly":[106,156],"class":[108],"fiber-linear":[110],"graph-respecting":[111],"transducers.":[112],"Under":[113],"natural":[114],"reachability":[115],"realizable-departure":[117],"assumptions,":[118],"equivalent":[119],"accessible":[120],"same":[124],"isomorphic;":[128],"particular,":[130],"transduction":[133],"vector":[137],"maps.":[142],"also":[144],"prove":[145],"any":[147],"graph-preserving":[148],"realization":[150],"enforcing":[151],"values":[153],"$(d_i)$":[154],"requires":[155],"$\\sum_i":[157],"d_i$":[158],"control":[159],"states.":[160],"Finally,":[161],"give":[163],"an":[164,175],"$O(|Q||\u03a9|)$":[165],"recognition":[166],"reconstruction":[168],"procedure,":[169],"extend":[171],"analysis":[173],"edge-entry":[176],"variant":[177],"may":[181],"enter":[182],"interior":[183],"phases":[184],"successor":[186],"fibers.":[187]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-07-03T00:00:00"}