{"id":"https://openalex.org/W3119278263","doi":"https://doi.org/10.1109/cdc42340.2020.9304029","title":"Safety Guarantees for Iterative Predictions with Gaussian Processes","display_name":"Safety Guarantees for Iterative Predictions with Gaussian Processes","publication_year":2020,"publication_date":"2020-12-14","ids":{"openalex":"https://openalex.org/W3119278263","doi":"https://doi.org/10.1109/cdc42340.2020.9304029","mag":"3119278263"},"language":"en","primary_location":{"id":"doi:10.1109/cdc42340.2020.9304029","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc42340.2020.9304029","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 59th IEEE Conference on Decision and Control (CDC)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5039167859","display_name":"Kyriakos Polymenakos","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Kyriakos Polymenakos","raw_affiliation_strings":["Departments of Computer Science and Engineering Science University of Oxford"],"affiliations":[{"raw_affiliation_string":"Departments of Computer Science and Engineering Science University of Oxford","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009660282","display_name":"Luca Laurenti","orcid":"https://orcid.org/0000-0003-1190-6097"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Luca Laurenti","raw_affiliation_strings":["Departments of Computer Science and Engineering Science University of Oxford"],"affiliations":[{"raw_affiliation_string":"Departments of Computer Science and Engineering Science University of Oxford","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003864062","display_name":"Andrea Patan\u00e8","orcid":"https://orcid.org/0000-0003-0492-4860"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Andrea Patane","raw_affiliation_strings":["Departments of Computer Science and Engineering Science University of Oxford"],"affiliations":[{"raw_affiliation_string":"Departments of Computer Science and Engineering Science University of Oxford","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039607149","display_name":"Jan-Peter Calliess","orcid":"https://orcid.org/0000-0002-9003-6642"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jan-Peter Calliess","raw_affiliation_strings":["Departments of Computer Science and Engineering Science University of Oxford"],"affiliations":[{"raw_affiliation_string":"Departments of Computer Science and Engineering Science University of Oxford","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013220584","display_name":"Luca Cardelli","orcid":"https://orcid.org/0000-0002-8705-8488"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Luca Cardelli","raw_affiliation_strings":["Departments of Computer Science and Engineering Science University of Oxford"],"affiliations":[{"raw_affiliation_string":"Departments of Computer Science and Engineering Science University of Oxford","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081710233","display_name":"Marta Kwiatkowska","orcid":"https://orcid.org/0000-0001-9022-7599"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Marta Kwiatkowska","raw_affiliation_strings":["Departments of Computer Science and Engineering Science University of Oxford"],"affiliations":[{"raw_affiliation_string":"Departments of Computer Science and Engineering Science University of Oxford","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091718585","display_name":"Alessandro Abate","orcid":"https://orcid.org/0000-0002-5627-9093"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Alessandro Abate","raw_affiliation_strings":["Departments of Computer Science and Engineering Science University of Oxford"],"affiliations":[{"raw_affiliation_string":"Departments of Computer Science and Engineering Science University of Oxford","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5058617210","display_name":"Stephen Roberts","orcid":"https://orcid.org/0000-0002-9305-9268"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Stephen Roberts","raw_affiliation_strings":["Departments of Computer Science and Engineering Science University of Oxford"],"affiliations":[{"raw_affiliation_string":"Departments of Computer Science and Engineering Science University of Oxford","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5039167859"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.2651,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.65209032,"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":"3187","last_page":"3193"},"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.9991999864578247,"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.9991999864578247,"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/T10791","display_name":"Advanced Control Systems Optimization","score":0.9848999977111816,"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"}},{"id":"https://openalex.org/T10711","display_name":"Target Tracking and Data Fusion in Sensor Networks","score":0.9801999926567078,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6481849551200867},{"id":"https://openalex.org/keywords/gaussian-process","display_name":"Gaussian process","score":0.5097038745880127},{"id":"https://openalex.org/keywords/gaussian","display_name":"Gaussian","score":0.48923420906066895},{"id":"https://openalex.org/keywords/iterative-method","display_name":"Iterative method","score":0.4563679099082947},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3355092406272888},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3309727609157562},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1776299774646759},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.13787841796875}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6481849551200867},{"id":"https://openalex.org/C61326573","wikidata":"https://www.wikidata.org/wiki/Q1496376","display_name":"Gaussian process","level":3,"score":0.5097038745880127},{"id":"https://openalex.org/C163716315","wikidata":"https://www.wikidata.org/wiki/Q901177","display_name":"Gaussian","level":2,"score":0.48923420906066895},{"id":"https://openalex.org/C159694833","wikidata":"https://www.wikidata.org/wiki/Q2321565","display_name":"Iterative method","level":2,"score":0.4563679099082947},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3355092406272888},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3309727609157562},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1776299774646759},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.13787841796875},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/cdc42340.2020.9304029","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc42340.2020.9304029","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 59th IEEE Conference on Decision and Control (CDC)","raw_type":"proceedings-article"},{"id":"pmh:oai:ora.ox.ac.uk:uuid:333d4bcf-b297-4327-b48c-78408e4d0af0","is_oa":false,"landing_page_url":"https://ora.ox.ac.uk/objects/uuid:333d4bcf-b297-4327-b48c-78408e4d0af0","pdf_url":null,"source":{"id":"https://openalex.org/S4306402636","display_name":"Oxford University Research Archive (ORA) (University of Oxford)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40120149","host_organization_name":"University of Oxford","host_organization_lineage":["https://openalex.org/I40120149"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Symplectic Elements","raw_type":"Conference item"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7900000214576721,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G2483205037","display_name":null,"funder_award_id":"EP/M019918/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W1520597402","https://openalex.org/W1545211435","https://openalex.org/W1600437712","https://openalex.org/W1845972764","https://openalex.org/W1929309940","https://openalex.org/W1969074599","https://openalex.org/W2104533781","https://openalex.org/W2140135625","https://openalex.org/W2146851580","https://openalex.org/W2166566250","https://openalex.org/W2179284380","https://openalex.org/W2468321057","https://openalex.org/W2586067474","https://openalex.org/W2751621024","https://openalex.org/W2757758944","https://openalex.org/W2791704483","https://openalex.org/W2900120446","https://openalex.org/W2954442567","https://openalex.org/W2962903333","https://openalex.org/W2963160885","https://openalex.org/W2982344641","https://openalex.org/W3037630927","https://openalex.org/W4211049957","https://openalex.org/W6635902665","https://openalex.org/W6675740164","https://openalex.org/W6680657880","https://openalex.org/W6685744914","https://openalex.org/W6719477708","https://openalex.org/W6733118196","https://openalex.org/W6743671064","https://openalex.org/W6749363318","https://openalex.org/W6755998156","https://openalex.org/W6765035439","https://openalex.org/W6766121242","https://openalex.org/W6769857695"],"related_works":["https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W2053286651","https://openalex.org/W2181743346","https://openalex.org/W2187401768","https://openalex.org/W2181413294","https://openalex.org/W2989452537","https://openalex.org/W2052122378","https://openalex.org/W1964286703","https://openalex.org/W2169866437"],"abstract_inverted_index":{"Gaussian":[0],"Processes":[1],"(GPs)":[2],"are":[3,106],"widely":[4],"employed":[5],"in":[6,24,80],"control":[7,147],"and":[8,49,149],"learning":[9],"because":[10],"of":[11,15,154],"their":[12,47,52],"principled":[13],"treatment":[14],"uncertainty.":[16],"However,":[17],"tracking":[18],"uncertainty":[19,128],"for":[20,63],"iterative,":[21],"multi-step":[22],"predictions":[23,65],"general":[25],"leads":[26],"to":[27,45,50,108],"an":[28],"analytically":[29],"intractable":[30],"problem.":[31],"While":[32],"approximation":[33,133],"methods":[34],"exist,":[35],"they":[36],"do":[37],"not":[38],"come":[39],"with":[40,66,112],"guarantees,":[41],"making":[42],"it":[43],"difficult":[44],"estimate":[46],"reliability":[48],"trust":[51],"predictions.":[53],"In":[54],"this":[55],"work,":[56],"we":[57,72,94,137],"derive":[58],"formal":[59],"probability":[60,75,113],"error":[61],"bounds":[62,142],"iterative":[64],"GPs.":[67],"Building":[68],"on":[69],"GP":[70,104],"properties,":[71],"bound":[73,151],"the":[74,84,98,126,140,152,155],"that":[76,103,122],"random":[77],"trajectories":[78,105,153],"lie":[79,109],"specific":[81],"regions":[82,96],"around":[83,97],"predicted":[85,99],"values.":[86],"Namely,":[87],"given":[88,146],"a":[89,145],"tolerance":[90],"\u03b5":[91],">":[92],"0,":[93],"compute":[95],"trajectory":[100],"values,":[101],"such":[102],"guaranteed":[107],"inside":[110],"them":[111],"at":[114],"least":[115],"1":[116],"-":[117],"\u03b5.":[118],"We":[119],"verify":[120],"experimentally":[121],"our":[123],"method":[124],"tracks":[125],"predictive":[127],"correctly,":[129],"even":[130],"when":[131],"current":[132],"techniques":[134],"fail.":[135],"Furthermore,":[136],"show":[138],"how":[139],"proposed":[141],"can":[143],"incorporate":[144],"law,":[148],"effectively":[150],"closed-loop":[156],"system.":[157]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}