Integral Inequalities for the Analysis of Distributed Parameter Systems: A complete characterization via the Least-Squares Principle

A wide variety of integral inequalities (IIs) have been proposed and studied for the stability analysis of distributed parameter systems using the Lyapunov functional approach. However, no unified mathematical framework has been proposed that could characterize the similarity and connection between these IIs, as most of them was introduced in a dispersed manner for the analysis of specific types of systems. Additionally, the extent to which the generality of these IIs can be expanded and the optimality of their lower bounds (LBs) remains open questions. In this work, we present two general classes of IIs that can generalize almost all IIs in the literature, whose integral kernels can contain a unlimited number of weighted L2 functions that are linearly independent in a Lebesgue sense. Moreover, we not only demonstrate the equivalence between the LBs of the proposed IIs under the same kernels and weighted functions, but also show that these LBs are guaranteed by the least squares principle, implying asymptotic convergence to the upper bound when the kernels functions constitutes a Schauder basis of the underlying Hilbert space. Given their general structures, the proposed IIs can be applied in various situations such as the stability analysis of coupled PDE-ODE systems or cybernetic systems that can be characterized by delay structures.Comment: Submitted to ACC 202

Stability analysis of linear ODE-PDE interconnected systems

Les systèmes de dimension infinie permettent de modéliser un large spectre de phénomènes physiques pour lesquels les variables d'états évoluent temporellement et spatialement. Ce manuscrit s'intéresse à l'évaluation de la stabilité de leur point d'équilibre. Deux études de cas seront en particulier traitées : l'analyse de stabilité des systèmes interconnectés à une équation de transport, et à une équation de réaction-diffusion. Des outils théoriques existent pour l'analyse de stabilité de ces systèmes linéaires de dimension infinie et s'appuient sur une algèbre d'opérateurs plutôt que matricielle. Cependant, ces résultats d'existence soulèvent un problème de constructibilité numérique. Lors de l'implémentation, une approximation est réalisée et les résultats sont conservatifs. La conception d'outils numériques menant à des garanties de stabilité pour lesquelles le degré de conservatisme est évalué et maîtrisé est alors un enjeu majeur. Comment développer des critères numériques fiables permettant de statuer sur la stabilité ou l'instabilité des systèmes linéaires de dimension infinie ? Afin de répondre à cette question, nous proposons ici une nouvelle méthode générique qui se décompose en deux temps. D'abord, sous l'angle de l'approximation sur les polynômes de Legendre, des modèles augmentés sont construits et découpent le système original en deux blocs : d'une part, un système de dimension finie approximant est isolé, d'autre part, l'erreur de troncature de dimension infinie est conservée et modélisée. Ensuite, des outils fréquentiels et temporels de dimension finie sont déployés afin de proposer des critères de stabilité plus ou moins coûteux numériquement en fonction de l'ordre d'approximation choisi. En fréquentiel, à l'aide du théorème du petit gain, des conditions suffisantes de stabilité sont obtenues. En temporel, à l'aide du théorème de Lyapunov, une sous-estimation des régions de stabilité est proposée sous forme d'inégalité matricielle linéaire et une sur-estimation sous forme de test de positivité. Nos deux études de cas ont ainsi été traitées à l'aide de cette méthodologie générale. Le principal résultat obtenu concerne le cas des systèmes EDO-transport interconnectés, pour lequel l'approximation et l'analyse de stabilité à l'aide des polynômes de Legendre mène à des estimations des régions de stabilité qui convergent exponentiellement vite. La méthode développée dans ce manuscrit peut être adaptée à d'autres types d'approximations et exportée à d'autres systèmes linéaires de dimension infinie. Ce travail ouvre ainsi la voie à l'obtention de conditions nécessaires et suffisantes de stabilité de dimension finie pour les systèmes de dimension infinie.Infinite dimensional systems allow to model a large panel of physical phenomena for which the state variables evolve both temporally and spatially. This manuscript deals with the evaluation of the stability of their equilibrium point. Two case studies are treated in particular: the stability analysis of ODE-transport, and ODE-reaction-diffusion interconnected systems. Theoretical tools exist for the stability analysis of these infinite-dimensional linear systems and are based on an operator algebra rather than a matrix algebra. However, these existence results raise a problem of numerical constructibility. During implementation, an approximation is performed and the results are conservative. The design of numerical tools leading to stability guarantees for which the degree of conservatism is evaluated and controlled is then a major issue. How can we develop reliable numerical criteria to rule on the stability or instability of infinite-dimensional linear systems? In order to answer this question, one proposes here a new generic method, which is decomposed in two steps. First, from the perspective of Legendre polynomials approximation, augmented models are built and split the original system into two blocks: on the one hand, a finite-dimensional approximated system is isolated, on the other hand, the infinite-dimensional truncation error is preserved and modeled. Then, frequency and time tools of finite dimension are deployed in order to propose stability criteria that have high or low numerical load depending on the approximated order. In frequencies, with the aid of the small gain theorem, sufficient stability conditions are obtained. In temporal, with the aid of the Lyapunov theorem, an under estimate of the stability regions is proposed as a linear matrix inequality and an over estimate as a positivity test. Our two case studies have been treated with this general methodology. The main result concerns the case of ODE-transport interconnected systems, for which the approximation and stability analysis using Legendre polynomials leads to exponentially fast converging estimates of stability regions. The method developed in this manuscript can be adapted to other types of approximations and exported to other infinite-dimensional linear systems. Thus, this work opens the way to obtain necessary and sufficient finite-dimensional conditions of stability for infinite-dimensional systems

Pole Placement and Reduced-Order Modelling for Time-Delayed Systems Using Galerkin Approximations

