-
Converse Theorems for Certificates of Safety and Stability
Authors:
Pol Mestres,
Jorge Cortés
Abstract:
Motivated by the key role of control barrier functions (CBFs) in assessing safety and enabling the synthesis of safe controllers in nonlinear control systems, this paper presents a suite of converse results on CBFs. Given any safe set, we first identify a set of general sufficient conditions which guarantee the existence of a CBF. Our technical analysis also enables us to define an extended notion…
▽ More
Motivated by the key role of control barrier functions (CBFs) in assessing safety and enabling the synthesis of safe controllers in nonlinear control systems, this paper presents a suite of converse results on CBFs. Given any safe set, we first identify a set of general sufficient conditions which guarantee the existence of a CBF. Our technical analysis also enables us to define an extended notion of CBF which is always guaranteed to exist if the set is safe. We next turn our attention to the problem of joint safety and stability, and give conditions under which the notions of control Lyapunov-barrier function (CLBF) and compatible control Lyapunov function (CLF) and CBF pair are guaranteed to exist. Finally, we identify conditions under which a CLBF and a compatible CLF-CBF pair can be constructed from a non-compatible CLF-CBF pair. Throughout the paper, we intersperse different examples and counterexamples to motivate our results and position them within the state of the art.
△ Less
Submitted 20 June, 2024;
originally announced June 2024.
-
Distributed Safe Navigation of Multi-Agent Systems using Control Barrier Function-Based Optimal Controllers
Authors:
Pol Mestres,
Carlos Nieto-Granda,
Jorge Cortés
Abstract:
This paper proposes a distributed controller synthesis framework for safe navigation of multi-agent systems. We leverage control barrier functions to formulate collision avoidance with obstacles and teammates as constraints on the control input for a state-dependent network optimization problem that encodes team formation and the navigation task. Our algorithmic solution is valid for general nonli…
▽ More
This paper proposes a distributed controller synthesis framework for safe navigation of multi-agent systems. We leverage control barrier functions to formulate collision avoidance with obstacles and teammates as constraints on the control input for a state-dependent network optimization problem that encodes team formation and the navigation task. Our algorithmic solution is valid for general nonlinear control dynamics and optimization problems. The resulting controller is distributed, satisfies the safety constraints at all times, and is asymptotically optimal. We illustrate its performance in a team of differential-drive robots in a variety of complex environments, both in simulation and in hardware.
△ Less
Submitted 1 May, 2024; v1 submitted 9 February, 2024;
originally announced February 2024.
-
Regularity Properties of Optimization-Based Controllers
Authors:
Pol Mestres,
Ahmed Allibhoy,
Jorge Cortés
Abstract:
This paper studies regularity properties of optimization-based controllers, which are obtained by solving optimization problems where the parameter is the system state and the optimization variable is the input to the system. Under a wide range of assumptions on the optimization problem data, we provide an exhaustive collection of results about their regularity, and examine their implications on t…
▽ More
This paper studies regularity properties of optimization-based controllers, which are obtained by solving optimization problems where the parameter is the system state and the optimization variable is the input to the system. Under a wide range of assumptions on the optimization problem data, we provide an exhaustive collection of results about their regularity, and examine their implications on the existence and uniqueness of solutions and the forward invariance guarantees for the resulting closed-loop systems. We discuss the broad relevance of the results in different areas of systems and controls.
△ Less
Submitted 30 May, 2024; v1 submitted 22 November, 2023;
originally announced November 2023.
-
Feasibility Analysis and Regularity Characterization of Distributionally Robust Safe Stabilizing Controllers
Authors:
Pol Mestres,
Kehan Long,
Nikolay Atanasov,
Jorge Cortés
Abstract:
This paper studies the well-posedness and regularity of safe stabilizing optimization-based controllers for control-affine systems in the presence of model uncertainty. When the system dynamics contain unknown parameters, a finite set of samples can be used to formulate distributionally robust versions of control barrier function and control Lyapunov function constraints. Control synthesis with su…
▽ More
This paper studies the well-posedness and regularity of safe stabilizing optimization-based controllers for control-affine systems in the presence of model uncertainty. When the system dynamics contain unknown parameters, a finite set of samples can be used to formulate distributionally robust versions of control barrier function and control Lyapunov function constraints. Control synthesis with such distributionally robust constraints can be achieved by solving a (convex) second-order cone program (SOCP). We provide one necessary and two sufficient conditions to check the feasibility of such optimization problems, characterize their computational complexity and numerically show that they are significantly faster to check than direct use of SOCP solvers. Finally, we also analyze the regularity of the resulting control laws.
△ Less
Submitted 29 December, 2023; v1 submitted 9 November, 2023;
originally announced November 2023.
-
Distributed and Anytime Algorithm for Network Optimization Problems with Separable Structure
Authors:
Pol Mestres,
Jorge Cortés
Abstract:
This paper considers the problem of designing a dynamical system to solve constrained optimization problems in a distributed way and in an anytime fashion (i.e., such that the feasible set is forward invariant). For problems with separable objective function and constraints, we design an algorithm with the desired properties and establish its convergence. Simulations illustrate our results.
This paper considers the problem of designing a dynamical system to solve constrained optimization problems in a distributed way and in an anytime fashion (i.e., such that the feasible set is forward invariant). For problems with separable objective function and constraints, we design an algorithm with the desired properties and establish its convergence. Simulations illustrate our results.
△ Less
Submitted 6 September, 2023;
originally announced September 2023.
-
Feasibility and Regularity Analysis of Safe Stabilizing Controllers under Uncertainty
Authors:
Pol Mestres,
Jorge Cortés
Abstract:
This paper studies the problem of safe stabilization of control-affine systems under uncertainty. Our starting point is the availability of worst-case or probabilistic error descriptions for the dynamics and a control barrier function (CBF). These descriptions give rise to second-order cone constraints (SOCCs) whose simultaneous satisfaction guarantees safe stabilization. We study the feasibility…
▽ More
This paper studies the problem of safe stabilization of control-affine systems under uncertainty. Our starting point is the availability of worst-case or probabilistic error descriptions for the dynamics and a control barrier function (CBF). These descriptions give rise to second-order cone constraints (SOCCs) whose simultaneous satisfaction guarantees safe stabilization. We study the feasibility of such SOCCs and the regularity properties of various controllers satisfying them.
△ Less
Submitted 2 December, 2023; v1 submitted 11 January, 2023;
originally announced January 2023.
-
Optimization-Based Safe Stabilizing Feedback with Guaranteed Region of Attraction
Authors:
Pol Mestres,
Jorge Cortés
Abstract:
This paper proposes an optimization with penalty-based feedback design framework for safe stabilization of control affine systems. Our starting point is the availability of a control Lyapunov function (CLF) and a control barrier function (CBF) defining affine-in-the-input inequalities that certify, respectively, the stability and safety objectives for the dynamics. Leveraging ideas from penalty me…
▽ More
This paper proposes an optimization with penalty-based feedback design framework for safe stabilization of control affine systems. Our starting point is the availability of a control Lyapunov function (CLF) and a control barrier function (CBF) defining affine-in-the-input inequalities that certify, respectively, the stability and safety objectives for the dynamics. Leveraging ideas from penalty methods for constrained optimization, the proposed design framework imposes one of the inequalities as a hard constraint and the other one as a soft constraint. We study the properties of the closed-loop system under the resulting feedback controller and identify conditions on the penalty parameter to eliminate undesired equilibria that might arise. Going beyond the local stability guarantees available in the literature, we are able to provide an inner approximation of the region of attraction of the equilibrium, and identify conditions under which the whole safe set belongs to it. Simulations illustrate our results.
△ Less
Submitted 25 July, 2022; v1 submitted 23 March, 2022;
originally announced March 2022.
-
Resource-Aware Discretization of Accelerated Optimization Flows
Authors:
Miguel Vaquero,
Pol Mestres,
Jorge Cortés
Abstract:
This paper tackles the problem of discretizing accelerated optimization flows while retaining their convergence properties. Inspired by the success of resource-aware control in developing efficient closed-loop feedback implementations on digital systems, we view the last sampled state of the system as the resource to be aware of. The resulting variable-stepsize discrete-time algorithms retain by d…
▽ More
This paper tackles the problem of discretizing accelerated optimization flows while retaining their convergence properties. Inspired by the success of resource-aware control in developing efficient closed-loop feedback implementations on digital systems, we view the last sampled state of the system as the resource to be aware of. The resulting variable-stepsize discrete-time algorithms retain by design the desired decrease of the Lyapunov certificate of their continuous-time counterparts. Our algorithm design employs various concepts and techniques from resource-aware control that, in the present context, have interesting parallelisms with the discrete-time implementation of optimization algorithms. These include derivative- and performance-based triggers to monitor the evolution of the Lyapunov function as a way of determining the algorithm stepsize, exploiting sampled information to enhance algorithm performance, and employing high-order holds using more accurate integrators of the original dynamics. Throughout the paper, we illustrate our approach on a newly introduced continuous-time dynamics termed heavy-ball dynamics with displaced gradient, but the ideas proposed here have broad applicability to other globally asymptotically stable flows endowed with a Lyapunov certificate.
△ Less
Submitted 18 September, 2020;
originally announced September 2020.
-
Optical and electrical feedback cooling of a silica nanoparticle levitated in a Paul trap
Authors:
Lorenzo Dania,
Dmitry S. Bykov,
Matthias Knoll,
Pau Mestres,
Tracy E. Northup
Abstract:
All three motional modes of a charged dielectric nanoparticle in a Paul trap are cooled by direct feedback to temperatures of a few mK. We test two methods, one based on electrical forces and the other on optical forces; for both methods, we find similar cooling efficiencies. Cooling is characterized for both feedback forces as a function of feedback parameters, background pressure, and the partic…
▽ More
All three motional modes of a charged dielectric nanoparticle in a Paul trap are cooled by direct feedback to temperatures of a few mK. We test two methods, one based on electrical forces and the other on optical forces; for both methods, we find similar cooling efficiencies. Cooling is characterized for both feedback forces as a function of feedback parameters, background pressure, and the particle's position.
△ Less
Submitted 26 March, 2021; v1 submitted 5 July, 2020;
originally announced July 2020.
-
Resolved Sideband Cooling of a Levitated Nanoparticle in the Presence of Laser Phase Noise
Authors:
Nadine Meyer,
Andres de los Rios Sommer,
Pau Mestres,
Jan Gieseler,
Vijay Jain,
Lukas Novotny,
Romain Quidant
Abstract:
We investigate the influence of laser phase noise heating on resolved sideband cooling in the context of cooling the center-of-mass motion of a levitated nanoparticle in a high-finesse cavity. Although phase noise heating is not a fundamental physical constraint, the regime where it becomes the main limitation in Levitodynamics has so far been unexplored and hence embodies from this point forward…
▽ More
We investigate the influence of laser phase noise heating on resolved sideband cooling in the context of cooling the center-of-mass motion of a levitated nanoparticle in a high-finesse cavity. Although phase noise heating is not a fundamental physical constraint, the regime where it becomes the main limitation in Levitodynamics has so far been unexplored and hence embodies from this point forward the main obstacle in reaching the motional ground state of levitated mesoscopic objects with resolved sideband cooling. We reach minimal center-of-mass temperatures comparable to $T_{min}=10$mK at a pressure of $p = 3\times 10^{-7}$mbar, solely limited by phase noise. Finally we present possible strategies towards motional ground state cooling in the presence of phase noise.
△ Less
Submitted 10 October, 2019; v1 submitted 5 July, 2019;
originally announced July 2019.
-
Direct loading of nanoparticles under high vacuum into a Paul trap for levitodynamical experiments
Authors:
Dmitry S. Bykov,
Pau Mestres,
Lorenzo Dania,
Lisa Schmöger,
Tracy E. Northup
Abstract:
Mechanical oscillators based on levitated particles are promising candidates for sensitive detectors and platforms for testing fundamental physics. The targeted quality factors for such oscillators correspond to extremely low damping rates of the center-of-mass motion, which can only be obtained if the particles are trapped in ultrahigh vacuum (UHV). In order to reach such low pressures, a noncont…
▽ More
Mechanical oscillators based on levitated particles are promising candidates for sensitive detectors and platforms for testing fundamental physics. The targeted quality factors for such oscillators correspond to extremely low damping rates of the center-of-mass motion, which can only be obtained if the particles are trapped in ultrahigh vacuum (UHV). In order to reach such low pressures, a noncontaminating method of loading particles in a UHV environment is necessary. However, loading particle traps at pressures below the viscous flow regime is challenging due to the conservative nature of trapping forces and reduced gas damping. We demonstrate a technique that allows us to overcome these limitations and load particles into a Paul trap at pressures as low as 4x10^-7 mbar. The method is based on laser-induced acoustic desorption of nanoparticles from a metallic foil and temporal control of the Paul trap potential. We show that the method is highly efficient: More than half of the trapping attempts are successful. Moreover, since trapping attempts can be as short as a few milliseconds, the technique provides high throughput of loaded particles. Finally, the efficiency of the method does not depend on pressure, indicating that the method should be extensible to UHV.
△ Less
Submitted 15 April, 2020; v1 submitted 10 May, 2019;
originally announced May 2019.
-
Unraveling the optomechanical nature of plasmonic trapping
Authors:
Pau Mestres,
Johann Berthelot,
Romain Quidant
Abstract:
Non-invasive and ultra-accurate optical manipulation of nanometer objects has recently gained a growing interest as a powerful enabling tool in nanotechnology and biophysics. In this context, Self-Induced Back-Action (SIBA) trapping in nano-optical cavities has shown a unique potential for trapping and manipulating nanometer-sized objects under low optical intensities. Yet, the existence of the SI…
▽ More
Non-invasive and ultra-accurate optical manipulation of nanometer objects has recently gained a growing interest as a powerful enabling tool in nanotechnology and biophysics. In this context, Self-Induced Back-Action (SIBA) trapping in nano-optical cavities has shown a unique potential for trapping and manipulating nanometer-sized objects under low optical intensities. Yet, the existence of the SIBA effect has that far only been evidenced indirectly through its enhanced trapping performances. In this article we present for the first time a direct experimental evidence of the self-reconfiguration of the optical potential experienced by a nanoparticle trapped in a plasmonic nanocavity. Our observations enable us gaining further understanding of the SIBA mechanism and determine the optimum conditions to boost the performances of SIBA-based nano-optical tweezers.
△ Less
Submitted 23 November, 2015; v1 submitted 17 November, 2015;
originally announced November 2015.
-
Long distance manipulation of a levitated nanoparticle in high vacuum
Authors:
Pau Mestres,
Johann Berthelot,
Marko Spasenović,
Jan Gieseler,
Lukas Novotny,
Romain Quidant
Abstract:
Accurate delivery of small targets in high vacuum is a pivotal task in many branches of science and technology. Beyond the different strategies developed for atoms, proteins, macroscopic clusters and pellets, the manipulation of neutral particles over macroscopic distances still poses a formidable challenge. Here we report a novel approach based on a mobile optical trap operated under feedback con…
▽ More
Accurate delivery of small targets in high vacuum is a pivotal task in many branches of science and technology. Beyond the different strategies developed for atoms, proteins, macroscopic clusters and pellets, the manipulation of neutral particles over macroscopic distances still poses a formidable challenge. Here we report a novel approach based on a mobile optical trap operated under feedback control that enables long range 3D manipulation of a silica nanoparticle in high vacuum. We apply this technique to load a single nanoparticle into a high-finesse optical cavity through a load-lock vacuum system. We foresee our scheme to benefit the field of optomechanics with levitating nano-objects as well as ultrasensitive detection and monitoring.
△ Less
Submitted 14 October, 2015; v1 submitted 8 May, 2015;
originally announced May 2015.
-
Realization of nonequilibrium thermodynamic processes using external colored noise
Authors:
Pau Mestres,
Ignacio A. Martinez,
Antonio Ortiz-Ambriz,
Raul A. Rica,
Edgar Roldan
Abstract:
We investigate the dynamics of single microparticles immersed in water that are driven out of equilibrium in the presence of an additional external colored noise. As a case study, we trap a single polystyrene particle in water with optical tweezers and apply an external electric field with flat spectrum but a finite bandwidth of the order of kHz. The intensity of the external noise controls the am…
▽ More
We investigate the dynamics of single microparticles immersed in water that are driven out of equilibrium in the presence of an additional external colored noise. As a case study, we trap a single polystyrene particle in water with optical tweezers and apply an external electric field with flat spectrum but a finite bandwidth of the order of kHz. The intensity of the external noise controls the amplitude of the fluctuations of the position of the particle, and therefore of its effective temperature. Here we show, in two different nonequilibrium experiments, that the fluctuations of the work done on the particle obey Crooks fluctuation theorem at the equilibrium effective temperature, given that the sampling frequency and the noise cutoff frequency are properly chosen. Our experimental setup can be therefore used to improve the design of microscopic motors towards fast and efficient devices, thus extending the frontiers of nano machinery.
△ Less
Submitted 12 June, 2014;
originally announced June 2014.
