{"id":"https://openalex.org/W7123354901","doi":"https://doi.org/10.1109/cdc57313.2025.11312207","title":"Barrier Certificates for Unknown Systems with Latent States and Polynomial Dynamics using Bayesian Inference","display_name":"Barrier Certificates for Unknown Systems with Latent States and Polynomial Dynamics using Bayesian Inference","publication_year":2025,"publication_date":"2025-12-09","ids":{"openalex":"https://openalex.org/W7123354901","doi":"https://doi.org/10.1109/cdc57313.2025.11312207"},"language":null,"primary_location":{"id":"doi:10.1109/cdc57313.2025.11312207","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc57313.2025.11312207","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 64th Conference on Decision and Control (CDC)","raw_type":"proceedings-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2504.01807","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5089372837","display_name":"Robert Lefringhausen","orcid":null},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Robert Lefringhausen","raw_affiliation_strings":["Technical University of Munich,Chair of Information-Oriented Control, School of Computation, Information and Technology,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University of Munich,Chair of Information-Oriented Control, School of Computation, Information and Technology,Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022515836","display_name":"Sami Leon Noel Aziz Hanna","orcid":"https://orcid.org/0000-0002-9455-528X"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sami Leon Noel Aziz Hanna","raw_affiliation_strings":["Technical University of Munich,Chair of Information-Oriented Control, School of Computation, Information and Technology,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University of Munich,Chair of Information-Oriented Control, School of Computation, Information and Technology,Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5122874908","display_name":"Elias August","orcid":null},"institutions":[{"id":"https://openalex.org/I165368041","display_name":"University of Iceland","ror":"https://ror.org/01db6h964","country_code":"IS","type":"education","lineage":["https://openalex.org/I165368041"]}],"countries":["IS"],"is_corresponding":false,"raw_author_name":"Elias August","raw_affiliation_strings":["Reykjavík University,Department of Engineering,Iceland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Reykjavík University,Department of Engineering,Iceland","institution_ids":["https://openalex.org/I165368041"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024376647","display_name":"Sandra Hirche","orcid":"https://orcid.org/0000-0001-7819-5926"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sandra Hirche","raw_affiliation_strings":["Technical University of Munich,Chair of Information-Oriented Control, School of Computation, Information and Technology,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University of Munich,Chair of Information-Oriented Control, School of Computation, Information and Technology,Germany","institution_ids":["https://openalex.org/I62916508"]}]}],"institutions":[],"countries_distinct_count":2,"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.68461585,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"6925","last_page":"6932"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10928","display_name":"Probabilistic and Robust Engineering Design","score":0.2451000064611435,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10928","display_name":"Probabilistic and Robust Engineering Design","score":0.2451000064611435,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.18029999732971191,"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/T11236","display_name":"Control Systems and Identification","score":0.08619999885559082,"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/probabilistic-logic","display_name":"Probabilistic logic","score":0.6191999912261963},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.551800012588501},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5514000058174133},{"id":"https://openalex.org/keywords/bayesian-probability","display_name":"Bayesian probability","score":0.5109999775886536},{"id":"https://openalex.org/keywords/certificate","display_name":"Certificate","score":0.4844000041484833},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.450300008058548},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.4390000104904175},{"id":"https://openalex.org/keywords/limiting","display_name":"Limiting","score":0.429500013589859},{"id":"https://openalex.org/keywords/system-dynamics","display_name":"System dynamics","score":0.382099986076355}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6304000020027161},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6191999912261963},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.551800012588501},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5514000058174133},{"id":"https://openalex.org/C107673813","wikidata":"https://www.wikidata.org/wiki/Q812534","display_name":"Bayesian probability","level":2,"score":0.5109999775886536},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.4844000041484833},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.450300008058548},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.4390000104904175},{"id":"https://openalex.org/C188198153","wikidata":"https://www.wikidata.org/wiki/Q1613840","display_name":"Limiting","level":2,"score":0.429500013589859},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4239000082015991},{"id":"https://openalex.org/C77405623","wikidata":"https://www.wikidata.org/wiki/Q598451","display_name":"System dynamics","level":2,"score":0.382099986076355},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.365200012922287},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.36469998955726624},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36000001430511475},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.35580000281333923},{"id":"https://openalex.org/C160234255","wikidata":"https://www.wikidata.org/wiki/Q812535","display_name":"Bayesian inference","level":3,"score":0.352400004863739},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.33169999718666077},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3068999946117401},{"id":"https://openalex.org/C114275822","wikidata":"https://www.wikidata.org/wiki/Q621512","display_name":"Linear dynamical system","level":3,"score":0.3059999942779541},{"id":"https://openalex.org/C51167844","wikidata":"https://www.wikidata.org/wiki/Q4422623","display_name":"Latent variable","level":2,"score":0.3027999997138977},{"id":"https://openalex.org/C33724603","wikidata":"https://www.wikidata.org/wiki/Q812540","display_name":"Bayesian network","level":2,"score":0.3018999993801117},{"id":"https://openalex.org/C134261354","wikidata":"https://www.wikidata.org/wiki/Q938438","display_name":"Statistical inference","level":2,"score":0.28839999437332153},{"id":"https://openalex.org/C24404364","wikidata":"https://www.wikidata.org/wiki/Q7246846","display_name":"Probabilistic analysis of algorithms","level":3,"score":0.2858000099658966},{"id":"https://openalex.org/C114289077","wikidata":"https://www.wikidata.org/wiki/Q3284399","display_name":"Statistical model","level":2,"score":0.26759999990463257},{"id":"https://openalex.org/C162376815","wikidata":"https://www.wikidata.org/wiki/Q2158281","display_name":"Frequentist inference","level":4,"score":0.2653999924659729},{"id":"https://openalex.org/C58489278","wikidata":"https://www.wikidata.org/wiki/Q1172284","display_name":"Data set","level":2,"score":0.2563999891281128},{"id":"https://openalex.org/C207201462","wikidata":"https://www.wikidata.org/wiki/Q182505","display_name":"Bayes' theorem","level":3,"score":0.2563000023365021},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.2538999915122986}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/cdc57313.2025.11312207","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc57313.2025.11312207","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 64th Conference on Decision and Control (CDC)","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2504.01807","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2504.01807","pdf_url":"https://arxiv.org/pdf/2504.01807","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:mediatum.ub.tum.de:node/1833084","is_oa":true,"landing_page_url":"https://mediatum.ub.tum.de/1833084","pdf_url":null,"source":{"id":"https://openalex.org/S4377196330","display_name":"mediaTUM  (Technical University of Munich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I62916508","host_organization_name":"Technical University of Munich","host_organization_lineage":["https://openalex.org/I62916508"],"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":null,"raw_type":"ConferencePaper"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2504.01807","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2504.01807","pdf_url":"https://arxiv.org/pdf/2504.01807","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320334678","display_name":"European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Certifying":[0],"safety":[1],"in":[2,86],"dynamical":[3],"systems":[4,71],"is":[5,81,89],"crucial,":[6],"but":[7],"barrier":[8,67,108],"certificates":[9,68],"\u2014":[10],"widely":[11],"used":[12,35,104],"to":[13,105,121],"verify":[14],"that":[15],"system":[16,25,125],"trajectories":[17],"remain":[18],"within":[19],"a":[20,39,62,84,95,107,111,146],"safe":[21],"region\u2014typically":[22],"require":[23],"explicit":[24],"models.":[26],"When":[27],"dynamics":[28],"are":[29,103,126,143],"unknown,":[30],"data-driven":[31],"methods":[32,50],"can":[33],"be":[34],"instead,":[36],"yet":[37],"obtaining":[38],"valid":[40],"certificate":[41,109],"requires":[42],"rigorous":[43],"uncertainty":[44],"quantification.":[45],"For":[46],"this":[47],"purpose,":[48],"existing":[49],"usually":[51],"rely":[52],"on":[53,130],"full-state":[54],"measurements,":[55],"limiting":[56],"their":[57],"applicability.":[58],"This":[59],"paper":[60],"proposes":[61],"novel":[63],"approach":[64,138],"for":[65,69,116],"synthesizing":[66],"unknown":[70,124],"with":[72,119],"latent":[73],"states":[74],"and":[75,139],"polynomial":[76],"dynamics.":[77],"A":[78],"Bayesian":[79],"framework":[80],"employed,":[82],"where":[83],"prior":[85],"state-space":[87],"representation":[88],"updated":[90],"using":[91],"output":[92],"data":[93],"via":[94],"targeted":[96],"marginal":[97],"Metropolis-Hastings":[98],"sampler.":[99],"The":[100,137],"resulting":[101],"samples":[102],"construct":[106],"through":[110,145],"sum-of-squares":[112],"program.":[113],"Probabilistic":[114],"guarantees":[115,142],"its":[117,140],"validity":[118],"respect":[120],"the":[122],"true,":[123],"obtained":[127],"by":[128],"testing":[129],"an":[131],"additional":[132],"set":[133],"of":[134],"posterior":[135],"samples.":[136],"probabilistic":[141],"illustrated":[144],"numerical":[147],"simulation.":[148]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-01-14T00:00:00"}