{"id":"https://openalex.org/W7225630248","doi":"https://doi.org/10.5281/zenodo.24093738","title":"The Mechanics of Admissibility: Deterministic Admission Control and Certified Reachability for Cyber-Physical Substrates","display_name":"The Mechanics of Admissibility: Deterministic Admission Control and Certified Reachability for Cyber-Physical Substrates","publication_year":2026,"publication_date":"2026-11-09","ids":{"openalex":"https://openalex.org/W7225630248","doi":"https://doi.org/10.5281/zenodo.24093738"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24093738","doi":"https://doi.org/10.5281/zenodo.24093738","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24093738","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.24093738","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5151196566","display_name":"Jesse Ward Tuohy","orcid":"https://orcid.org/0009-0008-4661-1540","observed_orcids":["https://orcid.org/0009-0008-4661-1540"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Tuohy, Jesse","raw_affiliation_strings":["Arcstone Adaptive Science Systems, Inc"],"raw_orcid":"https://orcid.org/0009-0008-4661-1540","affiliations":[{"raw_affiliation_string":"Arcstone Adaptive Science Systems, Inc","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5151196566"],"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.9779999852180481,"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.9779999852180481,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.01080000028014183,"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"}},{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.005900000222027302,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/admission-control","display_name":"admission control","score":0.7990000247955322},{"id":"https://openalex.org/keywords/cyber-physical-systems","display_name":"cyber-physical systems","score":0.8109999895095825},{"id":"https://openalex.org/keywords/barrier-function","display_name":"barrier function","score":0.7390000224113464},{"id":"https://openalex.org/keywords/reachability-analysis","display_name":"reachability analysis","score":0.6570000052452087},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.7789999842643738},{"id":"https://openalex.org/keywords/hard-real-time-systems","display_name":"hard real-time systems","score":0.5019999742507935},{"id":"https://openalex.org/keywords/frame-conditions","display_name":"frame conditions","score":0.4950000047683716},{"id":"https://openalex.org/keywords/safety-guarantees","display_name":"safety guarantees","score":0.39500001072883606}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6836000084877014},{"id":"https://openalex.org/C164155591","wikidata":"https://www.wikidata.org/wiki/Q2067766","display_name":"Satisfiability modulo theories","level":2,"score":0.4672999978065491},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4115000069141388},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.3887999951839447},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3589000105857849},{"id":"https://openalex.org/C126042441","wikidata":"https://www.wikidata.org/wiki/Q1324888","display_name":"Frame (networking)","level":2,"score":0.35429999232292175},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.3492000102996826},{"id":"https://openalex.org/C2777964439","wikidata":"https://www.wikidata.org/wiki/Q5884201","display_name":"Holonomic","level":2,"score":0.34869998693466187},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.3465999960899353},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.32919999957084656},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.3287000060081482},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.3188000023365021},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3131999969482422},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.3109999895095825},{"id":"https://openalex.org/C9616225","wikidata":"https://www.wikidata.org/wiki/Q3929429","display_name":"Semantic reasoner","level":2,"score":0.3037000000476837},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.296999990940094},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.27810001373291016},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.2759000062942505},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.27559998631477356},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.2736000120639801},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.27250000834465027},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.2680000066757202},{"id":"https://openalex.org/C151746172","wikidata":"https://www.wikidata.org/wiki/Q1003025","display_name":"Formal power series","level":3,"score":0.266400009393692},{"id":"https://openalex.org/C134652429","wikidata":"https://www.wikidata.org/wiki/Q1052698","display_name":"Jitter","level":2,"score":0.26429998874664307},{"id":"https://openalex.org/C2776834041","wikidata":"https://www.wikidata.org/wiki/Q25346349","display_name":"Execution model","level":2,"score":0.26420000195503235},{"id":"https://openalex.org/C173856430","wikidata":"https://www.wikidata.org/wiki/Q3257964","display_name":"Separation logic","level":2,"score":0.2615000009536743},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.2581999897956848},{"id":"https://openalex.org/C204707403","wikidata":"https://www.wikidata.org/wiki/Q1152398","display_name":"Canonical form","level":2,"score":0.2581999897956848},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.2549000084400177},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.25220000743865967},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.25200000405311584}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24093738","doi":"https://doi.org/10.5281/zenodo.24093738","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24093738","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.24093739","doi":"https://doi.org/10.5281/zenodo.24093739","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24093739","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.5281/zenodo.24093738","doi":"https://doi.org/10.5281/zenodo.24093738","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24093738","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7220805946","https://openalex.org/W1803004510","https://openalex.org/W7225005410","https://openalex.org/W7225063470","https://openalex.org/W2081956246","https://openalex.org/W7220941163","https://openalex.org/W4416232684","https://openalex.org/W7204189216","https://openalex.org/W2566324309","https://openalex.org/W7131820787"],"abstract_inverted_index":{"A":[0,56],"Formal":[1,14],"Architecture":[2],"Specification":[3,106,113],"on":[4,59],"Hybrid":[5],"Inductive":[6],"Invariants,":[7],"Action-Attributable":[8],"Frame":[9],"Conditions,":[10],"and":[11,20,96],"the":[12],"Cyber-Physical":[13,137],"Verification":[15],"Boundary":[16],"Autonomous":[17],"artificial":[18],"intelligence":[19],"neural":[21],"motion":[22],"planners":[23],"operate":[24],"over":[25],"continuous":[26],"latent":[27],"manifolds,":[28],"generating":[29],"non-deterministic":[30],"candidate":[31],"action":[32],"proposals.":[33],"When":[34],"commanding":[35],"physical":[36],"plants\u2014such":[37],"as":[38],"high-inertia":[39],"kinetic":[40],"actuators,":[41],"municipal":[42],"power":[43],"grids,":[44],"or":[45],"sovereign":[46],"financial":[47],"settlement":[48],"rails\u2014probabilistic":[49],"proposals":[50],"cannot":[51],"provide":[52],"verifiable":[53,88],"safety":[54],"guarantees.":[55,100],"controller":[57],"executing":[58],"dynamic":[60],"heaps":[61],"with":[62],"unconstrained":[63],"operating-system":[64],"scheduling":[65],"jitter":[66],"introduces":[67],"unbounded":[68],"temporal":[69],"latency":[70],"into":[71],"hard":[72],"real-time":[73],"actuation":[74],"paths.":[75],"This":[76],"document":[77],"specifies":[78],"a":[79],"deterministic":[80],"reference-monitor":[81],"architecture":[82],"for":[83],"cyber-physical":[84],"admission":[85],"control,":[86],"establishing":[87],"closed-form":[89],"barrier":[90],"functionals,":[91],"inductive":[92],"hybrid":[93],"simulation":[94],"relations,":[95],"zero-allocation":[97],"microarchitectural":[98],"memory":[99],"Canonical":[101,111,117,124],"Metadata":[102],"&":[103],"Epistemic":[104,121],"Identifiers:":[105],"Series":[107],"Code:":[108],"ARC-CAPSTONE-2026-SYNTH-01-REV19":[109],"Status:":[110],"Reference":[112],"(V19":[114],"\u2014":[115],"Final":[116],"Archival":[118],"Baseline)":[119],"Master":[120,132],"Anchor:":[122],"A-77-DELTA-SHIELD-LOCKED":[123],"Web":[125],"Root:":[126],"https://admissibilityscience.com":[127],"Primary":[128],"Suite":[129,134],"DOI:":[130,135,139],"10.5281/zenodo.22665852":[131],"Academic":[133],"10.5281/zenodo.23371581":[136],"Monograph":[138],"10.5281/zenodo.24041851":[140]},"counts_by_year":[],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2026-11-10T00:00:00"}