{"id":"https://openalex.org/W7213457989","doi":"https://doi.org/10.3390/math14213883","title":"Closed-Relational Reconstruction Systems: Viability, Observable-History Lifting, and Finite Obstruction Certificates","display_name":"Closed-Relational Reconstruction Systems: Viability, Observable-History Lifting, and Finite Obstruction Certificates","publication_year":2026,"publication_date":"2026-10-24","ids":{"openalex":"https://openalex.org/W7213457989","doi":"https://doi.org/10.3390/math14213883"},"language":"en","primary_location":{"id":"doi:10.3390/math14213883","doi":"https://doi.org/10.3390/math14213883","is_oa":true,"landing_page_url":"https://doi.org/10.3390/math14213883","pdf_url":null,"source":{"id":"https://openalex.org/S4210192031","display_name":"Mathematics","issn_l":"2227-7390","issn":["2227-7390"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["anvur-scientific","cwts-core","doaj","poland-20","russia-white-list-1","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":"Mathematics","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/math14213883","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5151973237","display_name":"Bin Li","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Bin Li","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5151973237"],"corresponding_institution_ids":[],"apc_list":{"value":2600,"currency":"CHF","value_usd":3137},"apc_paid":{"value":2600,"currency":"CHF","value_usd":3137},"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.63169827,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"14","issue":"21","first_page":"3883","last_page":"3883"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9375,"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.9375,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.036400001496076584,"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/T11567","display_name":"semigroups and automata theory","score":0.008299999870359898,"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/observational-equivalence","display_name":"observational equivalence","score":0.3709999918937683},{"id":"https://openalex.org/keywords/viability","display_name":"viability","score":0.34200000762939453},{"id":"https://openalex.org/keywords/bisimulation","display_name":"bisimulation","score":0.8679999709129333},{"id":"https://openalex.org/keywords/lumpability","display_name":"lumpability","score":0.5860000252723694},{"id":"https://openalex.org/keywords/markov-kernels","display_name":"Markov kernels","score":0.7139999866485596},{"id":"https://openalex.org/keywords/inverse-limits","display_name":"inverse limits","score":0.5540000200271606},{"id":"https://openalex.org/keywords/reachable-sets","display_name":"reachable sets","score":0.45500001311302185}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7773000001907349},{"id":"https://openalex.org/C75306776","wikidata":"https://www.wikidata.org/wiki/Q7632662","display_name":"Successor cardinal","level":2,"score":0.49399998784065247},{"id":"https://openalex.org/C32848918","wikidata":"https://www.wikidata.org/wiki/Q845789","display_name":"Observable","level":2,"score":0.48240000009536743},{"id":"https://openalex.org/C199422724","wikidata":"https://www.wikidata.org/wiki/Q41118","display_name":"Quotient","level":2,"score":0.4359999895095825},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3978999853134155},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.39419999718666077},{"id":"https://openalex.org/C88626702","wikidata":"https://www.wikidata.org/wiki/Q1128903","display_name":"Continuation","level":2,"score":0.3409000039100647},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.32409998774528503},{"id":"https://openalex.org/C191399826","wikidata":"https://www.wikidata.org/wiki/Q326908","display_name":"Hausdorff space","level":2,"score":0.3149000108242035},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.31349998712539673},{"id":"https://openalex.org/C62799726","wikidata":"https://www.wikidata.org/wiki/Q190056","display_name":"Hilbert space","level":2,"score":0.30820000171661377},{"id":"https://openalex.org/C119238805","wikidata":"https://www.wikidata.org/wiki/Q229102","display_name":"Surjective function","level":2,"score":0.3050999939441681},{"id":"https://openalex.org/C27142425","wikidata":"https://www.wikidata.org/wiki/Q1139334","display_name":"Almost everywhere","level":2,"score":0.29600000381469727},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.27410000562667847},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.26919999718666077},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.26339998841285706},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.25999999046325684}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3390/math14213883","doi":"https://doi.org/10.3390/math14213883","is_oa":true,"landing_page_url":"https://doi.org/10.3390/math14213883","pdf_url":null,"source":{"id":"https://openalex.org/S4210192031","display_name":"Mathematics","issn_l":"2227-7390","issn":["2227-7390"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["anvur-scientific","cwts-core","doaj","poland-20","russia-white-list-1","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":"Mathematics","raw_type":"journal-article"},{"id":"doi:10.20944/preprints202609.1377.v1","doi":"https://doi.org/10.20944/preprints202609.1377.v1","is_oa":true,"landing_page_url":"https://doi.org/10.20944/preprints202609.1377.v1","pdf_url":null,"source":{"id":"https://openalex.org/S6309402219","display_name":"Preprints.org","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"posted-content"}],"best_oa_location":{"id":"doi:10.3390/math14213883","doi":"https://doi.org/10.3390/math14213883","is_oa":true,"landing_page_url":"https://doi.org/10.3390/math14213883","pdf_url":null,"source":{"id":"https://openalex.org/S4210192031","display_name":"Mathematics","issn_l":"2227-7390","issn":["2227-7390"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["anvur-scientific","cwts-core","doaj","poland-20","russia-white-list-1","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":"Mathematics","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W1521923248","https://openalex.org/W1594997032","https://openalex.org/W1999497797","https://openalex.org/W2046213250","https://openalex.org/W2058735307","https://openalex.org/W2068361557","https://openalex.org/W2088189323","https://openalex.org/W2114710208","https://openalex.org/W2168359464","https://openalex.org/W3172373804","https://openalex.org/W4232277105","https://openalex.org/W4280595347","https://openalex.org/W4292087277","https://openalex.org/W4409994302","https://openalex.org/W4417088357","https://openalex.org/W7155174371","https://openalex.org/W7162085880","https://openalex.org/W7167703252","https://openalex.org/W7169885209","https://openalex.org/W7172528262","https://openalex.org/W7204082842","https://openalex.org/W7204488859"],"related_works":["https://openalex.org/W7154624054","https://openalex.org/W7202293085","https://openalex.org/W7214067896","https://openalex.org/W7154493808","https://openalex.org/W7165788211","https://openalex.org/W7214702041","https://openalex.org/W7214071645","https://openalex.org/W7154592668","https://openalex.org/W7154748763","https://openalex.org/W7162211453"],"abstract_inverted_index":{"A":[0,127,147],"many-to-one":[1],"observation":[2],"can":[3],"create":[4],"a":[5,52,59,72,93,124,136,144,163],"fictitious":[6],"history":[7,49],"by":[8,51],"joining":[9],"transitions":[10],"that":[11],"require":[12],"incompatible":[13],"hidden":[14],"states.":[15],"We":[16,69],"study":[17],"this":[18],"problem":[19],"for":[20,77,156],"compact":[21],"Hausdorff":[22],"stage":[23],"spaces":[24],"with":[25,37],"closed":[26,30],"continuation":[27],"relations":[28],"and":[29,43,142,167,171,179,184],"observational":[31],"equivalences.":[32],"Compactness":[33],"identifies":[34],"indefinite":[35],"viability":[36,38],"at":[39,97],"every":[40,45,66,157],"finite":[41,53,90,106],"horizon":[42],"makes":[44],"nonliftable":[46],"infinite":[47],"observable":[48],"detectable":[50],"prefix.":[54],"Exact":[55],"successor":[56,121],"congruence":[57],"(ESC),":[58],"stage-dependent":[60],"bisimulation":[61],"condition,":[62],"guarantees":[63],"lifting":[64],"from":[65,154],"initial":[67],"representative.":[68],"also":[70],"give":[71],"strictly":[73],"weaker":[74],"necessary-and-sufficient":[75],"criterion":[76],"existence":[78],"of":[79,86],"some":[80],"lift,":[81],"formulated":[82],"using":[83],"reachable":[84],"sets":[85],"compatible":[87],"representatives.":[88],"In":[89],"time-homogeneous":[91],"systems,":[92],"shortest":[94],"obstruction":[95],"has":[96],"most":[98],"\u2211y(2|q\u22121(y)|\u22121)":[99],"transitions,":[100],"making":[101],"exhaustive":[102],"verification":[103],"finite.":[104],"Arbitrary":[105],"Markov":[107],"kernels":[108],"descend":[109],"exactly":[110],"when":[111],"their":[112,191],"aggregate":[113],"probabilities":[114],"agree":[115],"within":[116],"each":[117],"source":[118],"class;":[119],"uniform":[120],"counting":[122],"is":[123,162],"special":[125],"case.":[126],"complete":[128],"partially":[129],"observed":[130],"control":[131],"example":[132],"computes":[133],"viability,":[134],"detects":[135],"spliced":[137],"plan,":[138],"repairs":[139],"the":[140,189],"abstraction,":[141],"verifies":[143],"nonuniform":[145],"kernel.":[146],"separate":[148],"common-action":[149],"proposition":[150],"distinguishes":[151],"existential":[152],"realizability":[153],"admissibility":[155],"retained":[158],"candidate.":[159],"The":[160],"contribution":[161],"unified":[164],"history-level":[165],"audit":[166],"its":[168],"explicit":[169],"criteria":[170],"certificates,":[172],"built":[173],"on":[174],"classical":[175],"inverse-limit,":[176],"bisimulation,":[177],"lumpability,":[178],"subset-construction":[180],"methods.":[181],"Physical":[182],"reconstruction":[183],"Reconstruction":[185],"Before":[186],"Control":[187],"motivate":[188],"framework;":[190],"empirical":[192],"validity":[193],"remains":[194],"outside":[195],"these":[196],"model-relative":[197],"guarantees.":[198]},"counts_by_year":[],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2026-09-17T00:00:00"}