{"id":"https://openalex.org/W7153898049","doi":"https://doi.org/10.1145/3801119.3801130","title":"A Behavior-Centric Programming Framework for Drone Systems with Digital Twin Backends","display_name":"A Behavior-Centric Programming Framework for Drone Systems with Digital Twin Backends","publication_year":2026,"publication_date":"2026-03-16","ids":{"openalex":"https://openalex.org/W7153898049","doi":"https://doi.org/10.1145/3801119.3801130"},"language":null,"primary_location":{"id":"doi:10.1145/3801119.3801130","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3801119.3801130","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Companion Proceedings of the 10th International Conference on the Art, Science, and Engineering of Programming","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3801119.3801130","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Ryota Uesugi","orcid":"https://orcid.org/0009-0007-2279-8403"},"institutions":[{"id":"https://openalex.org/I1314466530","display_name":"Tokai University","ror":"https://ror.org/01p7qe739","country_code":"JP","type":"education","lineage":["https://openalex.org/I1314466530"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Ryota Uesugi","raw_affiliation_strings":["Tokai University, Tokyo, Japan"],"raw_orcid":"https://orcid.org/0009-0007-2279-8403","affiliations":[{"raw_affiliation_string":"Tokai University, Tokyo, Japan","institution_ids":["https://openalex.org/I1314466530"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041905999","display_name":"Nobuhiko Ogura","orcid":"https://orcid.org/0009-0006-6355-9612"},"institutions":[{"id":"https://openalex.org/I185088104","display_name":"Tokyo City University","ror":"https://ror.org/04dt6bw53","country_code":"JP","type":"education","lineage":["https://openalex.org/I185088104"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Nobuhiko Ogura","raw_affiliation_strings":["Tokyo City University, Yokohama, Japan"],"raw_orcid":"https://orcid.org/0009-0006-6355-9612","affiliations":[{"raw_affiliation_string":"Tokyo City University, Yokohama, Japan","institution_ids":["https://openalex.org/I185088104"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037430332","display_name":"Kenji Hisazumi","orcid":"https://orcid.org/0000-0003-2452-6552"},"institutions":[{"id":"https://openalex.org/I171481255","display_name":"Shibaura Institute of Technology","ror":"https://ror.org/020wjcq07","country_code":"JP","type":"education","lineage":["https://openalex.org/I171481255"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Kenji Hisazumi","raw_affiliation_strings":["Shibaura Institute of Technology, Saitama, Japan"],"raw_orcid":"https://orcid.org/0000-0003-2452-6552","affiliations":[{"raw_affiliation_string":"Shibaura Institute of Technology, Saitama, Japan","institution_ids":["https://openalex.org/I171481255"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049553659","display_name":"Harumi Watanabe","orcid":"https://orcid.org/0009-0004-9640-0937"},"institutions":[{"id":"https://openalex.org/I1314466530","display_name":"Tokai University","ror":"https://ror.org/01p7qe739","country_code":"JP","type":"education","lineage":["https://openalex.org/I1314466530"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Harumi Watanabe","raw_affiliation_strings":["Tokai University, Tokyo, Japan"],"raw_orcid":"https://orcid.org/0009-0004-9640-0937","affiliations":[{"raw_affiliation_string":"Tokai University, Tokyo, Japan","institution_ids":["https://openalex.org/I1314466530"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.80761262,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"62","last_page":"70"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11133","display_name":"UAV Applications and Optimization","score":0.4749999940395355,"subfield":{"id":"https://openalex.org/subfields/2202","display_name":"Aerospace Engineering"},"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/T11133","display_name":"UAV Applications and Optimization","score":0.4749999940395355,"subfield":{"id":"https://openalex.org/subfields/2202","display_name":"Aerospace 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/T10763","display_name":"Digital Transformation in Industry","score":0.12250000238418579,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing 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/T12000","display_name":"Systems Engineering Methodologies and Applications","score":0.03440000116825104,"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/construct","display_name":"Construct (python library)","score":0.640500009059906},{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.5817000269889832},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.4212000072002411},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.4108000099658966},{"id":"https://openalex.org/keywords/drone","display_name":"Drone","score":0.3971000015735626},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.36070001125335693},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.3483000099658966},{"id":"https://openalex.org/keywords/conformity","display_name":"Conformity","score":0.3296000063419342}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8019000291824341},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.640500009059906},{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.5817000269889832},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.47130000591278076},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.4212000072002411},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.4108000099658966},{"id":"https://openalex.org/C59519942","wikidata":"https://www.wikidata.org/wiki/Q650665","display_name":"Drone","level":2,"score":0.3971000015735626},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.36070001125335693},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.3483000099658966},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3409000039100647},{"id":"https://openalex.org/C142172996","wikidata":"https://www.wikidata.org/wiki/Q221284","display_name":"Conformity","level":2,"score":0.3296000063419342},{"id":"https://openalex.org/C2776654903","wikidata":"https://www.wikidata.org/wiki/Q2601463","display_name":"SAFER","level":2,"score":0.32749998569488525},{"id":"https://openalex.org/C2776542497","wikidata":"https://www.wikidata.org/wiki/Q5266672","display_name":"Development (topology)","level":2,"score":0.31630000472068787},{"id":"https://openalex.org/C139968098","wikidata":"https://www.wikidata.org/wiki/Q3055454","display_name":"Development environment","level":2,"score":0.31150001287460327},{"id":"https://openalex.org/C174063052","wikidata":"https://www.wikidata.org/wiki/Q607013","display_name":"Pair programming","level":4,"score":0.2987000048160553},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2921999990940094},{"id":"https://openalex.org/C116672817","wikidata":"https://www.wikidata.org/wiki/Q1454986","display_name":"Physical system","level":2,"score":0.28949999809265137},{"id":"https://openalex.org/C85973986","wikidata":"https://www.wikidata.org/wiki/Q1091731","display_name":"Exploratory research","level":2,"score":0.2800000011920929},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.26980000734329224},{"id":"https://openalex.org/C2777293101","wikidata":"https://www.wikidata.org/wiki/Q235086","display_name":"Smalltalk","level":3,"score":0.25029999017715454}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3801119.3801130","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3801119.3801130","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Companion Proceedings of the 10th International Conference on the Art, Science, and Engineering of Programming","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3801119.3801130","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3801119.3801130","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Companion Proceedings of the 10th International Conference on the Art, Science, and Engineering of Programming","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W2145919358","https://openalex.org/W2150275961","https://openalex.org/W2557086594","https://openalex.org/W2612063984","https://openalex.org/W2908020564","https://openalex.org/W4400439962","https://openalex.org/W4416299096","https://openalex.org/W7081937663"],"related_works":[],"abstract_inverted_index":{"This":[0],"paper":[1],"contributes":[2],"to":[3,13,16,30,59,101,111,121,149,211,224],"providing":[4],"multiple":[5,165,178],"views":[6],"for":[7,156],"a":[8,68,151,170,195,233],"physical":[9,26,89,143],"system\u2019s":[10],"behavior":[11,86,130,176,182],"dynamically":[12,128],"programmers":[14,99,109],"and":[15,19,38,92,180,190,236],"enhance":[17],"liveness":[18],"conformity":[20],"in":[21,51,74,131,177,206],"its":[22,175],"programming.":[23],"To":[24],"develop":[25],"systems,":[27,47],"we":[28,65,71,81,126,159,168,172,193,197],"need":[29,100,118],"consider":[31],"many":[32],"concerns":[33],"such":[34,67],"as":[35,204],"weather,":[36],"terrain,":[37],"traffic":[39],"conditions.":[40],"In":[41],"current":[42],"digital-twin-based":[43],"development":[44,69,133,154],"of":[45,87,142,183],"autonomous":[46],"these":[48],"are":[49],"organized":[50],"layers.":[52],"Also,":[53,107],"our":[54,207],"research":[55,163],"group":[56],"has":[57],"contributed":[58],"this":[60],"problem.":[61],"However,":[62],"even":[63],"if":[64,108],"use":[66],"environment,":[70],"feel":[72],"annoyed":[73],"some":[75],"places.":[76],"The":[77,140],"cause":[78],"is":[79,145,186,203],"that":[80],"cannot":[82,127],"easily":[83],"distinguish":[84],"the":[85,88,123,161,181,201,213,216,237],"system":[90,115],"before":[91,209],"after":[93],"changing":[94],"programs.":[95],"For":[96],"observing":[97],"behavior,":[98,116],"connect":[102],"components":[103],"or":[104],"external":[105],"systems.":[106],"want":[110],"focus":[112],"only":[113],"on":[114,136,232],"they":[117],"several":[119],"actions":[120,223],"select":[122],"mode.":[124],"Additionally,":[125],"change":[129,169],"popular":[132],"environments":[134],"based":[135],"general":[137],"digital":[138,234],"twins.":[139],"programming":[141],"systems":[144],"naturally":[146],"exploratory.":[147],"Therefore,":[148],"provide":[150],"more":[152],"comfortable":[153],"environment":[155],"exploratory":[157],"programming,":[158],"pose":[160],"following":[162],"issues.(1)Dynamic":[164],"views:":[166],"When":[167,192],"program,":[171,196],"can":[173,198],"observe":[174],"views,":[179],"each":[184],"view":[185],"also":[187],"changed":[188],"simultaneously.(2)Liveness":[189],"conformity:":[191],"construct":[194],"check":[199],"whether":[200],"program":[202,217,229],"intended":[205],"image":[208],"execution":[210],"confirm":[212],"conformity.":[214],"Then,":[215],"immediately":[218],"executes":[219,230],"without":[220],"any":[221],"bothersome":[222],"satisfy":[225],"liveness.(3)Real":[226],"drone:":[227],"One":[228],"both":[231],"twin":[235],"real":[238],"world.":[239]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-04-13T00:00:00"}
