Logo: to the web site of Uppsala University

uu.sePublications from Uppsala University
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
PACSBO: Probably Approximately Correct Safe Bayesian Optimization
Cyber-Physical Systems Group, Aalto University, Espoo, Finland.
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Division of Systems and Control. Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Artificial Intelligence.ORCID iD: 0000-0001-5183-234X
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Division of Systems and Control. Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Artificial Intelligence. Cyber-Physical Systems Group, Aalto University, Espoo, Finland.ORCID iD: 0000-0001-7340-2180
2025 (English)In: Systems Theory in Data and Optimization: Proceedings of SysDO 2024 / [ed] Julian Berberich, Andrea Iannelli, Frank Allgöwer, Springer Nature, 2025, p. 3-18Conference paper, Published paper (Refereed)
Abstract [en]

Safe Bayesian optimization (BO) algorithms promise to find optimal control policies without knowing the system dynamics while at the same time guaranteeing safety with high probability. In exchange for those guarantees, popular algorithms require a smoothness assumption: a known upper bound on a norm in a reproducing kernel Hilbert space (RKHS). The RKHS is a potentially infinite-dimensional space, and it is unclear how to—in practice—obtain an upper bound on the norm of an unknown function in its corresponding RKHS. In response, we propose an algorithm that estimates an upper bound on the RKHS norm of an unknown function from data and investigate its theoretical properties. Moreover, akin to Lipschitz-based methods, we treat the RKHS norm as a local rather than a global object and, thus, allow for more optimistic exploration without compromising safety. Integrating the RKHS norm estimation and the local interpretation of the RKHS norm into a safe BO algorithm yields Pacsbo, an algorithm for probably approximately correct safe Bayesian optimization. We demonstrate the effectiveness of Pacsbo and its benefits over popular safe BO algorithms in numerical and hardware experiments.

Place, publisher, year, edition, pages
Springer Nature, 2025. p. 3-18
Series
Lecture Notes in Control and Information Sciences, ISSN 2522-5383, E-ISSN 2522-5391
National Category
Computer and Information Sciences
Identifiers
URN: urn:nbn:se:uu:diva-581833DOI: 10.1007/978-3-031-83191-1_1ISI: 001696654000001ISBN: 978-3-031-83190-4 (print)ISBN: 978-3-031-83191-1 (electronic)OAI: oai:DiVA.org:uu-581833DiVA, id: diva2:2044370
Conference
2024 Symposium on Systems Theory in Data and Optimization-SysDO, Stuttgart, GERMANY, SEP 30-OCT 02, 2024
Available from: 2026-03-09 Created: 2026-03-09 Last updated: 2026-03-23Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records

Schön, Thomas B.Baumann, Dominik

Search in DiVA

By author/editor
Schön, Thomas B.Baumann, Dominik
By organisation
Division of Systems and ControlArtificial Intelligence
Computer and Information Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 11 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf