SearcharxivSearch

arXiv subjects

Raik Suttner

Publications and source records attributed to Raik Suttner.

13 recordsLinked to original sources

Averaging of Random Vibrations in Mechanical Systems in the Sense of Ito, Stratonovich, and Sussmann

In this paper, we investigate a stochastic averaging principle for a large class of mechanical systems in the presence of random vibrations. We show that a known deterministic averaging principle for affine connection control systems with large-amplitude high-frequency inputs also holds for non-periodic stochastic inputs. The randomly vibrating mechanical system is described by a stochastic differential equation whose solutions do not depend on its interpretation in the sense of Ito, Stratonovich, or Sussmann. We also show that solutions of this stochastic differential equation can be directly computed from a single ordinary differential equation. We illustrate our theoretical results by the example of stochastic source seeking with a nonholonomic vehicle.

math.OC

Global exponential stabilization of a force- and torque-actuated unicycle by flexible-step MPC

We study the problem of global exponential stabilization of a force- and torque-controlled unicycle model in discrete time. To this end, we extend a recently introduced approach to model predictive control (MPC) in which a flexible number of inputs is implemented in every iteration. We present the first flexible-step MPC protocol with state-dependent weights for average descent. Notably, the proposed method relies neither on a suitable design of running or terminal cost functions nor on a suitable choice of terminal constraints. Instead, stability is guaranteed through a generalized discrete-time control Lyapunov function. We establish a new theoretical framework for global exponential stabilization of general nonlinear discrete-time control systems by flexible-step MPC. The obtained results go beyond the unicycle example. However, given the importance of the unicycle dynamics, we make that a focal point of our work. For the particular case of the dynamic (second-order) unicycle model, we show that global exponential stability cannot be attained in the classical sense, but in a slightly weaker sense. The proposed flexible-step MPC method is shown to induce the best possible notion of global exponential stability for this model. We provide explicit rules for the choice of parameters, which guarantee feasibility and global exponential stability. Our numerical simulations show that the discrete MPC method also works very well in applications to a continuous-time torque-actuated unicycle.

math.OC

Extremum Seeking with Double Integrators in the Presence of Local Extrema

We study the problem of global extremum seeking in the presence of local extrema. We investigate two different perturbation-based methods: 1) a well-known classical extremum seeking scheme for steady-state output optimization, and 2) a source seeking scheme for a two-dimensional point mass. In each of these two scenarios, the closed-loop system involves a damped double integrator subject to an oscillatory force. An averaging analysis reveals that the respective averaged system is again a damped double integrator, but now subject to a potential force. The potential force is given by the gradient of a locally averaged objective function. Such a function is less prone to have undesired local extrema and is therefore better suited for global optimization. We provide sufficient conditions for semi-global practical uniform asymptotic stability of the closed-loop systems. The sufficient conditions only involve assumptions on the averaged objective function but not the original one.

math.OC

Non-Local Extremum Seeking Based on the Divergence Theorem

We propose a new design strategy for extremum seeking control for a multi-dimensional single-integrator system in the presence of local extrema. The proposed method employs suitably designed sinusoidal dither signals, which force the single-integrator to a spherical motion. Over time, this spherical motion gives approximate access to an integral of the objective function over a sphere. Using the divergence theorem, we identify the integral over the sphere as the gradient of an integral over the enclosed ball. This integral over the ball defines a locally averaged objective function. The proposed extremum seeking method drives the system state into the gradient direction of the averaged objective function. Such a local average of the objective function can eliminate undesired local extrema and is therefore beneficial for global optimization. Under the assumption that the averaged objective function has no undesired critical points, we prove practical asymptotic stability of the closed-loop system. Our theoretical analysis takes sufficiently small $L_\infty$-measurement errors of the objective function into account.

math.OC

Flexible-step MPC for Unknown Linear Time-Invariant Systems

