SearcharxivSearch

arXiv subjects

Anthony Hastir

Publications and source records attributed to Anthony Hastir.

17 recordsLinked to original sources

Prescribed-performance position tracking for infinite-dimensional passive systems

We study funnel control for linear infinite-dimensional passive systems whose controlled output is obtained by integrating the passive output. In mechanical applications, this corresponds to position control based on a measured passive velocity output. Within the system-node framework, we propose a nonlinear recursive funnel controller with a dynamic gain supervisor for systems with distributed or boundary control and observation. The supervisor automatically increases a damping gain whenever the normalized recursive error approaches a prescribed monitoring level. The controller uses the tracking error and its derivative, with the latter obtained directly from the passive output rather than by numerical differentiation. We prove global existence and uniqueness of the closed-loop trajectory, prescribed funnel performance, and global boundedness of the derivative tracking error and the passive output. Under an additional position-compatible strict dissipativity condition, the supervised gain is increased only finitely many times and eventually becomes constant. Consequently, the gain, the internal state, and the control input are globally bounded, and the recursive-error funnel margin is uniform in time. The results are illustrated by a boundary-actuated Euler-Bernoulli beam with uniformly positive distributed damping.

math.OC

Real and complex stability radii for a class of transport networks

We characterize stability and its robustness for a class of boundary controlled, boundary observed hyperbolic partial differential equations. In particular, we show that asymptotic and exponential stability coincide for this class. Furthermore, we introduce the real and complex stability radii for which we give explicit formulas. In addition, we consider the dual system and its application to controllability and observability. Our main results are illustrated with two examples.

math.OC

Optimal control of infinite-dimensional dissipative systems

We study the linear-quadratic optimal control problem for infinite-dimensional dissipative systems with possibly indefinite cost functional. Under the assumption that a storage function exists, we show that this indefinite optimal control problem is equivalent to a linear-quadratic optimal control problem with a nonnegative cost functional. We establish the relationship between the corresponding value functions and present the associated operator Lur'e equation. Finally, we illustrate our results with several examples.

math.OC

Funnel control for passive infinite-dimensional systems

We consider funnel control for linear infinite-dimensional systems that are impedance passive, meaning that they satisfy an energy balance in which the stored energy equals the squared norm of the state and the supplied power is the inner product of input and output. For the analysis we employ the system node approach, which offers a unified framework for infinite-dimensional systems with boundary and distributed control and observation. The resulting closed-loop dynamics are governed by a nonlinear evolution equation; we establish its solvability and hence the applicability of funnel control to this class. The applicability is illustrated by an Euler-Bernoulli beam, which is studied in two distinct scenarios: once with boundary control and once with distributed control.

math.OC

LQ optimal control for infinite-dimensional passive systems

We study the Linear-Quadratic optimal control problem for a general class of infinite-dimensional passive systems, allowing for unbounded input and output operators. We show that under mild assumptions, the finite cost condition is always satisfied. Moreover, we show that the optimal cost operator is a contraction. In the case where the system is energy preserving, the optimal cost operator is shown to be the identity, which allows to deduce easily the unique stabilizing optimal control. In this case, we derive an explicit solution to an adapted operator Riccati equation. We apply our results to boundary control systems, first-order port-Hamiltonian systems and an Euler-Bernoulli beam with shear force control.

math.OC

Well-Posedness and Stability of Infinite-Dimensional Systems Under Monotone Feedback

We study the well-posedness and stability of an impedance passive infinite-dimensional linear system under nonlinear feedback of the form $u(t)=\phi(v(t)-y(t))$, where $\phi$ is a monotone function. Our first main result introduces conditions guaranteeing the existence of classical and generalised solutions in a situation where the original linear system is well-posed. In the absence of the external input $v$ we establish the existence of strong and generalised solutions under strictly weaker conditions. Finally, we introduce conditions guaranteeing that the origin is a globally asymptotically stable equilibrium point of the closed-loop system. Motivated by the analysis of partial differential equations with nonlinear boundary conditions, we use our results to investigate the well-posedness and stablility of abstract boundary control systems, port-Hamiltonian systems, a Timoshenko beam model, and a two-dimensional boundary controlled heat equation.

