{"id":"https://openalex.org/W7119480912","doi":"https://doi.org/10.48550/arxiv.2601.03445","title":"Policy Synthesis for Interval MDPs via Polyhedral Lyapunov Functions","display_name":"Policy Synthesis for Interval MDPs via Polyhedral Lyapunov Functions","publication_year":2026,"publication_date":"2026-01-06","ids":{"openalex":"https://openalex.org/W7119480912","doi":"https://doi.org/10.48550/arxiv.2601.03445"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2601.03445","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2601.03445","pdf_url":null,"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":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2601.03445","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5106693649","display_name":"Negar Monir","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Monir, Negar","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5017334634","display_name":"Sadegh Soudjani","orcid":"https://orcid.org/0000-0003-1922-6678"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Soudjani, Sadegh","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"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/T10462","display_name":"Reinforcement Learning in Robotics","score":0.8356000185012817,"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/T10462","display_name":"Reinforcement Learning in Robotics","score":0.8356000185012817,"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.02850000001490116,"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/T11697","display_name":"Numerical Methods and Algorithms","score":0.018400000408291817,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/interval","display_name":"Interval (graph theory)","score":0.6525999903678894},{"id":"https://openalex.org/keywords/markov-decision-process","display_name":"Markov decision process","score":0.6269000172615051},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6205000281333923},{"id":"https://openalex.org/keywords/lyapunov-function","display_name":"Lyapunov function","score":0.5357000231742859},{"id":"https://openalex.org/keywords/quadratic-equation","display_name":"Quadratic equation","score":0.5314000248908997},{"id":"https://openalex.org/keywords/affine-transformation","display_name":"Affine transformation","score":0.5202000141143799},{"id":"https://openalex.org/keywords/interval-arithmetic","display_name":"Interval arithmetic","score":0.48190000653266907},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.4699999988079071},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4336000084877014}],"concepts":[{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.660099983215332},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.6525999903678894},{"id":"https://openalex.org/C106189395","wikidata":"https://www.wikidata.org/wiki/Q176789","display_name":"Markov decision process","level":3,"score":0.6269000172615051},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6245999932289124},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6205000281333923},{"id":"https://openalex.org/C60640748","wikidata":"https://www.wikidata.org/wiki/Q2337858","display_name":"Lyapunov function","level":3,"score":0.5357000231742859},{"id":"https://openalex.org/C129844170","wikidata":"https://www.wikidata.org/wiki/Q41299","display_name":"Quadratic equation","level":2,"score":0.5314000248908997},{"id":"https://openalex.org/C92757383","wikidata":"https://www.wikidata.org/wiki/Q382497","display_name":"Affine transformation","level":2,"score":0.5202000141143799},{"id":"https://openalex.org/C191252586","wikidata":"https://www.wikidata.org/wiki/Q1671453","display_name":"Interval arithmetic","level":3,"score":0.48190000653266907},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.4699999988079071},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4336000084877014},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.4237000048160553},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.3869999945163727},{"id":"https://openalex.org/C2777303404","wikidata":"https://www.wikidata.org/wiki/Q759757","display_name":"Convergence (economics)","level":2,"score":0.3734999895095825},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.3353999853134155},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.31610000133514404},{"id":"https://openalex.org/C14646407","wikidata":"https://www.wikidata.org/wiki/Q1430750","display_name":"Bellman equation","level":2,"score":0.31029999256134033},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.3091999888420105},{"id":"https://openalex.org/C77405623","wikidata":"https://www.wikidata.org/wiki/Q598451","display_name":"System dynamics","level":2,"score":0.3075000047683716},{"id":"https://openalex.org/C137635306","wikidata":"https://www.wikidata.org/wiki/Q182667","display_name":"Pareto principle","level":2,"score":0.3012999892234802},{"id":"https://openalex.org/C87698059","wikidata":"https://www.wikidata.org/wiki/Q1808960","display_name":"LTI system theory","level":3,"score":0.2921999990940094},{"id":"https://openalex.org/C55689738","wikidata":"https://www.wikidata.org/wiki/Q15963867","display_name":"Discrete time and continuous time","level":2,"score":0.27469998598098755},{"id":"https://openalex.org/C81845259","wikidata":"https://www.wikidata.org/wiki/Q290117","display_name":"Quadratic programming","level":2,"score":0.27390000224113464},{"id":"https://openalex.org/C2776829284","wikidata":"https://www.wikidata.org/wiki/Q1341651","display_name":"Lyapunov stability","level":3,"score":0.27379998564720154},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.26759999990463257},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.2646999955177307},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2624000012874603},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.2558000087738037}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2601.03445","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2601.03445","pdf_url":null,"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2601.03445","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2601.03445","pdf_url":null,"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":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"score":0.7961164116859436,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Decision-making":[0],"under":[1,173],"uncertainty":[2,117],"is":[3],"central":[4],"to":[5,24,52,83],"many":[6],"safety-critical":[7],"applications,":[8],"where":[9],"decisions":[10],"must":[11],"be":[12],"guided":[13],"by":[14,133],"probabilistic":[15],"modeling":[16],"formalisms.":[17],"This":[18],"paper":[19],"introduces":[20],"a":[21,71,91,136,142,158],"novel":[22],"approach":[23,152],"policy":[25,137,171],"synthesis":[26,172],"in":[27,55,118,169],"multi-objective":[28],"interval":[29,76],"Markov":[30],"decision":[31],"processes":[32],"using":[33],"polyhedral":[34,50],"Lyapunov":[35],"functions.":[36],"Unlike":[37],"previous":[38],"Lyapunov-based":[39],"methods":[40],"that":[41,86,104,138],"mainly":[42],"rely":[43],"on":[44],"quadratic":[45],"functions,":[46],"our":[47,151],"method":[48],"utilizes":[49],"functions":[51],"enhance":[53],"accuracy":[54],"managing":[56],"uncertainties":[57,77],"within":[58,141],"value":[59,67],"iteration":[60,68],"of":[61,100,115,145],"dynamic":[62],"programming.":[63],"We":[64,149],"reformulate":[65],"the":[66,88,105,113,119,125],"algorithm":[69],"as":[70],"switched":[72],"affine":[73],"system":[74,89],"with":[75],"and":[78,161],"apply":[79],"control-theoretic":[80],"stability":[81],"principles":[82],"synthesize":[84],"policies":[85,107],"guide":[87],"toward":[90],"desired":[92],"target":[93,147],"set.":[94],"By":[95],"constructing":[96],"an":[97,162],"invariant":[98],"set":[99],"attraction,":[101],"we":[102],"ensure":[103],"synthesized":[106],"provide":[108],"convergence":[109],"guarantees":[110],"while":[111],"minimizing":[112],"impact":[114],"transition":[116],"underlying":[120],"model.":[121],"Our":[122],"methodology":[123],"removes":[124],"need":[126],"for":[127],"computationally":[128],"intensive":[129],"Pareto":[130],"curve":[131],"computations":[132],"directly":[134],"determining":[135],"brings":[139],"objectives":[140],"specified":[143],"range":[144],"their":[146],"values.":[148],"validate":[150],"through":[153],"numerical":[154],"case":[155],"studies,":[156],"including":[157],"recycling":[159],"robot":[160],"electric":[163],"vehicle":[164],"battery,":[165],"demonstrating":[166],"its":[167],"effectiveness":[168],"achieving":[170],"uncertainty.":[174]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-01-09T00:00:00"}