{"id":"https://openalex.org/W3141421587","doi":"https://doi.org/10.1145/3447928.3456649","title":"Strategy synthesis for partially-known switched stochastic systems","display_name":"Strategy synthesis for partially-known switched stochastic systems","publication_year":2021,"publication_date":"2021-05-04","ids":{"openalex":"https://openalex.org/W3141421587","doi":"https://doi.org/10.1145/3447928.3456649","mag":"3141421587"},"language":"en","primary_location":{"id":"doi:10.1145/3447928.3456649","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3447928.3456649","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3447928.3456649","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3447928.3456649","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5110355221","display_name":"J.D. Jackson","orcid":null},"institutions":[{"id":"https://openalex.org/I188538660","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026","country_code":"US","type":"education","lineage":["https://openalex.org/I188538660"]},{"id":"https://openalex.org/I2802236040","display_name":"University of Colorado System","ror":"https://ror.org/00jc20583","country_code":"US","type":"education","lineage":["https://openalex.org/I2802236040"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"John Jackson","raw_affiliation_strings":["University of Colorado Boulder"],"affiliations":[{"raw_affiliation_string":"University of Colorado Boulder","institution_ids":["https://openalex.org/I2802236040","https://openalex.org/I188538660"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009660282","display_name":"Luca Laurenti","orcid":"https://orcid.org/0000-0003-1190-6097"},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Luca Laurenti","raw_affiliation_strings":["Delft University of Technology, Delft, Netherlands"],"affiliations":[{"raw_affiliation_string":"Delft University of Technology, Delft, Netherlands","institution_ids":["https://openalex.org/I98358874"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021878663","display_name":"Eric W. Frew","orcid":"https://orcid.org/0000-0003-3686-089X"},"institutions":[{"id":"https://openalex.org/I188538660","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026","country_code":"US","type":"education","lineage":["https://openalex.org/I188538660"]},{"id":"https://openalex.org/I2802236040","display_name":"University of Colorado System","ror":"https://ror.org/00jc20583","country_code":"US","type":"education","lineage":["https://openalex.org/I2802236040"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Eric Frew","raw_affiliation_strings":["University of Colorado Boulder"],"affiliations":[{"raw_affiliation_string":"University of Colorado Boulder","institution_ids":["https://openalex.org/I2802236040","https://openalex.org/I188538660"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5069564559","display_name":"Morteza Lahijanian","orcid":"https://orcid.org/0000-0001-7549-4365"},"institutions":[{"id":"https://openalex.org/I188538660","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026","country_code":"US","type":"education","lineage":["https://openalex.org/I188538660"]},{"id":"https://openalex.org/I2802236040","display_name":"University of Colorado System","ror":"https://ror.org/00jc20583","country_code":"US","type":"education","lineage":["https://openalex.org/I2802236040"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Morteza Lahijanian","raw_affiliation_strings":["University of Colorado Boulder"],"affiliations":[{"raw_affiliation_string":"University of Colorado Boulder","institution_ids":["https://openalex.org/I2802236040","https://openalex.org/I188538660"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5110355221"],"corresponding_institution_ids":["https://openalex.org/I188538660","https://openalex.org/I2802236040"],"apc_list":null,"apc_paid":null,"fwci":1.8195,"has_fulltext":true,"cited_by_count":14,"citation_normalized_percentile":{"value":0.87556385,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"11"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12814","display_name":"Gaussian Processes and Bayesian Inference","score":0.9879999756813049,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T12814","display_name":"Gaussian Processes and Bayesian Inference","score":0.9879999756813049,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9869999885559082,"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/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9843000173568726,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.686179518699646},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.6079477667808533},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.6047905683517456},{"id":"https://openalex.org/keywords/markov-decision-process","display_name":"Markov decision process","score":0.5437170267105103},{"id":"https://openalex.org/keywords/markov-process","display_name":"Markov process","score":0.5102267265319824},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.48031964898109436},{"id":"https://openalex.org/keywords/interval","display_name":"Interval (graph theory)","score":0.4800375699996948},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.4688628315925598},{"id":"https://openalex.org/keywords/stochastic-process","display_name":"Stochastic process","score":0.46417900919914246},{"id":"https://openalex.org/keywords/gaussian-process","display_name":"Gaussian process","score":0.42250627279281616},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.40584078431129456},{"id":"https://openalex.org/keywords/gaussian","display_name":"Gaussian","score":0.36313021183013916},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3440410792827606},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2475484013557434},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.12449091672897339}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.686179518699646},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.6079477667808533},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.6047905683517456},{"id":"https://openalex.org/C106189395","wikidata":"https://www.wikidata.org/wiki/Q176789","display_name":"Markov decision process","level":3,"score":0.5437170267105103},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.5102267265319824},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.48031964898109436},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.4800375699996948},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.4688628315925598},{"id":"https://openalex.org/C8272713","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Stochastic process","level":2,"score":0.46417900919914246},{"id":"https://openalex.org/C61326573","wikidata":"https://www.wikidata.org/wiki/Q1496376","display_name":"Gaussian process","level":3,"score":0.42250627279281616},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.40584078431129456},{"id":"https://openalex.org/C163716315","wikidata":"https://www.wikidata.org/wiki/Q901177","display_name":"Gaussian","level":2,"score":0.36313021183013916},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3440410792827606},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2475484013557434},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.12449091672897339},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3447928.3456649","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3447928.3456649","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3447928.3456649","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2104.02172","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2104.02172","pdf_url":"https://arxiv.org/pdf/2104.02172","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:tud:oai:tudelft.nl:uuid:13a2f9bf-468f-4a01-810a-048d4bb22750","is_oa":true,"landing_page_url":"http://resolver.tudelft.nl/uuid:13a2f9bf-468f-4a01-810a-048d4bb22750","pdf_url":"http://resolver.tudelft.nl/uuid:13a2f9bf-468f-4a01-810a-048d4bb22750","source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of the 24th International Conference on Hybrid Systems (HSCC 2021): Computation and Control (part of CPS-IoT Week)","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":{"id":"doi:10.1145/3447928.3456649","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3447928.3456649","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3447928.3456649","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.699999988079071,"id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G1703429132","display_name":"IUCRC: Phase 2: Center for Unmanned Aircraft Systems","funder_award_id":"1650468","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2240931305","display_name":null,"funder_award_id":"1650468","funder_id":"https://openalex.org/F4320333620","funder_display_name":"Center for Unmanned Aircraft Systems"},{"id":"https://openalex.org/G2338014162","display_name":null,"funder_award_id":"IIP-1650468, NSF-2039062","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7650390553","display_name":null,"funder_award_id":"2039062","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320333620","display_name":"Center for Unmanned Aircraft Systems","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3141421587.pdf","grobid_xml":"https://content.openalex.org/works/W3141421587.grobid-xml"},"referenced_works_count":45,"referenced_works":["https://openalex.org/W156419107","https://openalex.org/W341854258","https://openalex.org/W1498432697","https://openalex.org/W1502922572","https://openalex.org/W1512937499","https://openalex.org/W1700264732","https://openalex.org/W1896074376","https://openalex.org/W1964377184","https://openalex.org/W1975219867","https://openalex.org/W1988217924","https://openalex.org/W2053572490","https://openalex.org/W2058117005","https://openalex.org/W2063036328","https://openalex.org/W2120034667","https://openalex.org/W2149588608","https://openalex.org/W2166566250","https://openalex.org/W2398886555","https://openalex.org/W2592969750","https://openalex.org/W2618318883","https://openalex.org/W2759180318","https://openalex.org/W2784307648","https://openalex.org/W2803699674","https://openalex.org/W2889490035","https://openalex.org/W2906997088","https://openalex.org/W2912640545","https://openalex.org/W2913279531","https://openalex.org/W2949165985","https://openalex.org/W2963160885","https://openalex.org/W2963271096","https://openalex.org/W2963663068","https://openalex.org/W2969264971","https://openalex.org/W2970782456","https://openalex.org/W2982344641","https://openalex.org/W2991167521","https://openalex.org/W3006987257","https://openalex.org/W3037630927","https://openalex.org/W3100710152","https://openalex.org/W3120090185","https://openalex.org/W3124229194","https://openalex.org/W4288009553","https://openalex.org/W4288336312","https://openalex.org/W4292366002","https://openalex.org/W4294555834","https://openalex.org/W4298532043","https://openalex.org/W6677959772"],"related_works":["https://openalex.org/W2124110813","https://openalex.org/W3021103820","https://openalex.org/W2763487042","https://openalex.org/W2521108391","https://openalex.org/W1532447905","https://openalex.org/W2031188261","https://openalex.org/W4285022830","https://openalex.org/W4232446061","https://openalex.org/W2077520193","https://openalex.org/W1513400763"],"abstract_inverted_index":{"We":[0,135,154],"present":[1],"a":[2,55,96,127,144],"data-driven":[3],"framework":[4,42,158],"for":[5,8,78,130],"strategy":[6,97,122,129,139],"synthesis":[7],"partially-known":[9],"switched":[10,60,168],"stochastic":[11,81,133,169],"systems.":[12,170],"The":[13,41],"properties":[14],"of":[15,58,64,83,107],"the":[16,45,59,80,84,87,90,99,104,108,116,119,131,151],"system":[17,61,85],"are":[18],"specified":[19],"using":[20],"linear":[21,165],"temporal":[22],"logic":[23],"(LTL)":[24],"over":[25,38],"finite":[26,39],"traces":[27],"(LTLf),":[28],"which":[29],"is":[30,112,123,140],"as":[31,33],"expressive":[32],"LTL":[34],"and":[35,86,111,142,166],"enables":[36],"interpretations":[37],"behaviors.":[40],"first":[43],"learns":[44],"unknown":[46],"dynamics":[47],"via":[48],"Gaussian":[49],"process":[50],"regression.":[51],"Then,":[52,93],"it":[53],"builds":[54],"formal":[56],"abstraction":[57],"in":[62,89,118],"terms":[63],"an":[65,70],"uncertain":[66],"Markov":[67,72],"model,":[68],"namely":[69],"Interval":[71],"Decision":[73],"Process":[74],"(IMDP),":[75],"by":[76],"accounting":[77],"both":[79,164],"behavior":[82],"uncertainty":[88],"learning":[91],"step.":[92],"we":[94],"synthesize":[95],"on":[98,146,159],"resulting":[100],"IMDP":[101],"that":[102,137],"maximizes":[103],"satisfaction":[105],"probability":[106],"LTLf":[109],"specification":[110],"robust":[113],"against":[114],"all":[115],"uncertainties":[117],"abstraction.":[120],"This":[121],"then":[124],"refined":[125],"into":[126],"switching":[128],"original":[132],"system.":[134],"show":[136],"this":[138],"near-optimal":[141],"provide":[143],"bound":[145],"its":[147],"distance":[148],"(error)":[149],"to":[150],"optimal":[152],"strategy.":[153],"experimentally":[155],"validate":[156],"our":[157],"various":[160],"case":[161],"studies,":[162],"including":[163],"non-linear":[167]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":8},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}