{"id":"https://openalex.org/W3014195175","doi":"https://doi.org/10.1109/cdc42340.2020.9303814","title":"Safety Verification of Unknown Dynamical Systems via Gaussian Process Regression","display_name":"Safety Verification of Unknown Dynamical Systems via Gaussian Process Regression","publication_year":2020,"publication_date":"2020-12-14","ids":{"openalex":"https://openalex.org/W3014195175","doi":"https://doi.org/10.1109/cdc42340.2020.9303814","mag":"3014195175"},"language":"en","primary_location":{"id":"doi:10.1109/cdc42340.2020.9303814","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc42340.2020.9303814","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":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2004.01821","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, CO, USA","University of Colorado Boulder"],"affiliations":[{"raw_affiliation_string":"University of Colorado, Boulder, CO, USA","institution_ids":["https://openalex.org/I188538660"]},{"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/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Luca Laurenti","raw_affiliation_strings":["University of Oxford, UK","University of Oxford"],"affiliations":[{"raw_affiliation_string":"University of Oxford, UK","institution_ids":["https://openalex.org/I40120149"]},{"raw_affiliation_string":"University of Oxford","institution_ids":["https://openalex.org/I40120149"]}]},{"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, CO, USA","University of Colorado Boulder"],"affiliations":[{"raw_affiliation_string":"University of Colorado, Boulder, CO, USA","institution_ids":["https://openalex.org/I188538660"]},{"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/I2802236040","display_name":"University of Colorado System","ror":"https://ror.org/00jc20583","country_code":"US","type":"education","lineage":["https://openalex.org/I2802236040"]},{"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"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Morteza Lahijanian","raw_affiliation_strings":["University of Colorado, Boulder, CO, USA","University of Colorado Boulder"],"affiliations":[{"raw_affiliation_string":"University of Colorado, Boulder, CO, USA","institution_ids":["https://openalex.org/I188538660"]},{"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":0.5438,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.72754871,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"860","last_page":"866"},"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.9962999820709229,"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.9962999820709229,"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.9872999787330627,"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/T10876","display_name":"Fault Detection and Control Systems","score":0.9843999743461609,"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/computer-science","display_name":"Computer science","score":0.6835129261016846},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6209058165550232},{"id":"https://openalex.org/keywords/dynamical-systems-theory","display_name":"Dynamical systems theory","score":0.5583180785179138},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.5526434183120728},{"id":"https://openalex.org/keywords/gaussian-process","display_name":"Gaussian process","score":0.5478997230529785},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5462775230407715},{"id":"https://openalex.org/keywords/black-box","display_name":"Black box","score":0.5217857360839844},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.4939931035041809},{"id":"https://openalex.org/keywords/markov-process","display_name":"Markov process","score":0.44884639978408813},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4486067295074463},{"id":"https://openalex.org/keywords/dynamical-system","display_name":"Dynamical system (definition)","score":0.4152348041534424},{"id":"https://openalex.org/keywords/hybrid-system","display_name":"Hybrid system","score":0.41124042868614197},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3616181015968323},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35252952575683594},{"id":"https://openalex.org/keywords/gaussian","display_name":"Gaussian","score":0.3204052448272705},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.20951151847839355},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.20714735984802246},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.19592559337615967}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6835129261016846},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6209058165550232},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.5583180785179138},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.5526434183120728},{"id":"https://openalex.org/C61326573","wikidata":"https://www.wikidata.org/wiki/Q1496376","display_name":"Gaussian process","level":3,"score":0.5478997230529785},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5462775230407715},{"id":"https://openalex.org/C94966114","wikidata":"https://www.wikidata.org/wiki/Q29256","display_name":"Black box","level":2,"score":0.5217857360839844},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.4939931035041809},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.44884639978408813},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4486067295074463},{"id":"https://openalex.org/C33962884","wikidata":"https://www.wikidata.org/wiki/Q378637","display_name":"Dynamical system (definition)","level":3,"score":0.4152348041534424},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.41124042868614197},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3616181015968323},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35252952575683594},{"id":"https://openalex.org/C163716315","wikidata":"https://www.wikidata.org/wiki/Q901177","display_name":"Gaussian","level":2,"score":0.3204052448272705},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.20951151847839355},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.20714735984802246},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.19592559337615967},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"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/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","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":4,"locations":[{"id":"doi:10.1109/cdc42340.2020.9303814","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc42340.2020.9303814","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:arXiv.org:2004.01821","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2004.01821","pdf_url":"https://arxiv.org/pdf/2004.01821","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"mag:3014195175","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/2004.01821.pdf","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.2004.01821","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2004.01821","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2004.01821","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2004.01821","pdf_url":"https://arxiv.org/pdf/2004.01821","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320311855","display_name":"University of Colorado","ror":"https://ror.org/00jc20583"},{"id":"https://openalex.org/F4320333620","display_name":"Center for Unmanned Aircraft Systems","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3014195175.pdf","grobid_xml":"https://content.openalex.org/works/W3014195175.grobid-xml"},"referenced_works_count":40,"referenced_works":["https://openalex.org/W1483893502","https://openalex.org/W1498432697","https://openalex.org/W1502922572","https://openalex.org/W1512937499","https://openalex.org/W1964377184","https://openalex.org/W1975219867","https://openalex.org/W1988217924","https://openalex.org/W2011979623","https://openalex.org/W2053572490","https://openalex.org/W2120034667","https://openalex.org/W2143346970","https://openalex.org/W2166566250","https://openalex.org/W2487779201","https://openalex.org/W2592969750","https://openalex.org/W2594675090","https://openalex.org/W2716905450","https://openalex.org/W2784307648","https://openalex.org/W2803699674","https://openalex.org/W2889490035","https://openalex.org/W2905665643","https://openalex.org/W2913459036","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/W2991167521","https://openalex.org/W3006987257","https://openalex.org/W3120090185","https://openalex.org/W4285719527","https://openalex.org/W6629804754","https://openalex.org/W6677959772","https://openalex.org/W6713313022","https://openalex.org/W6736246758","https://openalex.org/W6738483526","https://openalex.org/W6763216130","https://openalex.org/W6763645266","https://openalex.org/W6770480857","https://openalex.org/W6841179985"],"related_works":["https://openalex.org/W3120090185","https://openalex.org/W2579483091","https://openalex.org/W2903070737","https://openalex.org/W2005989815","https://openalex.org/W3091691175","https://openalex.org/W2508771979","https://openalex.org/W2899776011","https://openalex.org/W2047787828","https://openalex.org/W1554492130","https://openalex.org/W121789565","https://openalex.org/W3122312372","https://openalex.org/W2160330709","https://openalex.org/W3156367407","https://openalex.org/W3094170430","https://openalex.org/W3198322949","https://openalex.org/W3033616213","https://openalex.org/W3197922064","https://openalex.org/W2011392707","https://openalex.org/W1893960094","https://openalex.org/W2182043246"],"abstract_inverted_index":{"The":[0,83],"deployment":[1],"of":[2,51,54,86,122],"autonomous":[3],"systems":[4],"that":[5,32],"operate":[6],"in":[7,25],"unstructured":[8],"environments":[9],"necessitates":[10],"algorithms":[11],"to":[12],"verify":[13],"their":[14],"safety.":[15],"This":[16],"can":[17],"be":[18],"challenging":[19],"due":[20],"to,":[21],"e.g.,":[22],"black-box":[23],"components":[24],"the":[26,55,65,68,80,87,93,98,120,123],"control":[27],"software,":[28],"or":[29],"undermodelled":[30],"dynamics":[31],"prevent":[33],"model-based":[34],"verification.":[35],"We":[36,118],"present":[37],"a":[38,48],"novel":[39],"verification":[40],"framework":[41,66,124],"for":[42,106],"an":[43,71],"unknown":[44],"dynamical":[45],"system":[46,69],"from":[47,92],"given":[49],"set":[50],"noisy":[52],"observations":[53],"dynamics.":[56],"Using":[57],"Gaussian":[58],"processes":[59,113],"trained":[60],"on":[61,125],"this":[62],"data":[63],"set,":[64],"abstracts":[67],"as":[70],"uncertain":[72,88,111],"Markov":[73,112],"process":[74,89],"with":[75],"discrete":[76],"states":[77],"defined":[78],"over":[79,110],"safe":[81],"set.":[82],"transition":[84],"bounds":[85,96],"are":[90],"derived":[91],"probabilistic":[94],"error":[95],"between":[97],"regression":[99],"and":[100,130],"underlying":[101],"system.":[102],"An":[103],"existing":[104],"approach":[105],"verifying":[107],"safety":[108,116],"properties":[109],"then":[114],"generates":[115],"guarantees.":[117],"demonstrate":[119],"versatility":[121],"several":[126],"examples,":[127],"including":[128],"switched":[129],"nonlinear":[131],"systems.":[132]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":3}],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2025-10-10T00:00:00"}