{"id":"https://openalex.org/W6907256365","doi":"https://doi.org/10.21227/d5yc-pn12","title":"Intention-Aware Control Based on Belief-Space Specifications and Stochastic Expansion","display_name":"Intention-Aware Control Based on Belief-Space Specifications and Stochastic Expansion","publication_year":2024,"publication_date":"2024-08-11","ids":{"openalex":"https://openalex.org/W6907256365","doi":"https://doi.org/10.21227/d5yc-pn12"},"language":"en","primary_location":{"id":"doi:10.21227/d5yc-pn12","is_oa":true,"landing_page_url":"https://doi.org/10.21227/d5yc-pn12","pdf_url":null,"source":{"id":"https://openalex.org/S7407051695","display_name":"IEEE DataPort","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"Dataset"},"type":"dataset","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.21227/d5yc-pn12","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Zhang, Zengjie","orcid":null},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Zhang, Zengjie","raw_affiliation_strings":["Eindhoven University of Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I83019370"],"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":true,"primary_topic":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.7278000116348267},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.5825999975204468},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.5669000148773193},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.4742000102996826},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.4478999972343445},{"id":"https://openalex.org/keywords/stochastic-control","display_name":"Stochastic control","score":0.4153999984264374},{"id":"https://openalex.org/keywords/vehicle-dynamics","display_name":"Vehicle dynamics","score":0.36910000443458557},{"id":"https://openalex.org/keywords/model-predictive-control","display_name":"Model predictive control","score":0.3596000075340271},{"id":"https://openalex.org/keywords/stochastic-process","display_name":"Stochastic process","score":0.35569998621940613}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.7278000116348267},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.5825999975204468},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.5669000148773193},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5307000279426575},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.4742000102996826},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.4478999972343445},{"id":"https://openalex.org/C170131372","wikidata":"https://www.wikidata.org/wiki/Q7617811","display_name":"Stochastic control","level":3,"score":0.4153999984264374},{"id":"https://openalex.org/C79487989","wikidata":"https://www.wikidata.org/wiki/Q934680","display_name":"Vehicle dynamics","level":2,"score":0.36910000443458557},{"id":"https://openalex.org/C172205157","wikidata":"https://www.wikidata.org/wiki/Q1782962","display_name":"Model predictive control","level":3,"score":0.3596000075340271},{"id":"https://openalex.org/C8272713","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Stochastic process","level":2,"score":0.35569998621940613},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.35530000925064087},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.35100001096725464},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.335999995470047},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.3287999927997589},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.3084000051021576},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.30709999799728394},{"id":"https://openalex.org/C2776350369","wikidata":"https://www.wikidata.org/wiki/Q843479","display_name":"Control logic","level":2,"score":0.29440000653266907},{"id":"https://openalex.org/C91575142","wikidata":"https://www.wikidata.org/wiki/Q1971426","display_name":"Optimal control","level":2,"score":0.2883000075817108},{"id":"https://openalex.org/C127491075","wikidata":"https://www.wikidata.org/wiki/Q7617825","display_name":"Stochastic modelling","level":2,"score":0.2840999960899353},{"id":"https://openalex.org/C198008173","wikidata":"https://www.wikidata.org/wiki/Q1040040","display_name":"Computation tree logic","level":3,"score":0.2694000005722046},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.25850000977516174},{"id":"https://openalex.org/C41065033","wikidata":"https://www.wikidata.org/wiki/Q2825412","display_name":"Adversary","level":2,"score":0.25780001282691956},{"id":"https://openalex.org/C127757376","wikidata":"https://www.wikidata.org/wiki/Q2056514","display_name":"Active safety","level":2,"score":0.2551000118255615},{"id":"https://openalex.org/C13662910","wikidata":"https://www.wikidata.org/wiki/Q193139","display_name":"Trajectory","level":2,"score":0.2540000081062317},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.25119999051094055}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.21227/d5yc-pn12","is_oa":true,"landing_page_url":"https://doi.org/10.21227/d5yc-pn12","pdf_url":null,"source":{"id":"https://openalex.org/S7407051695","display_name":"IEEE DataPort","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Dataset"}],"best_oa_location":{"id":"doi:10.21227/d5yc-pn12","is_oa":true,"landing_page_url":"https://doi.org/10.21227/d5yc-pn12","pdf_url":null,"source":{"id":"https://openalex.org/S7407051695","display_name":"IEEE DataPort","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"Dataset"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.6211684346199036}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0,125],"paper":[1],"develops":[2],"a":[3,42,58,79,100,128],"correct-by-design":[4],"controller":[5,77],"for":[6,131],"an":[7,19],"autonomous":[8,122],"vehicle":[9,80],"interacting":[10],"with":[11,14,105,138],"opponent":[12,28],"vehicles":[13,29,137],"unknown":[15],"intentions.":[16,89],"We":[17,103],"define":[18],"intention-aware":[20,76],"control":[21,43,54,61,134],"problem":[22,62],"incorporating":[23],"epistemic":[24],"uncertainties":[25],"of":[26,115,135],"the":[27,96,109,132],"and":[30,66],"model":[31,71],"their":[32],"intentions":[33],"as":[34,46],"discrete-valued":[35],"random":[36],"variables.":[37],"Then,":[38],"we":[39,56],"focus":[40],"on":[41],"objective":[44],"specified":[45],"belief-space":[47],"temporal":[48],"logic":[49],"specifications.":[50],"From":[51],"this":[52],"stochastic":[53,64],"problem,":[55],"derive":[57],"sound":[59],"deterministic":[60],"using":[63,69],"expansion":[65],"solve":[67],"it":[68],"shrinking-horizon":[70],"predictive":[72],"control.":[73],"The":[74],"solved":[75],"allows":[78],"to":[81,86],"adjust":[82],"its":[83,87,119],"behaviors":[84],"according":[85],"opponents'":[88],"It":[90],"ensures":[91,112],"provable":[92],"safety":[93,140],"by":[94],"restricting":[95],"probabilistic":[97],"risk":[98,116],"under":[99],"desired":[101],"level.":[102],"show":[104],"experimental":[106],"studies":[107],"that":[108],"proposed":[110],"method":[111],"strict":[113],"limitation":[114],"probabilities,":[117],"validating":[118],"efficacy":[120],"in":[121],"driving":[123],"cases.":[124],"work":[126],"provides":[127],"novel":[129],"solution":[130],"risk-aware":[133],"interactive":[136],"formal":[139],"guarantees.":[141]},"counts_by_year":[],"updated_date":"2026-07-01T08:55:40.977307","created_date":"2025-10-10T00:00:00"}