math.OC

Riccati equations and LQ-optimal control for a class of hyperbolic PDEs

We derive an explicit solution to the operator Riccati equation solving the Linear-Quadratic (LQ) optimal control problem for a class of boundary controlled hyperbolic partial differential equations (PDEs). Different descriptions of the system are used to obtain different representations of the operator Riccati equation. By means of an example, we illustrate the importance of considering an extended operator Riccati equation to solve the LQ-optimal control problem for our class of systems.

math.OC

$H^\infty$-control for a class of boundary controlled hyperbolic PDEs

A solution to the suboptimal $H^\infty$-control problem is given for a class of hyperbolic partial differential equations (PDEs). The first result of this manuscript shows that the considered class of PDEs admits an equivalent representation as an infinite-dimensional discrete-time system. Taking advantage of this, this manuscript shows that it is equivalent to solve the suboptimal $H^\infty$-control problem for a finite-dimensional discrete-time system whose matrices are derived from the PDEs. After computing the solution to this much simpler problem, the solution to the original problem can be deduced easily. In particular, the optimal compensator solution to the suboptimal $H^\infty$-control problem is governed by a set of hyperbolic PDEs, actuated and observed at the boundary. We illustrate our results with a boundary controlled and boundary observed vibrating string.

math.OC

Stabilization of hyperbolic reaction-diffusion systems on directed networks through the generalized Routh-Hurwitz criterion for complex polynomials

The study of dynamical systems on complex networks is of paramount importance in engineering, given that many natural and artificial systems find a natural embedding on discrete topologies. For instance, power grids, chemical reactors and the brain, to name a few, can be modeled through the network formalism by considering elementary units coupled via the links. In recent years, scholars have developed numerical and theoretical tools to study the stability of those coupled systems when subjected to perturbations. In such framework, it was found that asymmetric couplings enhance the possibilities for such systems to become unstable. Moreover, in this scenario the polynomials whose stability needs to be studied bear complex coefficients, which makes the analysis more difficult. In this work, we put to use a recent extension of the well-known Routh-Hurwitz stability criterion, allowing to treat the complex coefficient case. Then, using the Brusselator model as a case study, we discuss the stability conditions and the regions of parameters when the networked system remains stable.

math.OC

Spectral analysis of a class of linear hyperbolic partial differential equations

A class of linear hyperbolic partial differential equations, sometimes called networks of waves, is considered. For this class of systems, necessary and sufficient conditions are formulated on the system matrices for the operator dynamics to be a Riesz-spectral operator. In that case, its spectrum is computed explicitly, together with the corresponding eigenfunctions, which constitutes the main result of our note. In particular, this enables to characterize easily many different concepts, such as stability. We apply our results to characterize exponential stability of a co-current heat exchanger.

math.FA

Linear-Quadratic optimal control for boundary controlled networks of waves

Linear-Quadratic optimal controls are computed for a class of boundary controlled, boundary observed hyperbolic infinite-dimensional systems, which may be viewed as networks of waves. The main results of this manuscript consist in converting the infinite-dimensional continuous-time systems into infinite-dimensional discrete-time systems for which the operators dynamics are matrices, in solving the LQ-optimal control problem in discrete-time and then in interpreting the solution in the continuous-time variables, giving rise to the optimal boundary control input. The results are applied to two examples, a small network of three vibrating strings and a co-current heat-exchanger, for which boundary sensors and actuators are considered.

math.OC

A generalized Routh-Hurwitz criterion for the stability analysis of polynomials with complex coefficients: application to the PI-control of vibrating structures

The classical Routh-Hurwitz criterion is one of the most popular methods to study the stability of polynomials with real coefficients, given its simplicity and ductility. However, when moving to polynomials with complex coefficients, a generalization exists but it is rather cumbersome and not as easy to apply. In this paper, we make such generalization clear and understandable for a wider public. To this purpose, we have broken down the procedure in an algorithmic form, so that the method is easily accessible and ready to be applied. After having explained the method, we demonstrate its use to determine the external stability of a system consisting of the interconnection between a rotating shaft and a PI-regulator. The extended Routh-Hurwitz criterion gives then necessary and sufficient conditions on the gains of the PI-regulator to achieve stabilization of the system together with regulation of the output. This illustrative example makes our formulation of the extended Routh-Hurwitz criterion ready to be used in several other applications.

