{"id":"https://openalex.org/W7225005410","doi":"https://doi.org/10.5281/zenodo.23847355","title":"A Constitutional Syscall Architecture for Cyber-Physical Control Systems","display_name":"A Constitutional Syscall Architecture for Cyber-Physical Control Systems","publication_year":2026,"publication_date":"2026-10-31","ids":{"openalex":"https://openalex.org/W7225005410","doi":"https://doi.org/10.5281/zenodo.23847355"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.23847355","doi":"https://doi.org/10.5281/zenodo.23847355","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23847355","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-nd","license_id":"https://openalex.org/licenses/cc-by-nd","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"volume":null,"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.23847355","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5160260510","display_name":"Adam Ableman","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Ableman, Adam","raw_affiliation_strings":["Constitutional Computing"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Constitutional Computing","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5160260510"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.83773294,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"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/T10927","display_name":"Access Control and Trust","score":0.6675000190734863,"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"}},"topics":[{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.6675000190734863,"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"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.10239999741315842,"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/T10126","display_name":"Logic, programming, and type systems","score":0.062300000339746475,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/cyber-physical-control-systems","display_name":"cyber-physical control systems","score":0.9290000200271606},{"id":"https://openalex.org/keywords/trusted-computing-base","display_name":"trusted computing base","score":0.7490000128746033},{"id":"https://openalex.org/keywords/safety-critical-systems","display_name":"safety-critical systems","score":0.4269999861717224}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6363000273704529},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.5806999802589417},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.48170000314712524},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.45410001277923584},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.44909998774528503},{"id":"https://openalex.org/C108759981","wikidata":"https://www.wikidata.org/wiki/Q788590","display_name":"Authorization","level":2,"score":0.43059998750686646},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4260999858379364},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.38179999589920044},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.33219999074935913},{"id":"https://openalex.org/C62354387","wikidata":"https://www.wikidata.org/wiki/Q875399","display_name":"Boundary (topology)","level":2,"score":0.32850000262260437},{"id":"https://openalex.org/C48209547","wikidata":"https://www.wikidata.org/wiki/Q1331104","display_name":"Controllability","level":2,"score":0.3077999949455261},{"id":"https://openalex.org/C98025372","wikidata":"https://www.wikidata.org/wiki/Q477538","display_name":"Systems architecture","level":3,"score":0.3077000081539154},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.2992999851703644},{"id":"https://openalex.org/C527821871","wikidata":"https://www.wikidata.org/wiki/Q228502","display_name":"Access control","level":2,"score":0.28700000047683716},{"id":"https://openalex.org/C172707124","wikidata":"https://www.wikidata.org/wiki/Q423488","display_name":"Actuator","level":2,"score":0.27799999713897705},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.27230000495910645},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.26579999923706055},{"id":"https://openalex.org/C58468513","wikidata":"https://www.wikidata.org/wiki/Q1201165","display_name":"Determinacy","level":2,"score":0.2624000012874603},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.2619999945163727},{"id":"https://openalex.org/C2778979077","wikidata":"https://www.wikidata.org/wiki/Q330190","display_name":"Receipt","level":2,"score":0.25870001316070557},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.250900000333786}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.23847355","doi":"https://doi.org/10.5281/zenodo.23847355","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23847355","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-nd","license_id":"https://openalex.org/licenses/cc-by-nd","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},{"id":"doi:10.5281/zenodo.23847356","doi":"https://doi.org/10.5281/zenodo.23847356","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23847356","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-nd","license_id":"https://openalex.org/licenses/cc-by-nd","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.5281/zenodo.23847355","doi":"https://doi.org/10.5281/zenodo.23847355","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.23847355","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-nd","license_id":"https://openalex.org/licenses/cc-by-nd","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"sustainable_development_goals":[{"display_name":"Peace, justice, and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.8046000003814697}],"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/W7128950667","https://openalex.org/W7220941163","https://openalex.org/W7213397102","https://openalex.org/W7124292862","https://openalex.org/W7224998071","https://openalex.org/W7131063649","https://openalex.org/W7131820787","https://openalex.org/W7220805946","https://openalex.org/W3141061082","https://openalex.org/W7202080540"],"abstract_inverted_index":{"This":[0],"paper":[1],"specifies":[2],"a":[3,17,75,80,87,143],"constitutional":[4,39],"programming":[5],"architecture":[6,139],"for":[7],"cyber-physical":[8],"control.":[9],"An":[10,69],"effect-pure":[11],"computational":[12],"core":[13],"proposes":[14],"world-touching":[15],"operations;":[16],"boundary":[18],"evaluates":[19],"them":[20],"against":[21],"scoped":[22],"authority,":[23],"versioned":[24],"constraints,":[25],"current":[26],"context,":[27],"and":[28,35,66,124,145],"timing":[29],"obligations.":[30],"Actuation,":[31],"sensing,":[32],"time,":[33],"persistence,":[34],"communication":[36],"become":[37],"explicit":[38],"crossings":[40],"rather":[41],"than":[42],"ambient":[43],"privileges.":[44],"The":[45,138],"central":[46],"correction":[47],"is":[48,51,140],"that":[49,74,86,128],"admissibility":[50],"not":[52,84,130,148],"execution.":[53],"A":[54],"complete":[55],"effect":[56,97],"lifecycle":[57],"distinguishes":[58],"proposal,":[59],"admission,":[60],"dispatch,":[61],"device":[62],"acceptance,":[63],"physical":[64,96],"observation,":[65],"evidentiary":[67],"standing.":[68],"authorization":[70],"receipt":[71],"proves":[72],"only":[73],"named":[76],"policy":[77],"state":[78],"admitted":[79],"request.":[81],"It":[82],"does":[83,129],"prove":[85],"driver":[88],"accepted":[89],"it,":[90],"an":[91,125],"actuator":[92],"moved,":[93],"the":[94,100,119,133],"intended":[95],"occurred,":[98],"or":[99,157],"surrounding":[101],"world":[102],"remained":[103],"safe.":[104],"Cyber-physical":[105],"governance":[106],"therefore":[107],"requires":[108],"typed":[109],"receipts,":[110],"independent":[111],"observations,":[112],"bounded":[113],"unknown":[114],"states,":[115],"non-bypassability":[116],"evidence":[117],"over":[118],"whole":[120],"trusted":[121],"computing":[122],"base,":[123],"emergency":[126],"path":[127],"depend":[131],"on":[132],"ordinary":[134],"adjudicator":[135],"remaining":[136],"healthy.":[137],"presented":[141],"as":[142,149],"proposal":[144],"evaluation":[146],"program,":[147],"demonstrated":[150],"safety,":[151],"real-time":[152],"performance,":[153],"replay":[154],"equivalence,":[155],"certification,":[156],"standards":[158],"conformance.":[159]},"counts_by_year":[],"updated_date":"2026-11-02T09:45:03.842371","created_date":"2026-11-01T00:00:00"}