The dynamics of time-delayed systems (TDS) are governed by delay differential equa- tions (DDEs), which are infinite dimensional and pose computational challenges. The Galerkin approximation method is one of several techniques to obtain the spectrum of DDEs for stability and stabilization studies. In the literature, Galerkin approximations for DDEs have primarily dealt with second-order TDS (second-order Galerkin method), and the for- mulations have resulted in spurious roots, i.e., roots that are not among the characteristic roots of the DDE. Although these spurious roots do not affect stability studies, they never- theless add to the complexity and computation time for control and reduced-order modelling studies of DDEs. A refined mathematical model, called the first-order Galerkin method, is proposed to avoid spurious roots, and the subtle differences between the two formulations (second-order and first-order Galerkin methods) are highlighted with examples. For embedding the boundary conditions in the first-order Galerkin method, a new pseudoinverse-based technique is developed. This method not only gives the exact location of the rightmost root but also, on average, has a higher number of converged roots when compared to the existing pseudospectral differencing method. The proposed method is combined with an optimization framework to develop a pole-placement technique for DDEs to design closed-loop feedback gains that stabilize TDS. A rotary inverted pendulum system apparatus with inherent sensing delays as well as deliberately introduced time delays is used to experimentally validate the Galerkin approximation-based optimization framework for the pole placement of DDEs. Optimization-based techniques cannot always place the rightmost root at the desired location; also, one has no control over the placement of the next set of rightmost roots. However, one has the precise location of the rightmost root. To overcome this, a pole- placement technique for second-order TDS is proposed, which combines the strengths of the method of receptances and an optimization-based strategy. When the method of receptances provides an unsatisfactory solution, particle swarm optimization is used to improve the location of the rightmost pole. The proposed approach is demonstrated with numerical studies and is validated experimentally using a 3D hovercraft apparatus. The Galerkin approximation method contains both converged and unconverged roots of the DDE. By using only the information about the converged roots and applying the eigenvalue decomposition, one obtains an r-dimensional reduced-order model (ROM) of the DDE. To analyze the dynamics of DDEs, we first choose an appropriate value for r; we then select the minimum value of the order of the Galerkin approximation method system at which at least r roots converge. By judiciously selecting r, solutions of the ROM and the original DDE are found to match closely. Finally, an r-dimensional ROM of a 3D hovercraft apparatus in the presence of delay is validated experimentally

New Advancements in Pure and Applied Mathematics via Fractals and Fractional Calculus

This reprint focuses on exploring new developments in both pure and applied mathematics as a result of fractional behaviour. It covers the range of ongoing activities in the context of fractional calculus by offering alternate viewpoints, workable solutions, new derivatives, and methods to solve real-world problems. It is impossible to deny that fractional behaviour exists in nature. Any phenomenon that has a pulse, rhythm, or pattern appears to be a fractal. The 17 papers that were published and are part of this volume provide credence to that claim. A variety of topics illustrate the use of fractional calculus in a range of disciplines and offer sufficient coverage to pique every reader's attention

A Study of Synchronization Techniques for Optical Communication Systems

The study of synchronization techniques and related topics in the design of high data rate, deep space, optical communication systems was reported. Data cover: (1) effects of timing errors in narrow pulsed digital optical systems, (2) accuracy of microwave timing systems operating in low powered optical systems, (3) development of improved tracking systems for the optical channel and determination of their tracking performance, (4) development of usable photodetector mathematical models for application to analysis and performance design in communication receivers, and (5) study application of multi-level block encoding to optical transmission of digital data

How Can Optical Communications Shape the Future of Deep Space Communications? A Survey

With a large number of deep space (DS) missions anticipated by the end of this decade, reliable and high capacity DS communications systems are needed more than ever. Nevertheless, existing DS communications technologies are far from meeting such a goal. Improving current DS communications systems does not only require system engineering leadership but also, very crucially, an investigation of potential emerging technologies that overcome the unique challenges of ultra-long DS communications links. To the best of our knowledge, there has not been any comprehensive surveys of DS communications technologies over the last decade. Free space optical (FSO) technology is an emerging DS technology, proven to acquire lower communications systems size, weight, and power (SWaP) and achieve a very high capacity compared to its counterpart radio frequency (RF) technology, the current used DS technology. In this survey, we discuss the pros and cons of deep space optical communications (DSOC). Furthermore, we review the modulation, coding, and detection, receiver, and protocols schemes and technologies for DSOC. We provide, for the very first time, thoughtful discussions about implementing orbital angular momentum (OAM) and quantum communications (QC) for DS. We elaborate on how these technologies among other field advances, including interplanetary network, and RF/FSO systems improve reliability, capacity, and security and address related implementation challenges and potential solutions. This paper provides a holistic survey in DSOC technologies gathering 200+ fragmented literature and including novel perspectives aiming to setting the stage for more developments in the field.Comment: 17 pages, 8 Figure

Exit Problems for Lévy and Markov Processes with One-Sided Jumps and Related Topics

Exit problems for one-dimensional Lévy processes are easier when jumps only occur in one direction. In the last few years, this intuition became more precise: we know now that a wide variety of identities for exit problems of spectrally-negative Lévy processes may be ergonomically expressed in terms of two q-harmonic functions (or scale functions or positive martingales) W and Z. The proofs typically require not much more than the strong Markov property, which hold, in principle, for the wider class of spectrally-negative strong Markov processes. This has been established already in particular cases, such as random walks, Markov additive processes, Lévy processes with omega-state-dependent killing, and certain Lévy processes with state dependent drift, and seems to be true for general strong Markov processes, subject to technical conditions. However, computing the functions W and Z is still an open problem outside the Lévy and diffusion classes, even for the simplest risk models with state-dependent parameters (say, Ornstein–Uhlenbeck or Feller branching diffusion with phase-type jumps)