math.OC

BIBO stability for funnel control: semilinear internal dynamics with unbounded input and output operators

This note deals with Bounded-Input-Bounded-Output (BIBO) stability for semilinear infinite-dimensional dynamical systems allowing for boundary control and boundary observation. We give sufficient conditions that guarantee BIBO stability based on Lipschitz conditions with respect to interpolation spaces. Our results can be applied to guarantee feasibility of funnel control for coupled ODE-PDE systems, as shown by means of an example from chemical engineering.

math.OC

On Dirac structure of infinite-dimensional stochastic port-Hamiltonian systems

Stochastic infinite-dimensional port-Hamiltonian systems (SPHSs) with multiplicative Gaussian white noise are considered. In this article we extend the notion of Dirac structure for deterministic distributed parameter port-Hamiltonian systems to a stochastic ones by adding some additional stochastic ports. Using the Stratonovich formalism of the stochastic integral, the proposed extended interconnection of ports for SPHSs is proved to still form a Dirac structure. This constitutes our main contribution. We then deduce that the interconnection between (stochastic) Dirac structures is again a (stochastic) Dirac structure under some assumptions. These interconnection results are applied on a system composed of a stochastic vibrating string actuated at the boundary by a mass-spring system with external input and output. This work is motivated by the problem of boundary control of SPHSs and will serve as a foundation to the development of stabilizing methods.

math.OC

Well-posedness and observability of Sturm-Liouville systems on a class of Hilbert spaces

The class of Sturm-Liouville operators on the space of square integrable functions on a finite interval is considered. According to the Riesz-spectral property, the self-adjointness and the positivity of such unbounded linear operators on that space, a class of Hilbert spaces constructed as the domains of the positive (in particular, fractional) powers of any Sturm-Liouville operator is considered. On these spaces, it is shown that any Sturm-Liouville operator is a Riesz-spectral operator that possesses the same eigenvalues as the original ones, associated to rescaled eigenfunctions. This constitutes the first central result of this paper. Properties related to the C_0-semigroup generated by the opposite of such Riesz-spectral operator are also highlighted. In addition as second central result, a characterization of approximate observability by means of point measurement operators is established for such systems. The main results are applied on a diffusion-convection-reaction system in order notably to show that the dynamics operator is the infinitesimal generator of a compact C_0-semigroup on some Sobolev space of integer order, and to establish its observability.

math.FA

Adaptive output error feedback for a class of nonlinear infinite-dimensional systems

An adaptive funnel control method is considered for the regulation of the output for a class of nonlinear infinite-dimensional systems on real Hilbert spaces. After a decomposition of the state space and some change of variables related to the Byrnes-Isidori form, it is shown that the funnel controller presented in (Berger et al., 2020) achieves the control objective under some assumptions on the nonlinear system dynamics, like well-posedness and Bounded-Input-State Bounded-Output (BISBO) stability. The theory is applied to the regulation of the temperature in a chemical plug-flow tubular reactor whose reaction kinetics are modeled by the Arrhenius nonlinearity. Furthermore a damped sine-Gordon model is shown to fit the required assumptions as well. The theoretical results are illustrated by means of numerical simulations.

math.OC

Burstiness and fractional diffusion on complex networks

Many dynamical processes on real world networks display complex temporal patterns as, for instance, a fat-tailed distribution of inter-events times, leading to heterogeneous waiting times between events. In this work, we focus on distributions whose average inter-event time diverges, and study its impact on the dynamics of random walkers on networks. The process can naturally be described, in the long time limit, in terms of Riemann-Liouville fractional derivatives. We show that all the dynamical modes possess, in the asymptotic regime, the same power law relaxation, which implies that the dynamics does not exhibit time-scale separation between modes, and that no mode can be neglected versus another one, even for long times. Our results are then confirmed by numerical simulations.

physics.soc-ph