{"id":607,"date":"2021-08-31T20:20:57","date_gmt":"2021-08-31T20:20:57","guid":{"rendered":"https:\/\/elo-x.eu\/?p=607"},"modified":"2024-04-30T18:27:35","modified_gmt":"2024-04-30T18:27:35","slug":"ramin-abbasi","status":"publish","type":"post","link":"https:\/\/elo-x.eu\/?p=607","title":{"rendered":"Amon Lahr"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-post\" data-elementor-id=\"607\" class=\"elementor elementor-607\">\n\t\t\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-11ad091 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"11ad091\" data-element_type=\"section\" data-e-type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-4645320\" data-id=\"4645320\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-9a05e75 elementor-widget elementor-widget-page-title\" data-id=\"9a05e75\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"page-title.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\n\t\t<div class=\"hfe-page-title hfe-page-title-wrapper elementor-widget-heading\">\n\n\t\t\t\t\t\t\t\t\t\t\t<a href=\"https:\/\/www.linkedin.com\/in\/amonlahr\/\">\n\t\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">\n\t\t\t\t\t\t\t\t\n\t\t\t\tAmon Lahr  \n\t\t\t<\/h2 > \n\t\t\t\t\t\t\t\t\t<\/a>\n\t\t\t\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-ca86f70 my-divider elementor-widget-divider--view-line elementor-widget elementor-widget-divider\" data-id=\"ca86f70\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"divider.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-divider\">\n\t\t\t<span class=\"elementor-divider-separator\">\n\t\t\t\t\t\t<\/span>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-bf21411 elementor-widget elementor-widget-text-editor\" data-id=\"bf21411\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p><span style=\"color: #352a87;\"><span style=\"font-size: 24px;\">PhD Candidate in Mechanical and Process Engineering<\/span><\/span><\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-d04271b elementor-widget elementor-widget-text-editor\" data-id=\"d04271b\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div style=\"width: 1120px; margin-bottom: 5px;\" data-id=\"571d48f\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\"><p><span style=\"color: #333333;\"><b>Institute for Dynamic Systems and Control<\/b><\/span><\/p><p><b style=\"color: #333333; font-size: 1rem;\">ETH Z\u00fcrich<\/b><\/p><\/div><div style=\"width: 1120px; margin-bottom: 5px; column-gap: 0px;\" data-id=\"c718371\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\"><div>\u00a0<\/div><\/div>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-9fe98ef elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"9fe98ef\" data-element_type=\"section\" data-e-type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-50 elementor-top-column elementor-element elementor-element-7853d12\" data-id=\"7853d12\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-f1be6fa elementor-widget elementor-widget-image\" data-id=\"f1be6fa\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<img fetchpriority=\"high\" decoding=\"async\" width=\"525\" height=\"350\" src=\"https:\/\/elo-x.eu\/wp-content\/uploads\/2021\/09\/AmonLahr_3-2_compress-1024x683.jpg\" class=\"attachment-large size-large wp-image-699\" alt=\"\" srcset=\"https:\/\/elo-x.eu\/wp-content\/uploads\/2021\/09\/AmonLahr_3-2_compress-1024x683.jpg 1024w, https:\/\/elo-x.eu\/wp-content\/uploads\/2021\/09\/AmonLahr_3-2_compress-300x200.jpg 300w, https:\/\/elo-x.eu\/wp-content\/uploads\/2021\/09\/AmonLahr_3-2_compress-768x512.jpg 768w, https:\/\/elo-x.eu\/wp-content\/uploads\/2021\/09\/AmonLahr_3-2_compress-1536x1024.jpg 1536w, https:\/\/elo-x.eu\/wp-content\/uploads\/2021\/09\/AmonLahr_3-2_compress-2048x1365.jpg 2048w\" sizes=\"100vw\" \/>\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-1010305 elementor-widget elementor-widget-video\" data-id=\"1010305\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;youtube_url&quot;:&quot;https:\\\/\\\/www.youtube.com\\\/watch?v=MXLinY7d1Yg&quot;,&quot;video_type&quot;:&quot;youtube&quot;,&quot;controls&quot;:&quot;yes&quot;}\" data-widget_type=\"video.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-wrapper elementor-open-inline\">\n\t\t\t<div class=\"elementor-video\"><\/div>\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-50 elementor-top-column elementor-element elementor-element-4b93b98\" data-id=\"4b93b98\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-8d2ff49 elementor-widget elementor-widget-text-editor\" data-id=\"8d2ff49\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p>Amon Lahr was born in Berlin, Germany, in 1996. He completed his Bachelor&#8217;s studies in Engineering<\/p><p>Science in 2018, with two semester-long stays at New York University and the German Aerospace<\/p><p>Center in Stuttgart, Germany, respectively. Redirecting his study focus towards numerical mathematics, control theory and model reduction, Amon later received a Master&#8217;s degree in Scientific Computing from TU Berlin in 2021, with his thesis on &#8220;\u210b-\u221e Control for Large-Scale Linear Systems&#8221;. During his studies, Amon has worked as a Linux and web developer for IoT devices in the automotive industry, shaping his interests in embedded systems and data-driven control methods.<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-6009267 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"6009267\" data-element_type=\"section\" data-e-type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-9156808\" data-id=\"9156808\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-67e3347 my-divider elementor-widget-divider--view-line elementor-widget elementor-widget-divider\" data-id=\"67e3347\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"divider.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-divider\">\n\t\t\t<span class=\"elementor-divider-separator\">\n\t\t\t\t\t\t<\/span>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-bcef1d3 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"bcef1d3\" data-element_type=\"section\" data-e-type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-668d476\" data-id=\"668d476\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-0d3490a elementor-widget elementor-widget-heading\" data-id=\"0d3490a\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">Project description<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-6887ee1 elementor-widget elementor-widget-text-editor\" data-id=\"6887ee1\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p>While the performance and potential of learning-based control has been recently demonstrated, the associated computational challenges remain a key limiting factor for moving these techniques into industrial applications. On embedded hardware in particular, the feasible model complexity and sampling times are restricted by the limited storage and computational power. The aim of this PhD project is to develop new controllers and computational methods for embedded control systems. Possible research directions include the development of tailored real-time optimization routines, controller approximation using learning-based function approximation schemes, as well as efficient data selection and reduction.<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-2e55f18 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"2e55f18\" data-element_type=\"section\" data-e-type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-dc31a76\" data-id=\"dc31a76\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-370f2e6 elementor-align-center elementor-widget elementor-widget-button\" data-id=\"370f2e6\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-sm\" href=\"https:\/\/elo-x.eu\/?p=2383\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">Read more about this project<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-b0f1e3f elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"b0f1e3f\" data-element_type=\"section\" data-e-type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-0077867\" data-id=\"0077867\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-d8bc38a my-divider elementor-widget-divider--view-line elementor-widget elementor-widget-divider\" data-id=\"d8bc38a\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"divider.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-divider\">\n\t\t\t<span class=\"elementor-divider-separator\">\n\t\t\t\t\t\t<\/span>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-e445f67 elementor-widget elementor-widget-heading\" data-id=\"e445f67\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">Publications<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-2cf3bc2 elementor-widget elementor-widget-shortcode\" data-id=\"2cf3bc2\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"shortcode.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-shortcode\"><div class=\"teachpress_pub_list\"><form name=\"tppublistform\" method=\"get\"><a name=\"tppubs\" id=\"tppubs\"><\/a><div class=\"tp_search_input\"><input type=\"hidden\" name=\"p\" id=\"page_id\" value=\"607\"\/><input name=\"tsr\" id=\"tp_search_input_field\" type=\"search\" placeholder=\"Enter search word\" value=\"\" tabindex=\"1\"\/><div class=\"teachpress_search_button\"><input name=\"tps_button\" class=\"tp_search_button\" type=\"submit\" tabindex=\"10\" value=\"Search\"\/><\/div><\/div><\/form><div class=\"teachpress_publication_list\"><div class=\"tp_publication tp_publication_workingpaper\"><div class=\"tp_pub_number\">1.<\/div><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Lahr, Amon;  K\u00f6hler, Johannes;  Scampicchio, Anna;  Zeilinger, Melanie N.<\/p><p class=\"tp_pub_title\"><a class=\"tp_title_link\" onclick=\"teachpress_pub_showhide('126','tp_links')\" style=\"cursor:pointer;\">Optimal Kernel Regression Bounds under Energy-Bounded Noise<\/a> <span class=\"tp_pub_type tp_  workingpaper\">Working paper<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_year\">2025<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_abstract_link\"><a id=\"tp_abstract_sh_126\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('126','tp_abstract')\" title=\"Show abstract\" style=\"cursor:pointer;\">Abstract<\/a><\/span> | <span class=\"tp_resource_link\"><a id=\"tp_links_sh_126\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('126','tp_links')\" title=\"Show links and resources\" style=\"cursor:pointer;\">Links<\/a><\/span> | <span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_126\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('126','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_126\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@workingpaper{lahr_optimal_2025,<br \/>\r\ntitle = {Optimal Kernel Regression Bounds under Energy-Bounded Noise},<br \/>\r\nauthor = {Amon Lahr and Johannes K\u00f6hler and Anna Scampicchio and Melanie N. Zeilinger},<br \/>\r\ndoi = {10.48550\/arXiv.2505.22235},<br \/>\r\nyear  = {2025},<br \/>\r\ndate = {2025-05-28},<br \/>\r\nabstract = {Non-conservative uncertainty bounds are key for both assessing an estimation algorithm's accuracy and in view of downstream tasks, such as its deployment in safety-critical contexts. In this paper, we derive a tight, non-asymptotic uncertainty bound for kernel-based estimation, which can also handle correlated noise sequences. Its computation relies on a mild norm-boundedness assumption on the unknown function and the noise, returning the worst-case function realization within the hypothesis class at an arbitrary query input location. The value of this function is shown to be given in terms of the posterior mean and covariance of a Gaussian process for an optimal choice of the measurement noise covariance. By rigorously analyzing the proposed approach and comparing it with other results in the literature, we show its effectiveness in returning tight and easy-to-compute bounds for kernel-based estimates.},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {workingpaper}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('126','tp_bibtex')\">Close<\/a><\/p><\/div><div class=\"tp_abstract\" id=\"tp_abstract_126\" style=\"display:none;\"><div class=\"tp_abstract_entry\">Non-conservative uncertainty bounds are key for both assessing an estimation algorithm's accuracy and in view of downstream tasks, such as its deployment in safety-critical contexts. In this paper, we derive a tight, non-asymptotic uncertainty bound for kernel-based estimation, which can also handle correlated noise sequences. Its computation relies on a mild norm-boundedness assumption on the unknown function and the noise, returning the worst-case function realization within the hypothesis class at an arbitrary query input location. The value of this function is shown to be given in terms of the posterior mean and covariance of a Gaussian process for an optimal choice of the measurement noise covariance. By rigorously analyzing the proposed approach and comparing it with other results in the literature, we show its effectiveness in returning tight and easy-to-compute bounds for kernel-based estimates.<\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('126','tp_abstract')\">Close<\/a><\/p><\/div><div class=\"tp_links\" id=\"tp_links_126\" style=\"display:none;\"><div class=\"tp_links_entry\"><ul class=\"tp_pub_list\"><li><i class=\"ai ai-doi\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/dx.doi.org\/10.48550\/arXiv.2505.22235\" title=\"Follow DOI:10.48550\/arXiv.2505.22235\" target=\"_blank\">doi:10.48550\/arXiv.2505.22235<\/a><\/li><\/ul><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('126','tp_links')\">Close<\/a><\/p><\/div><\/div><\/div><div class=\"tp_publication tp_publication_workingpaper\"><div class=\"tp_pub_number\">2.<\/div><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Prajapat, Manish;  K\u00f6hler, Johannes;  Lahr, Amon;  Krause, Andreas;  Zeilinger, Melanie N.<\/p><p class=\"tp_pub_title\"><a class=\"tp_title_link\" onclick=\"teachpress_pub_showhide('127','tp_links')\" style=\"cursor:pointer;\">Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics<\/a> <span class=\"tp_pub_type tp_  workingpaper\">Working paper<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_year\">2025<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_abstract_link\"><a id=\"tp_abstract_sh_127\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('127','tp_abstract')\" title=\"Show abstract\" style=\"cursor:pointer;\">Abstract<\/a><\/span> | <span class=\"tp_resource_link\"><a id=\"tp_links_sh_127\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('127','tp_links')\" title=\"Show links and resources\" style=\"cursor:pointer;\">Links<\/a><\/span> | <span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_127\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('127','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_127\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@workingpaper{prajapat_finite_sample_based_2025,<br \/>\r\ntitle = {Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics},<br \/>\r\nauthor = {Manish Prajapat and Johannes K\u00f6hler and Amon Lahr and Andreas Krause and Melanie N. Zeilinger},<br \/>\r\ndoi = {10.48550\/arXiv.2505.07594},<br \/>\r\nyear  = {2025},<br \/>\r\ndate = {2025-05-12},<br \/>\r\nabstract = {Gaussian Process (GP) regression is shown to be effective for learning unknown dynamics, enabling efficient and safetyaware control strategies across diverse applications. However, existing GP-based model predictive control (GP-MPC) methods either rely on approximations, thus lacking guarantees, or are overly conservative, which limits their practical utility. To close this gap, we present a sampling-based framework that efficiently propagates the model\u2019s epistemic uncertainty while avoiding conservatism. We establish a novel sample complexity result that enables the construction of a reachable set using a finite number of dynamics functions sampled from the GP posterior. Building on this, we design a sampling-based GP-MPC scheme that is recursively feasible and guarantees closed-loop safety and stability with high probability. Finally, we showcase the effectiveness of our method on two numerical examples, highlighting accurate reachable set over-approximation and safe closed-loop performance.},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {workingpaper}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('127','tp_bibtex')\">Close<\/a><\/p><\/div><div class=\"tp_abstract\" id=\"tp_abstract_127\" style=\"display:none;\"><div class=\"tp_abstract_entry\">Gaussian Process (GP) regression is shown to be effective for learning unknown dynamics, enabling efficient and safetyaware control strategies across diverse applications. However, existing GP-based model predictive control (GP-MPC) methods either rely on approximations, thus lacking guarantees, or are overly conservative, which limits their practical utility. To close this gap, we present a sampling-based framework that efficiently propagates the model\u2019s epistemic uncertainty while avoiding conservatism. We establish a novel sample complexity result that enables the construction of a reachable set using a finite number of dynamics functions sampled from the GP posterior. Building on this, we design a sampling-based GP-MPC scheme that is recursively feasible and guarantees closed-loop safety and stability with high probability. Finally, we showcase the effectiveness of our method on two numerical examples, highlighting accurate reachable set over-approximation and safe closed-loop performance.<\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('127','tp_abstract')\">Close<\/a><\/p><\/div><div class=\"tp_links\" id=\"tp_links_127\" style=\"display:none;\"><div class=\"tp_links_entry\"><ul class=\"tp_pub_list\"><li><i class=\"ai ai-doi\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/dx.doi.org\/10.48550\/arXiv.2505.07594\" title=\"Follow DOI:10.48550\/arXiv.2505.07594\" target=\"_blank\">doi:10.48550\/arXiv.2505.07594<\/a><\/li><\/ul><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('127','tp_links')\">Close<\/a><\/p><\/div><\/div><\/div><div class=\"tp_publication tp_publication_workingpaper\"><div class=\"tp_pub_number\">3.<\/div><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Scampicchio, Anna;  Arcari, Elena;  Lahr, Amon;  Zeilinger, Melanie N.<\/p><p class=\"tp_pub_title\"><a class=\"tp_title_link\" onclick=\"teachpress_pub_showhide('128','tp_links')\" style=\"cursor:pointer;\">Gaussian Processes for Dynamics Learning in Model Predictive Control<\/a> <span class=\"tp_pub_type tp_  workingpaper\">Working paper<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_year\">2025<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_abstract_link\"><a id=\"tp_abstract_sh_128\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('128','tp_abstract')\" title=\"Show abstract\" style=\"cursor:pointer;\">Abstract<\/a><\/span> | <span class=\"tp_resource_link\"><a id=\"tp_links_sh_128\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('128','tp_links')\" title=\"Show links and resources\" style=\"cursor:pointer;\">Links<\/a><\/span> | <span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_128\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('128','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_128\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@workingpaper{scampicchio_gaussian_2025,<br \/>\r\ntitle = {Gaussian Processes for Dynamics Learning in Model Predictive Control},<br \/>\r\nauthor = {Anna Scampicchio and Elena Arcari and Amon Lahr and Melanie N. Zeilinger},<br \/>\r\ndoi = {10.48550\/arXiv.2502.02310},<br \/>\r\nyear  = {2025},<br \/>\r\ndate = {2025-02-04},<br \/>\r\nabstract = {Due to its state-of-the-art estimation performance complemented by rigorous and non-conservative uncertainty bounds, Gaussian process regression is a popular tool for enhancing dynamical system models and coping with their inaccuracies. This has enabled a plethora of successful implementations of Gaussian process-based model predictive control in a variety of applications over the last years. However, despite its evident practical effectiveness, there are still many open questions when attempting to analyze the associated optimal control problem theoretically and to exploit the full potential of Gaussian process regression in view of safe learning-based control.},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {workingpaper}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('128','tp_bibtex')\">Close<\/a><\/p><\/div><div class=\"tp_abstract\" id=\"tp_abstract_128\" style=\"display:none;\"><div class=\"tp_abstract_entry\">Due to its state-of-the-art estimation performance complemented by rigorous and non-conservative uncertainty bounds, Gaussian process regression is a popular tool for enhancing dynamical system models and coping with their inaccuracies. This has enabled a plethora of successful implementations of Gaussian process-based model predictive control in a variety of applications over the last years. However, despite its evident practical effectiveness, there are still many open questions when attempting to analyze the associated optimal control problem theoretically and to exploit the full potential of Gaussian process regression in view of safe learning-based control.<\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('128','tp_abstract')\">Close<\/a><\/p><\/div><div class=\"tp_links\" id=\"tp_links_128\" style=\"display:none;\"><div class=\"tp_links_entry\"><ul class=\"tp_pub_list\"><li><i class=\"ai ai-doi\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/dx.doi.org\/10.48550\/arXiv.2502.02310\" title=\"Follow DOI:10.48550\/arXiv.2502.02310\" target=\"_blank\">doi:10.48550\/arXiv.2502.02310<\/a><\/li><\/ul><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('128','tp_links')\">Close<\/a><\/p><\/div><\/div><\/div><div class=\"tp_publication tp_publication_inproceedings\"><div class=\"tp_pub_number\">4.<\/div><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Prajapat, Manish;  Lahr, Amon;  K\u00f6hler, Johannes;  Krause, Andreas;  Zeilinger, Melanie N.<\/p><p class=\"tp_pub_title\"><a class=\"tp_title_link\" onclick=\"teachpress_pub_showhide('96','tp_links')\" style=\"cursor:pointer;\">Towards Safe and Tractable Gaussian Process-Based MPC: Efficient Sampling within a Sequential Quadratic Programming Framework<\/a> <span class=\"tp_pub_type tp_  inproceedings\">Proceedings Article<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_in\">In: <\/span><span class=\"tp_pub_additional_booktitle\">2024 IEEE 63rd Conference on Decision and Control CDC, <\/span><span class=\"tp_pub_additional_pages\">pp. 7458-7465, <\/span><span class=\"tp_pub_additional_publisher\">IEEE, <\/span><span class=\"tp_pub_additional_address\">Milan, Italy, <\/span><span class=\"tp_pub_additional_year\">2024<\/span>, <span class=\"tp_pub_additional_isbn\">ISBN: 9798350316339<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_abstract_link\"><a id=\"tp_abstract_sh_96\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('96','tp_abstract')\" title=\"Show abstract\" style=\"cursor:pointer;\">Abstract<\/a><\/span> | <span class=\"tp_resource_link\"><a id=\"tp_links_sh_96\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('96','tp_links')\" title=\"Show links and resources\" style=\"cursor:pointer;\">Links<\/a><\/span> | <span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_96\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('96','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_96\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@inproceedings{prajapat_towards_2024,<br \/>\r\ntitle = {Towards Safe and Tractable Gaussian Process-Based MPC: Efficient Sampling within a Sequential Quadratic Programming Framework},<br \/>\r\nauthor = {Manish Prajapat and Amon Lahr and Johannes K\u00f6hler and Andreas Krause and Melanie N. Zeilinger},<br \/>\r\ndoi = {10.1109\/CDC56724.2024.10886350},<br \/>\r\nisbn = {9798350316339},<br \/>\r\nyear  = {2024},<br \/>\r\ndate = {2024-12-16},<br \/>\r\nurldate = {2024-09-13},<br \/>\r\nbooktitle = {2024 IEEE 63rd Conference on Decision and Control CDC},<br \/>\r\npages = {7458-7465},<br \/>\r\npublisher = {IEEE},<br \/>\r\naddress = {Milan, Italy},<br \/>\r\nabstract = {Learning uncertain dynamics models using Gaussian process (GP) regression has been demonstrated to enable high-performance and safety-aware control strategies for challenging real-world applications. Yet, for computational tractability, most approaches for Gaussian process-based model predictive control (GP-MPC) are based on approximations of the reachable set that are either overly conservative or impede the controller\u2019s safety guarantees. To address these challenges, we propose a robust GP-MPC formulation that guarantees constraint satisfaction with high probability. For its tractable implementation, we propose a sampling-based GPMPC approach that iteratively generates consistent dynamics samples from the GP within a sequential quadratic programming framework. We highlight the improved reachable set approximation compared to existing methods, as well as realtime feasible computation times, using two numerical examples.},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {inproceedings}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('96','tp_bibtex')\">Close<\/a><\/p><\/div><div class=\"tp_abstract\" id=\"tp_abstract_96\" style=\"display:none;\"><div class=\"tp_abstract_entry\">Learning uncertain dynamics models using Gaussian process (GP) regression has been demonstrated to enable high-performance and safety-aware control strategies for challenging real-world applications. Yet, for computational tractability, most approaches for Gaussian process-based model predictive control (GP-MPC) are based on approximations of the reachable set that are either overly conservative or impede the controller\u2019s safety guarantees. To address these challenges, we propose a robust GP-MPC formulation that guarantees constraint satisfaction with high probability. For its tractable implementation, we propose a sampling-based GPMPC approach that iteratively generates consistent dynamics samples from the GP within a sequential quadratic programming framework. We highlight the improved reachable set approximation compared to existing methods, as well as realtime feasible computation times, using two numerical examples.<\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('96','tp_abstract')\">Close<\/a><\/p><\/div><div class=\"tp_links\" id=\"tp_links_96\" style=\"display:none;\"><div class=\"tp_links_entry\"><ul class=\"tp_pub_list\"><li><i class=\"ai ai-doi\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/dx.doi.org\/10.1109\/CDC56724.2024.10886350\" title=\"Follow DOI:10.1109\/CDC56724.2024.10886350\" target=\"_blank\">doi:10.1109\/CDC56724.2024.10886350<\/a><\/li><\/ul><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('96','tp_links')\">Close<\/a><\/p><\/div><\/div><\/div><div class=\"tp_publication tp_publication_workingpaper\"><div class=\"tp_pub_number\">5.<\/div><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Lahr, Amon;  N\u00e4f, Joshua;  Wabersich, Kim P.;  Frey, Jonathan;  Siehl, Pascal;  Carron, Andrea;  Diehl, Moritz;  Zeilinger, Melanie N.<\/p><p class=\"tp_pub_title\"><a class=\"tp_title_link\" onclick=\"teachpress_pub_showhide('95','tp_links')\" style=\"cursor:pointer;\">L4acados: Learning-based Models for Acados, Applied to Gaussian Process-Based Predictive Control<\/a> <span class=\"tp_pub_type tp_  workingpaper\">Working paper<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_year\">2024<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_abstract_link\"><a id=\"tp_abstract_sh_95\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('95','tp_abstract')\" title=\"Show abstract\" style=\"cursor:pointer;\">Abstract<\/a><\/span> | <span class=\"tp_resource_link\"><a id=\"tp_links_sh_95\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('95','tp_links')\" title=\"Show links and resources\" style=\"cursor:pointer;\">Links<\/a><\/span> | <span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_95\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('95','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_95\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@workingpaper{lahr_l4acados_2024,<br \/>\r\ntitle = {L4acados: Learning-based Models for Acados, Applied to Gaussian Process-Based Predictive Control},<br \/>\r\nauthor = {Amon Lahr and Joshua N\u00e4f and Kim P. Wabersich and Jonathan Frey and Pascal Siehl and Andrea Carron and Moritz Diehl and Melanie N. Zeilinger},<br \/>\r\ndoi = {10.48550\/arXiv.2411.19258},<br \/>\r\nyear  = {2024},<br \/>\r\ndate = {2024-11-28},<br \/>\r\nurldate = {2024-11-28},<br \/>\r\nabstract = {Incorporating learning-based models, such as artificial neural networks or Gaussian processes, into model predictive control (MPC) strategies can significantly improve control performance and online adaptation capabilities for real-world applications. Still, enabling state-of-the-art implementations of learning-based models for MPC is complicated by the challenge of interfacing machine learning frameworks with real-time optimal control software. This work aims at filling this gap by incorporating external sensitivities in sequential quadratic programming solvers for nonlinear optimal control. To this end, we provide L4acados, a general framework for incorporating Python-based residual models in the real-time optimal control software acados. By computing external sensitivities via a user-defined Python module, L4acados enables the implementation of MPC controllers with learning-based residual models in acados, while supporting parallelization of sensitivity computations when preparing the quadratic subproblems. We demonstrate significant speed-ups and superior scaling properties of L4acados compared to available software using a neural-network-based control example. Last, we provide an efficient and modular real-time implementation of Gaussian process-based MPC using L4acados, which is applied to two hardware examples: autonomous miniature racing, as well as motion control of a full-scale autonomous vehicle for an ISO lane change maneuver.},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {workingpaper}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('95','tp_bibtex')\">Close<\/a><\/p><\/div><div class=\"tp_abstract\" id=\"tp_abstract_95\" style=\"display:none;\"><div class=\"tp_abstract_entry\">Incorporating learning-based models, such as artificial neural networks or Gaussian processes, into model predictive control (MPC) strategies can significantly improve control performance and online adaptation capabilities for real-world applications. Still, enabling state-of-the-art implementations of learning-based models for MPC is complicated by the challenge of interfacing machine learning frameworks with real-time optimal control software. This work aims at filling this gap by incorporating external sensitivities in sequential quadratic programming solvers for nonlinear optimal control. To this end, we provide L4acados, a general framework for incorporating Python-based residual models in the real-time optimal control software acados. By computing external sensitivities via a user-defined Python module, L4acados enables the implementation of MPC controllers with learning-based residual models in acados, while supporting parallelization of sensitivity computations when preparing the quadratic subproblems. We demonstrate significant speed-ups and superior scaling properties of L4acados compared to available software using a neural-network-based control example. Last, we provide an efficient and modular real-time implementation of Gaussian process-based MPC using L4acados, which is applied to two hardware examples: autonomous miniature racing, as well as motion control of a full-scale autonomous vehicle for an ISO lane change maneuver.<\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('95','tp_abstract')\">Close<\/a><\/p><\/div><div class=\"tp_links\" id=\"tp_links_95\" style=\"display:none;\"><div class=\"tp_links_entry\"><ul class=\"tp_pub_list\"><li><i class=\"ai ai-doi\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/dx.doi.org\/10.48550\/arXiv.2411.19258\" title=\"Follow DOI:10.48550\/arXiv.2411.19258\" target=\"_blank\">doi:10.48550\/arXiv.2411.19258<\/a><\/li><\/ul><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('95','tp_links')\">Close<\/a><\/p><\/div><\/div><\/div><div class=\"tp_publication tp_publication_inproceedings\"><div class=\"tp_pub_number\">6.<\/div><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Leeman, Antoine P.;  K\u00f6hler, Johannes;  Messerer, Florian;  Lahr, Amon;  Diehl, Moritz;  Zeilinger, Melanie N.<\/p><p class=\"tp_pub_title\"><a class=\"tp_title_link\" onclick=\"teachpress_pub_showhide('67','tp_links')\" style=\"cursor:pointer;\">Fast System Level Synthesis: Robust Model Predictive Control Using Riccati Recursions<\/a> <span class=\"tp_pub_type tp_  inproceedings\">Proceedings Article<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_in\">In: <\/span><span class=\"tp_pub_additional_booktitle\">8th IFAC Conference on Nonlinear Model Predictive Control NMPC 2024, <\/span><span class=\"tp_pub_additional_publisher\">IFAC-PapersOnLine, <\/span><span class=\"tp_pub_additional_year\">2024<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_abstract_link\"><a id=\"tp_abstract_sh_67\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('67','tp_abstract')\" title=\"Show abstract\" style=\"cursor:pointer;\">Abstract<\/a><\/span> | <span class=\"tp_resource_link\"><a id=\"tp_links_sh_67\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('67','tp_links')\" title=\"Show links and resources\" style=\"cursor:pointer;\">Links<\/a><\/span> | <span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_67\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('67','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_67\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@inproceedings{leeman_fast_2024,<br \/>\r\ntitle = {Fast System Level Synthesis: Robust Model Predictive Control Using Riccati Recursions},<br \/>\r\nauthor = {Antoine P. Leeman and Johannes K\u00f6hler and Florian Messerer and Amon Lahr and Moritz Diehl and Melanie N. Zeilinger},<br \/>\r\nurl = {https:\/\/doi.org\/10.48550\/arXiv.2401.13762},<br \/>\r\ndoi = {10.1016\/j.ifacol.2024.09.027},<br \/>\r\nyear  = {2024},<br \/>\r\ndate = {2024-09-01},<br \/>\r\nurldate = {2024-02-07},<br \/>\r\nbooktitle = {8th IFAC Conference on Nonlinear Model Predictive Control NMPC 2024},<br \/>\r\nvolume = {58},<br \/>\r\nnumber = {18},<br \/>\r\npublisher = {IFAC-PapersOnLine},<br \/>\r\nabstract = {System Level Synthesis (SLS) enables improved robust MPC formulations by allowing for joint optimization of the nominal trajectory and controller. This paper introduces a tailored algorithm for solving the corresponding disturbance feedback optimization problem. The proposed algorithm builds on a recently proposed joint optimization scheme and iterates between optimizing the controller and the nominal trajectory while converging q-linearly to an optimal solution. We show that the controller optimization can be solved through Riccati recursions leading to a horizon-length, state, and input scalability of O(N2(n3x+n3u)) for each iterate. On a numerical example, the proposed algorithm exhibits computational speedups of order 10 to 10^3 compared to general-purpose commercial solvers.<br \/>\r\n},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {inproceedings}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('67','tp_bibtex')\">Close<\/a><\/p><\/div><div class=\"tp_abstract\" id=\"tp_abstract_67\" style=\"display:none;\"><div class=\"tp_abstract_entry\">System Level Synthesis (SLS) enables improved robust MPC formulations by allowing for joint optimization of the nominal trajectory and controller. This paper introduces a tailored algorithm for solving the corresponding disturbance feedback optimization problem. The proposed algorithm builds on a recently proposed joint optimization scheme and iterates between optimizing the controller and the nominal trajectory while converging q-linearly to an optimal solution. We show that the controller optimization can be solved through Riccati recursions leading to a horizon-length, state, and input scalability of O(N2(n3x+n3u)) for each iterate. On a numerical example, the proposed algorithm exhibits computational speedups of order 10 to 10^3 compared to general-purpose commercial solvers.<br \/>\r\n<\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('67','tp_abstract')\">Close<\/a><\/p><\/div><div class=\"tp_links\" id=\"tp_links_67\" style=\"display:none;\"><div class=\"tp_links_entry\"><ul class=\"tp_pub_list\"><li><i class=\"fas fa-globe\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/doi.org\/10.48550\/arXiv.2401.13762\" title=\"https:\/\/doi.org\/10.48550\/arXiv.2401.13762\" target=\"_blank\">https:\/\/doi.org\/10.48550\/arXiv.2401.13762<\/a><\/li><li><i class=\"ai ai-doi\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/dx.doi.org\/10.1016\/j.ifacol.2024.09.027\" title=\"Follow DOI:10.1016\/j.ifacol.2024.09.027\" target=\"_blank\">doi:10.1016\/j.ifacol.2024.09.027<\/a><\/li><\/ul><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('67','tp_links')\">Close<\/a><\/p><\/div><\/div><\/div><div class=\"tp_publication tp_publication_inproceedings\"><div class=\"tp_pub_number\">7.<\/div><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Lahr, Amon;  Tronarp, Filip;  Schmidt, Nathanael Bosch Jonathan;  Hennig, Philipp;  Zeilinger, Melanie N.<\/p><p class=\"tp_pub_title\"><a class=\"tp_title_link\" onclick=\"teachpress_pub_showhide('66','tp_links')\" style=\"cursor:pointer;\">Probabilistic ODE Solvers for Integration Error-Aware Numerical Optimal Control<\/a> <span class=\"tp_pub_type tp_  inproceedings\">Proceedings Article<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_in\">In: <\/span><span class=\"tp_pub_additional_booktitle\">Proceedings of the 6th Annual Learning for Dynamics &amp; Control Conference (L4DC), <\/span><span class=\"tp_pub_additional_pages\">pp. 1018\u20131032, <\/span><span class=\"tp_pub_additional_publisher\">PMLR, <\/span><span class=\"tp_pub_additional_year\">2024<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_abstract_link\"><a id=\"tp_abstract_sh_66\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('66','tp_abstract')\" title=\"Show abstract\" style=\"cursor:pointer;\">Abstract<\/a><\/span> | <span class=\"tp_resource_link\"><a id=\"tp_links_sh_66\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('66','tp_links')\" title=\"Show links and resources\" style=\"cursor:pointer;\">Links<\/a><\/span> | <span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_66\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('66','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_66\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@inproceedings{lahr_probabilistic_2024,<br \/>\r\ntitle = {Probabilistic ODE Solvers for Integration Error-Aware Numerical Optimal Control},<br \/>\r\nauthor = {Amon Lahr and Filip Tronarp and Nathanael Bosch Jonathan Schmidt and Philipp Hennig and Melanie N. Zeilinger},<br \/>\r\nurl = {https:\/\/proceedings.mlr.press\/v242\/lahr24a.html<br \/>\r\nhttps:\/\/proceedings.mlr.press\/v242\/lahr24a\/lahr24a.pdf},<br \/>\r\nyear  = {2024},<br \/>\r\ndate = {2024-07-15},<br \/>\r\nurldate = {2024-02-07},<br \/>\r\nbooktitle = {Proceedings of the 6th Annual Learning for Dynamics & Control Conference (L4DC)},<br \/>\r\nvolume = {242},<br \/>\r\npages = {1018--1032},<br \/>\r\npublisher = {PMLR},<br \/>\r\nseries = {Proceedings of Machine Learning Research},<br \/>\r\nabstract = {Appropriate time discretization is crucial for real-time applications of numerical optimal control, such as nonlinear model predictive control. However, if the discretization error strongly depends on the applied control input, meeting accuracy and sampling time requirements simultaneously can be challenging using classical discretization methods. In particular, neither fixed-grid nor adaptive-grid discretizations may be suitable, when they suffer from large integration error or exceed the prescribed sampling time, respectively. In this work, we take a first step at closing this gap by utilizing probabilistic numerical integrators to approximate the solution of the initial value problem, as well as the computational uncertainty associated with it, inside the optimal control problem (OCP). By taking the viewpoint of probabilistic numerics and propagating the numerical uncertainty in the cost, the OCP is reformulated such that the optimal input reduces the computational uncertainty insofar as it is beneficial for the control objective. The proposed approach is illustrated using a numerical example, and potential benefits and limitations are discussed.},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {inproceedings}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('66','tp_bibtex')\">Close<\/a><\/p><\/div><div class=\"tp_abstract\" id=\"tp_abstract_66\" style=\"display:none;\"><div class=\"tp_abstract_entry\">Appropriate time discretization is crucial for real-time applications of numerical optimal control, such as nonlinear model predictive control. However, if the discretization error strongly depends on the applied control input, meeting accuracy and sampling time requirements simultaneously can be challenging using classical discretization methods. In particular, neither fixed-grid nor adaptive-grid discretizations may be suitable, when they suffer from large integration error or exceed the prescribed sampling time, respectively. In this work, we take a first step at closing this gap by utilizing probabilistic numerical integrators to approximate the solution of the initial value problem, as well as the computational uncertainty associated with it, inside the optimal control problem (OCP). By taking the viewpoint of probabilistic numerics and propagating the numerical uncertainty in the cost, the OCP is reformulated such that the optimal input reduces the computational uncertainty insofar as it is beneficial for the control objective. The proposed approach is illustrated using a numerical example, and potential benefits and limitations are discussed.<\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('66','tp_abstract')\">Close<\/a><\/p><\/div><div class=\"tp_links\" id=\"tp_links_66\" style=\"display:none;\"><div class=\"tp_links_entry\"><ul class=\"tp_pub_list\"><li><i class=\"fas fa-globe\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/proceedings.mlr.press\/v242\/lahr24a.html\" title=\"https:\/\/proceedings.mlr.press\/v242\/lahr24a.html\" target=\"_blank\">https:\/\/proceedings.mlr.press\/v242\/lahr24a.html<\/a><\/li><li><i class=\"fas fa-file-pdf\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/proceedings.mlr.press\/v242\/lahr24a\/lahr24a.pdf\" title=\"https:\/\/proceedings.mlr.press\/v242\/lahr24a\/lahr24a.pdf\" target=\"_blank\">https:\/\/proceedings.mlr.press\/v242\/lahr24a\/lahr24a.pdf<\/a><\/li><\/ul><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('66','tp_links')\">Close<\/a><\/p><\/div><\/div><\/div><div class=\"tp_publication tp_publication_inproceedings\"><div class=\"tp_pub_number\">8.<\/div><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Frey, Jonathan;  Gao, Yunfan;  Messerer, Florian;  Lahr, Amon;  Zeilinger, Melanie N.;  Diehl, Moritz<\/p><p class=\"tp_pub_title\"><a class=\"tp_title_link\" onclick=\"teachpress_pub_showhide('62','tp_links')\" style=\"cursor:pointer;\">Efficient Zero-Order Robust Optimization for Real-Time Model Predictive Control with Acados<\/a> <span class=\"tp_pub_type tp_  inproceedings\">Proceedings Article<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_in\">In: <\/span><span class=\"tp_pub_additional_booktitle\">2024 European Control Conference (ECC), <\/span><span class=\"tp_pub_additional_publisher\">IEEE, <\/span><span class=\"tp_pub_additional_address\">Stockholm, Sweden, <\/span><span class=\"tp_pub_additional_year\">2024<\/span>, <span class=\"tp_pub_additional_isbn\">ISBN: 978-3-9071-4410-7<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_abstract_link\"><a id=\"tp_abstract_sh_62\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('62','tp_abstract')\" title=\"Show abstract\" style=\"cursor:pointer;\">Abstract<\/a><\/span> | <span class=\"tp_resource_link\"><a id=\"tp_links_sh_62\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('62','tp_links')\" title=\"Show links and resources\" style=\"cursor:pointer;\">Links<\/a><\/span> | <span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_62\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('62','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_62\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@inproceedings{frey_efficient_2023,<br \/>\r\ntitle = {Efficient Zero-Order Robust Optimization for Real-Time Model Predictive Control with Acados},<br \/>\r\nauthor = {Jonathan Frey and Yunfan Gao and Florian Messerer and Amon Lahr and Melanie N. Zeilinger and Moritz Diehl},<br \/>\r\ndoi = {10.23919\/ECC64448.2024.10591148},<br \/>\r\nisbn = {978-3-9071-4410-7},<br \/>\r\nyear  = {2024},<br \/>\r\ndate = {2024-06-03},<br \/>\r\nurldate = {2023-12-18},<br \/>\r\nbooktitle = {2024 European Control Conference (ECC)},<br \/>\r\npublisher = {IEEE},<br \/>\r\naddress = {Stockholm, Sweden},<br \/>\r\nabstract = {Robust and stochastic optimal control problem (OCP) formulations allow a systematic treatment of uncertainty, but are typically associated with a high computational cost. The recently proposed zero-order robust optimization (zoRO) algorithm mitigates the computational cost of uncertainty-aware MPC by propagating the uncertainties separately from the nominal dynamics. This paper details the combination of zoRO with the real-time iteration (RTI) scheme and presents an efficient open-source implementation in acados, utilizing BLASFEO for the linear algebra operations. In addition to the scaling advantages posed by the zoRO algorithm, the efficient implementation drastically reduces the computational overhead, and, combined with an RTI scheme, enables the use of tube-based MPC for a wider range of applications. The flexibility, usability and effectiveness of the proposed implementation is demonstrated on two examples. On the practical example of a differential drive robot, the proposed implementation results in a tenfold reduction of computation time with respect to the previously available zoRO implementation.},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {inproceedings}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('62','tp_bibtex')\">Close<\/a><\/p><\/div><div class=\"tp_abstract\" id=\"tp_abstract_62\" style=\"display:none;\"><div class=\"tp_abstract_entry\">Robust and stochastic optimal control problem (OCP) formulations allow a systematic treatment of uncertainty, but are typically associated with a high computational cost. The recently proposed zero-order robust optimization (zoRO) algorithm mitigates the computational cost of uncertainty-aware MPC by propagating the uncertainties separately from the nominal dynamics. This paper details the combination of zoRO with the real-time iteration (RTI) scheme and presents an efficient open-source implementation in acados, utilizing BLASFEO for the linear algebra operations. In addition to the scaling advantages posed by the zoRO algorithm, the efficient implementation drastically reduces the computational overhead, and, combined with an RTI scheme, enables the use of tube-based MPC for a wider range of applications. The flexibility, usability and effectiveness of the proposed implementation is demonstrated on two examples. On the practical example of a differential drive robot, the proposed implementation results in a tenfold reduction of computation time with respect to the previously available zoRO implementation.<\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('62','tp_abstract')\">Close<\/a><\/p><\/div><div class=\"tp_links\" id=\"tp_links_62\" style=\"display:none;\"><div class=\"tp_links_entry\"><ul class=\"tp_pub_list\"><li><i class=\"ai ai-doi\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/dx.doi.org\/10.23919\/ECC64448.2024.10591148\" title=\"Follow DOI:10.23919\/ECC64448.2024.10591148\" target=\"_blank\">doi:10.23919\/ECC64448.2024.10591148<\/a><\/li><\/ul><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('62','tp_links')\">Close<\/a><\/p><\/div><\/div><\/div><div class=\"tp_publication tp_publication_article\"><div class=\"tp_pub_number\">9.<\/div><div class=\"tp_pub_info\"><p class=\"tp_pub_author\"> Lahr, Amon;  Zanelli, Andrea;  Carron, Andrea;  Zeilinger, Melanie N.<\/p><p class=\"tp_pub_title\"><a class=\"tp_title_link\" onclick=\"teachpress_pub_showhide('30','tp_links')\" style=\"cursor:pointer;\">Zero-Order Optimization for Gaussian Process-based Model Predictive Control<\/a> <span class=\"tp_pub_type tp_  article\">Journal Article<\/span> <\/p><p class=\"tp_pub_additional\"><span class=\"tp_pub_additional_in\">In: <\/span><span class=\"tp_pub_additional_journal\">European Journal of Control, <\/span><span class=\"tp_pub_additional_pages\">pp. 100862, <\/span><span class=\"tp_pub_additional_year\">2023<\/span>, <span class=\"tp_pub_additional_issn\">ISSN: 0947-3580<\/span>.<\/p><p class=\"tp_pub_menu\"><span class=\"tp_abstract_link\"><a id=\"tp_abstract_sh_30\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('30','tp_abstract')\" title=\"Show abstract\" style=\"cursor:pointer;\">Abstract<\/a><\/span> | <span class=\"tp_resource_link\"><a id=\"tp_links_sh_30\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('30','tp_links')\" title=\"Show links and resources\" style=\"cursor:pointer;\">Links<\/a><\/span> | <span class=\"tp_bibtex_link\"><a id=\"tp_bibtex_sh_30\" class=\"tp_show\" onclick=\"teachpress_pub_showhide('30','tp_bibtex')\" title=\"Show BibTeX entry\" style=\"cursor:pointer;\">BibTeX<\/a><\/span><\/p><div class=\"tp_bibtex\" id=\"tp_bibtex_30\" style=\"display:none;\"><div class=\"tp_bibtex_entry\"><pre>@article{lahrZeroOrderOptimizationGaussian2023,<br \/>\r\ntitle = {Zero-Order Optimization for Gaussian Process-based Model Predictive Control},<br \/>\r\nauthor = {Amon Lahr and Andrea Zanelli and Andrea Carron and Melanie N. Zeilinger},<br \/>\r\nurl = {https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0947358023000912},<br \/>\r\ndoi = {10.1016\/j.ejcon.2023.100862},<br \/>\r\nissn = {0947-3580},<br \/>\r\nyear  = {2023},<br \/>\r\ndate = {2023-06-15},<br \/>\r\nurldate = {2023-07-18},<br \/>\r\njournal = {European Journal of Control},<br \/>\r\npages = {100862},<br \/>\r\nabstract = {By enabling constraint-aware online model adaptation, model predictive control using Gaussian process\u00a0(GP) regression has exhibited impressive performance in real-world applications and received considerable attention in the learning-based control community. Yet, solving the resulting optimal control problem in real-time generally remains a major challenge, due to (i)\u00a0the increased number of augmented states in the optimization problem, as well as (ii)\u00a0computationally expensive evaluations of the posterior mean and covariance and their respective derivatives. To tackle these challenges, we employ (i)\u00a0a\u00a0tailored Jacobian approximation in a sequential quadratic programming (SQP) approach and combine it with (ii)\u00a0a\u00a0parallelizable GP inference and automatic differentiation framework. Reducing the numerical complexity with respect to the state dimension nx for each SQP iteration from O(nx6) to O(nx3), and accelerating GP evaluations on a graphical processing unit, the proposed algorithm computes suboptimal, yet feasible, solutions at drastically reduced computation times and exhibits favorable local convergence properties. Numerical experiments verify the scaling properties and investigate the runtime distribution across different parts of the algorithm.<br \/>\r\n},<br \/>\r\nkeywords = {},<br \/>\r\npubstate = {published},<br \/>\r\ntppubtype = {article}<br \/>\r\n}<br \/>\r\n<\/pre><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('30','tp_bibtex')\">Close<\/a><\/p><\/div><div class=\"tp_abstract\" id=\"tp_abstract_30\" style=\"display:none;\"><div class=\"tp_abstract_entry\">By enabling constraint-aware online model adaptation, model predictive control using Gaussian process\u00a0(GP) regression has exhibited impressive performance in real-world applications and received considerable attention in the learning-based control community. Yet, solving the resulting optimal control problem in real-time generally remains a major challenge, due to (i)\u00a0the increased number of augmented states in the optimization problem, as well as (ii)\u00a0computationally expensive evaluations of the posterior mean and covariance and their respective derivatives. To tackle these challenges, we employ (i)\u00a0a\u00a0tailored Jacobian approximation in a sequential quadratic programming (SQP) approach and combine it with (ii)\u00a0a\u00a0parallelizable GP inference and automatic differentiation framework. Reducing the numerical complexity with respect to the state dimension nx for each SQP iteration from O(nx6) to O(nx3), and accelerating GP evaluations on a graphical processing unit, the proposed algorithm computes suboptimal, yet feasible, solutions at drastically reduced computation times and exhibits favorable local convergence properties. Numerical experiments verify the scaling properties and investigate the runtime distribution across different parts of the algorithm.<br \/>\r\n<\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('30','tp_abstract')\">Close<\/a><\/p><\/div><div class=\"tp_links\" id=\"tp_links_30\" style=\"display:none;\"><div class=\"tp_links_entry\"><ul class=\"tp_pub_list\"><li><i class=\"fas fa-globe\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0947358023000912\" title=\"https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0947358023000912\" target=\"_blank\">https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0947358023000912<\/a><\/li><li><i class=\"ai ai-doi\"><\/i><a class=\"tp_pub_list\" href=\"https:\/\/dx.doi.org\/10.1016\/j.ejcon.2023.100862\" title=\"Follow DOI:10.1016\/j.ejcon.2023.100862\" target=\"_blank\">doi:10.1016\/j.ejcon.2023.100862<\/a><\/li><\/ul><\/div><p class=\"tp_close_menu\"><a class=\"tp_close\" onclick=\"teachpress_pub_showhide('30','tp_links')\">Close<\/a><\/p><\/div><\/div><\/div><\/div><\/div><\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>Institute for Dynamic Systems and Control, ETH Z\u00fcrich<\/p>\n","protected":false},"author":2,"featured_media":699,"comment_status":"open","ping_status":"open","sticky":false,"template":"elementor_header_footer","format":"standard","meta":{"footnotes":""},"categories":[9,8],"tags":[],"class_list":["post-607","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-esr","category-people"],"_links":{"self":[{"href":"https:\/\/elo-x.eu\/index.php?rest_route=\/wp\/v2\/posts\/607","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/elo-x.eu\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/elo-x.eu\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/elo-x.eu\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/elo-x.eu\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=607"}],"version-history":[{"count":38,"href":"https:\/\/elo-x.eu\/index.php?rest_route=\/wp\/v2\/posts\/607\/revisions"}],"predecessor-version":[{"id":2747,"href":"https:\/\/elo-x.eu\/index.php?rest_route=\/wp\/v2\/posts\/607\/revisions\/2747"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/elo-x.eu\/index.php?rest_route=\/wp\/v2\/media\/699"}],"wp:attachment":[{"href":"https:\/\/elo-x.eu\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=607"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/elo-x.eu\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=607"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/elo-x.eu\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=607"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}