We propose a novel flexible-step model predictive control algorithm for unknown linear time-invariant discrete-time systems. The goal is to asymptotically stabilize the system without relying on a pre-collected dataset that describes its behavior in advance. In particular, we aim to avoid a potentially harmful initial open-loop exploration phase for identification, since full identification is often not necessary for stabilization. Instead, the proposed control scheme explores and learns the unknown system online through measurements of inputs and states. The measurement results are used to update the prediction model in the finite-horizon optimal control problem. If the current prediction model yields an infeasible optimal control problem, then persistently exciting inputs are applied until feasibility is reestablished. The proposed flexible-step approach allows for a flexible number of implemented optimal input values in each iteration, which is beneficial for simultaneous exploration and exploitation. A generalized control Lyapunov function is included into the constraints of the optimal control problem to enforce stability. This way, the problem of optimization is decoupled from the problem of stabilization. For an asymptotically stabilizable unknown control system, we prove that the proposed flexible-step algorithm can lead to global convergence of the system state to the origin.

math.OC

Nonlocal Nonholonomic Source Seeking Despite Local Extrema

In this paper, we investigate the problem of source seeking with a unicycle in the presence of local extrema. Our study is motivated by the fact that most of the existing source seeking methods follow the gradient direction of the signal function and thus only lead to local convergence into a neighborhood of the nearest local extremum. So far, only a few studies present ideas on how to overcome local extrema in order to reach a global extremum. None of them apply to second-order (force- and torque-actuated) nonholonomic vehicles. We consider what is possibly the simplest conceivable algorithm for such vehicles, which employs a constant torque and a translational/surge force in proportion to an approximately differentiated measured signal. We show that the algorithm steers the unicycle through local extrema towards a global extremum. In contrast to the previous extremum-seeking studies, in our analysis we do not approximate the gradient of the objective function but of the objective function's local spatial average. Such a spatially averaged objective function is expected to have fewer critical points than the original objective function. Under suitable assumptions on the averaged objective function and on sufficiently strong translational damping, we show that the control law achieves practical uniform asymptotic stability and robustness to sufficiently weak measurement noise and disturbances to the force and torque inputs.

math.OC

Extremum Seeking Control for Fully Actuated Mechanical Systems on Lie Groups in the Absence of Dissipation

In this paper, we study the problem of extremum seeking control for mechanical systems in dissipation-free environments. This includes attitude control of satellites in space and displacement control of rigid bodies in ideal fluids. The configuration and the velocity of the mechanical system are treated as unknown quantities. The only source of information about the current system state is provided by real-time measurements of a scalar signal whose value has to be minimized. The signal is assumed to be given by a configuration-dependent objective function, which is not known analytically. Our goal is to asymptotically stabilize the mechanical system around states with vanishing velocity and a minimum value of the objective function. The proposed control law employs periodic perturbation signals to extract information about the gradient of the objective function and the velocity of the mechanical system from the response of the sensed signal. Under suitable assumptions, we prove local and non-local stability properties of the closed-loop system. The general results are illustrated by examples.

math.OC

Extremum Seeking Control for a Class of Mechanical Systems

We present a novel extremum seeking method for affine connection mechanical control systems. The proposed control law involves periodic perturbation signals with sufficiently large amplitudes and frequencies. A suitable averaging analysis reveals that the solutions of the closed-loop system converge locally uniformly to the solutions of an averaged system in the large-amplitude high-frequency limit. This in turn leads to the effect that stability properties of the averaged system carry over to the approximating closed-loop system. Descent directions of the objective function are given by symmetric products of vector fields in the averaged system. Under suitable assumptions, we prove that minimum points of the objective function are asymptotically stable for the averaged system and therefore practically asymptotically stable for the closed-loop system. We illustrate our results by examples and numerical simulations.

math.OC

Robustness properties of a large-amplitude, high-frequency extremum seeking control scheme

