{"id":"https://openalex.org/W7225565207","doi":"https://doi.org/10.5281/zenodo.24047370","title":"Complete Transplantation of Orbital Autonomous Traffic Control System (ATCS) Architecture to Residential Smart Kitchens: System Requirements, Control Barrier Functions, and Sub-12.5ms Hardware Interlocks (\u5b87\u5b99\u30c7\u30d6\u30ea\u81ea\u5f8b\u4ea4\u901a\u7ba1\u7406\u30b7\u30b9\u30c6\u30e0(ATCS)\u30a2\u30fc\u30ad\u30c6\u30af\u30c1\u30e3\u306e\u5bb6\u5ead\u7528\u30b9\u30de\u30fc\u30c8\u30ad\u30c3\u30c1\u30f3\u3078\u306e\u5b8c\u5168\u79fb\u690d\u306b\u95a2\u3059\u308b\u30b7\u30b9\u30c6\u30e0\u8981\u4ef6\u5b9a\u7fa9\u304a\u3088\u3073\u6570\u7406\u30e2\u30c7\u30eb\u7b56\u5b9a)","display_name":"Complete Transplantation of Orbital Autonomous Traffic Control System (ATCS) Architecture to Residential Smart Kitchens: System Requirements, Control Barrier Functions, and Sub-12.5ms Hardware Interlocks (\u5b87\u5b99\u30c7\u30d6\u30ea\u81ea\u5f8b\u4ea4\u901a\u7ba1\u7406\u30b7\u30b9\u30c6\u30e0(ATCS)\u30a2\u30fc\u30ad\u30c6\u30af\u30c1\u30e3\u306e\u5bb6\u5ead\u7528\u30b9\u30de\u30fc\u30c8\u30ad\u30c3\u30c1\u30f3\u3078\u306e\u5b8c\u5168\u79fb\u690d\u306b\u95a2\u3059\u308b\u30b7\u30b9\u30c6\u30e0\u8981\u4ef6\u5b9a\u7fa9\u304a\u3088\u3073\u6570\u7406\u30e2\u30c7\u30eb\u7b56\u5b9a)","publication_year":2026,"publication_date":"2026-11-08","ids":{"openalex":"https://openalex.org/W7225565207","doi":"https://doi.org/10.5281/zenodo.24047370"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24047370","doi":"https://doi.org/10.5281/zenodo.24047370","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24047370","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":null,"license_id":null,"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.24047370","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5158913348","display_name":"Yoko(\u6d0b\u5b50) Hasebe(\u9577\u8c37\u90e8)","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Hasebe(\u9577\u8c37\u90e8), Yoko(\u6d0b\u5b50)","raw_affiliation_strings":["Lead Researcher, Autonomous Infrastructure Systems, Autonomous Living & Physical Infrastructure Institute, Iwakuni, Yamaguchi, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Lead Researcher, Autonomous Infrastructure Systems, Autonomous Living & Physical Infrastructure Institute, Iwakuni, Yamaguchi, Japan","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5158913348"],"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.6996999979019165,"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"}},"topics":[{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.6996999979019165,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.13809999823570251,"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/T10791","display_name":"Advanced Control Systems Optimization","score":0.01510000042617321,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/space-debris","display_name":"space debris","score":0.6100000143051147},{"id":"https://openalex.org/keywords/smart-kitchen","display_name":"smart kitchen","score":0.7369999885559082},{"id":"https://openalex.org/keywords/fire-prevention","display_name":"fire prevention","score":0.6340000033378601},{"id":"https://openalex.org/keywords/control-barrier-functions","display_name":"control barrier functions","score":0.9549999833106995},{"id":"https://openalex.org/keywords/ai-safety","display_name":"AI safety","score":0.5730000138282776},{"id":"https://openalex.org/keywords/post-quantum-cryptography","display_name":"post-quantum cryptography","score":0.46700000762939453},{"id":"https://openalex.org/keywords/hardware-root-of-trust","display_name":"hardware root of trust","score":0.8040000200271606},{"id":"https://openalex.org/keywords/post-quantum-signatures","display_name":"post-quantum digital signatures","score":0.8230000138282776},{"id":"https://openalex.org/keywords/zero-knowledge-proofs","display_name":"zero-knowledge proofs","score":0.7789999842643738},{"id":"https://openalex.org/keywords/smart-contracts","display_name":"smart contracts","score":0.7319999933242798},{"id":"https://openalex.org/keywords/decentralized-physical-infrastructure-networks","display_name":"decentralized physical infrastructure networks","score":0.7570000290870667},{"id":"https://openalex.org/keywords/multi-objective-optimization","display_name":"multi-objective optimization","score":0.7260000109672546},{"id":"https://openalex.org/keywords/thermal-runaway","display_name":"thermal runaway","score":0.6119999885559082},{"id":"https://openalex.org/keywords/appliance-safety","display_name":"appliance safety","score":0.32199999690055847}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5329999923706055},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.41999998688697815},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.40779998898506165},{"id":"https://openalex.org/C99535591","wikidata":"https://www.wikidata.org/wiki/Q1817095","display_name":"Interlock","level":2,"score":0.3310999870300293},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3280999958515167},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.3278000056743622},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.3276999890804291},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.3109999895095825},{"id":"https://openalex.org/C3017944768","wikidata":"https://www.wikidata.org/wiki/Q1450463","display_name":"Poison control","level":2,"score":0.3102000057697296},{"id":"https://openalex.org/C28180684","wikidata":"https://www.wikidata.org/wiki/Q4080983","display_name":"Memory safety","level":3,"score":0.3061999976634979},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.3027999997138977},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.2994000017642975},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.29660001397132874},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.29589998722076416},{"id":"https://openalex.org/C2779795794","wikidata":"https://www.wikidata.org/wiki/Q7315343","display_name":"Reset (finance)","level":2,"score":0.29440000653266907},{"id":"https://openalex.org/C65232700","wikidata":"https://www.wikidata.org/wiki/Q5656403","display_name":"Hardware architecture","level":3,"score":0.2897999882698059},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.2867000102996826},{"id":"https://openalex.org/C527821871","wikidata":"https://www.wikidata.org/wiki/Q228502","display_name":"Access control","level":2,"score":0.28220000863075256},{"id":"https://openalex.org/C35869016","wikidata":"https://www.wikidata.org/wiki/Q846636","display_name":"Software architecture","level":3,"score":0.2782999873161316},{"id":"https://openalex.org/C99138194","wikidata":"https://www.wikidata.org/wiki/Q183427","display_name":"Hash function","level":2,"score":0.2694999873638153},{"id":"https://openalex.org/C113168747","wikidata":"https://www.wikidata.org/wiki/Q507295","display_name":"Cruise control","level":3,"score":0.2687000036239624},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.2599000036716461},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.2538999915122986}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24047370","doi":"https://doi.org/10.5281/zenodo.24047370","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24047370","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.24047371","doi":"https://doi.org/10.5281/zenodo.24047371","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24047371","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.5281/zenodo.24047370","doi":"https://doi.org/10.5281/zenodo.24047370","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24047370","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":null,"license_id":null,"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/W7225044305","https://openalex.org/W7224310888","https://openalex.org/W7223064880","https://openalex.org/W7225455274","https://openalex.org/W7225581382","https://openalex.org/W7214161316","https://openalex.org/W7225037899","https://openalex.org/W7225576490","https://openalex.org/W7225451130","https://openalex.org/W7220433370"],"abstract_inverted_index":{"This":[0],"monograph":[1],"presents":[2],"the":[3,12,56,89,184,186,254],"formal":[4],"system":[5],"requirements":[6],"and":[7,16,41,49,60,85,91,115,130,214,263,284],"mathematical":[8,90],"framework":[9],"for":[10,23],"transplanting":[11],"Multi-Objective":[13],"Optimization":[14],"(MOO)":[15],"Quantum-Safe":[17],"Autonomous":[18,28,37],"Governance":[19],"(Q-SAFA)":[20],"architecture\u2014originally":[21],"engineered":[22],"extreme":[24],"orbital":[25],"Space":[26],"Debris":[27],"Traffic":[29],"Control":[30,98],"Systems":[31],"(ATCS)\u2014into":[32],"a":[33,97,131,148,173,200,235,241,257],"residential":[34,112],"smart":[35],"kitchen":[36],"AI":[38,46,77,168],"Fire":[39,142],"Prevention":[40],"Shutdown":[42],"System.":[43],"Because":[44],"probabilistic":[45],"inference":[47,170],"(LLMs":[48],"deep":[50],"reinforcement":[51],"learning":[52],"agents)":[53],"inherently":[54],"carries":[55],"risk":[57,107,119],"of":[58,136,205],"hallucination":[59],"non-deterministic":[61],"failure,":[62],"software":[63,169],"logic":[64],"alone":[65],"cannot":[66],"guarantee":[67],"safety.":[68],"To":[69],"provide":[70],"provable,":[71],"deterministic":[72],"safety,":[73],"this":[74],"architecture":[75],"binds":[76],"decision-making":[78],"across":[79],"three":[80],"independent":[81],"dimensions:":[82],"mathematical,":[83],"physical,":[84],"economic.":[86],"First,":[87],"at":[88],"physical":[92,133],"control":[93],"layer,":[94],"we":[95],"implement":[96],"Barrier":[99],"Function":[100],"(CBF)":[101],"safety":[102,291],"filter":[103],"(evaluate_constraints_kitchen(x)).":[104],"Orbital":[105],"collision":[106],"($f_3$)":[108],"is":[109,191],"mapped":[110],"to":[111,155,171,178,256],"thermal":[113],"runaway":[114],"secondary":[116],"incomplete":[117],"combustion":[118],"($f_{3\\_fire}$),":[120],"governed":[121],"by":[122,183,199],"an":[123,160,194,249],"ethical":[124],"boundary":[125],"condition":[126],"($\\theta_{ethics}":[127],"=":[128,165,276],"0.05$)":[129],"strict":[132,242],"upper":[134],"bound":[135],"$250^\\circ\\text{C}$":[137],"in":[138],"compliance":[139],"with":[140,211],"Japanese":[141],"Service":[143],"Act":[144],"Si-sensor":[145],"standards.":[146],"Utilizing":[147],"log-barrier":[149],"penalty":[150,163],"function":[151],"$\\Phi(x)$,":[152],"any":[153],"approach":[154],"$h(x)":[156],"\\le":[157],"0$":[158],"triggers":[159],"instantaneous":[161],"step-function":[162],"($\\Phi":[164],"\\infty$),":[166],"bypassing":[167],"actuate":[172],"SIL3-compliant":[174],"hardware":[175],"interlock.":[176],"Second,":[177],"prevent":[179],"post-incident":[180],"log":[181],"tampering":[182],"AI,":[185],"Quantum":[187],"Audit":[188],"Record":[189],"(QAR)":[190],"transplanted":[192],"as":[193],"\"Immutable":[195],"Anti-Liar":[196],"Diary\"":[197],"anchored":[198],"physically":[201],"isolated":[202],"Hardware":[203],"Root":[204],"Trust":[206],"(HRoT":[207],"/":[208,219],"TPM":[209],"2.0":[210],"PUF-derived":[212],"keys)":[213],"FPGA-accelerated":[215],"post-quantum":[216],"cryptography":[217],"(ML-DSA":[218],"SHA-256),":[220],"locking":[221],"environmental":[222],"sensor":[223],"telemetry":[224],"(temperature":[225],"$T$,":[226],"smoke":[227],"$S$,":[228],"gas":[229],"$G$,":[230],"combustible":[231],"proximity":[232],"$D$)":[233],"into":[234],"WORM":[236],"Merkle":[237],"hash":[238],"chain":[239],"within":[240],"$<":[243],"12.5\\text{":[244],"ms}$":[245],"latency":[246],"budget.":[247],"Third,":[248],"economic":[250],"governance":[251],"layer":[252],"links":[253],"appliance":[255],"Decentralized":[258],"Physical":[259],"Infrastructure":[260],"Network":[261],"(DePIN)":[262],"smart-contract":[264],"parametric":[265],"insurance":[266],"using":[267],"zero-knowledge":[268],"proofs":[269],"(zk-STARKs),":[270],"enforcing":[271],"dynamic":[272],"premium":[273],"scaling":[274],"$P(t)":[275],"P_0":[277],"\\exp(\\gamma":[278],"\\cdot":[279],"R_{score})$,":[280],"automated":[281],"collateral":[282],"slashing,":[283],"HEMS":[285],"smart-grid":[286],"power/gas":[287],"cutoff":[288],"upon":[289],"human":[290],"overrides.":[292]},"counts_by_year":[],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2026-11-09T00:00:00"}