We analyze stability and robustness properties of an extremum seeking scheme that employs oscillatory dither signals with sufficiently large amplitudes and frequencies. Our study takes both input and output disturbances into account. We consider general $L_\infty$-disturbances, which may resonate with the oscillatory dither signals. A suitable change of coordinates followed by an averaging procedure reveals that the closed-loop system approximates the behavior of an averaged system. This leads to the effect that stability and robustness properties carry over from the averaged system to the closed-loop system. In particular, we show that, if the averaged system is input-to-state stable (ISS), then the closed-loop system has ISS-like properties.

math.OC

Exponential and practical exponential stability of second-order formation control systems

We study the problem of distance-based formation shape control for autonomous agents with double-integrator dynamics. Our considerations are focused on exponential stability properties. For second-order formation systems under the standard gradient-based control law, we prove local exponential stability with respect to the total energy by applying Chetaev's trick to the Lyapunov candidate function. We also propose a novel formation control law, which does not require measurements of relative positions but instead measurements of distances. The distance-only control law is based on an approximation of symmetric products of vector fields by sinusoidal perturbations. A suitable averaging analysis reveals that the averaged system coincides with the multi-agent system under the standard gradient-based control law. This allows us to prove practical exponential stability for the system under the distance-only control law.

math.DS

Stabilization of Control-Affine Systems by Local Approximations of Trajectories

We study convergence and stability properties of control-affine systems. Our considerations are motivated by the problem of stabilizing a control-affine system by means of output feedback for states in which the output function attains an extreme value. Following a recently introduced approach to extremum seeking control, we obtain access to the ascent and descent directions of the output function by approximating Lie brackets of suitably defined vector fields. This approximation is based on convergence properties of trajectories of control-affine systems under certain sequences of open-loop controls. We show that a suitable notion of convergence for the sequences of open-loop controls ensures local uniform convergence of the corresponding sequences of flows. We also show how boundedness properties of the control vector fields influence the quality of the approximation. Our convergence results are sufficiently strong to derive conditions under which the proposed output feedback control law induces exponential stability. We also apply this control law to the problem of purely distance-based formation control for nonholonomic multi-agent systems.

math.DS

Formation Shape Control Based on Distance Measurements Using Lie Bracket Approximations

We study the problem of distance-based formation control in autonomous multi-agent systems in which only distance measurements are available. This means that the target formations as well as the sensed variables are both determined by distances. We propose a fully distributed distance-only control law, which requires neither a time synchronization of the agents nor storage of measured data. The approach is applicable to point agents in the Euclidean space of arbitrary dimension. Under the assumption of infinitesimal rigidity of the target formations, we show that the proposed control law induces local uniform asymptotic stability. Our approach involves sinusoidal perturbations in order to extract information about the negative gradient direction of each agent's local potential function. An averaging analysis reveals that the gradient information originates from an approximation of Lie brackets of certain vector fields. The method is based on a recently introduced approach to the problem of extremum seeking control. We discuss the relation in the paper.

math.DS

Renormalization group analysis of competing quantum phases in the J1-J2 Heisenberg model on the kagome lattice

Recent discoveries in neutron scattering experiments for Kapellasite and Herbertsmithite as well as theoretical calculations of possible spin liquid phases have revived interest in magnetic phenomena on the kagome lattice. We study the quantum phase diagram of the S=1/2 Heisenberg kagome model as a function of nearest neighbor coupling J1 and second neighbor coupling J2. Employing the pseudofermion functional renormalization group, we find four types of magnetic quantum order (q=0 order, cuboc order, ferromagnetic order, and Sqrt{3}x\Sqrt{3} order) as well as extended magnetically disordered regions by which we specify the possible parameter regime for Kapellasite. In the disordered regime J2/J1<<1, the flatness of the magnetic susceptibility at the zone boundary which is observed for Herbertsmithite can be reconciled with the presence of small J2>0 coupling. In particular, we analyze the dimer susceptibilities related to different valence bond crystal (VBC) patterns, which are strongly inhomogeneous indicating the rejection of VBC order in the RG flow.

cond-mat.str-el