Linear Systems Research Articles

Design of a linear motor-based magnetic levitation train prototype

<span>This study explores the modelling of a magnetic levitation train and its implementation using a microcontroller. Magnetic levitation (maglev) is a technology that enables vehicles to levitate and move without wheels. Maglev research has been conducted globally, but maglev trains haven't received much attention. Due to the sophisticated linear motor technology for contactless transit, building a maglev train requires enormous investments. This paper is crucial for understanding the linear motor technologies necessary for levitation and propulsion. The primary objectives of this study include creating a model of the maglev train using a linear motor circuit, investigating the maglev effect concerning different coil and magnet types, and monitoring the train's propulsion and levitation using a microcontroller. This work constructs a linear motor system for the maglev train, comprising a mechanical structure with a permanent magnet for levitation and electromagnets for propulsion. A microcontroller is employed to sense the magnetic field, produced by the permanent magnet and electromagnets. In summary, this paper successfully designed a maglev train prototype using a linear motor circuit to establish the repulsive mechanism for both levitation and propulsion, with levitation~1 cm from the track and demonstrated the ability to move along a 30 cm track.</span>

Data-Driven Control of Unknown Switched Linear Systems Using Scenario Optimization

Data-Driven Control of Unknown Switched Linear Systems Using Scenario Optimization

Dynamic inversion and optimal tracking control on the ball-plate system based on a linearized nonholonomic multibody model

This paper addresses the optimal control of the ball-plate system, a well-known nonholonomic system in the context of nonprehensile manipulation, using a multibody dynamics approach. The trajectory tracking control of a steady-state circular motion of the ball on the plate, for any radius and potentially off-centric with respect to the plate’s pivoting point, is achieved by designing a Linear-Quadratic Regulator. A spatial multibody model of the ball-plate system is considered. A key contribution is the analytical computation of the circular steady motion of the ball by dynamic inversion, including the control actions to achieve this reference solution. This enables the analytical computation of the linearized equations along this reference motion, resulting in a periodic linear time-varying (LTV) system, and the application of linear controllability criteria for LTV systems. A controllable linear system, involving the Cartesian coordinates of the contact point and the yaw angle of the sphere, is obtained using a convenient coordinate partition in the linearization. Compared to existing results on the same problem, closed-loop stability about the desired trajectory is achieved for any radius of the circular trajectory.

Static Output Energy-to-Peak Control for Semi-Markov Jump Linear Systems With Phase-Type Distributions and Hidden Modes

Static Output Energy-to-Peak Control for Semi-Markov Jump Linear Systems With Phase-Type Distributions and Hidden Modes

Overlapping domain decomposition methods for finite volume discretizations

Two-level additive overlapping domain decomposition methods are applied to solve the linear system arising from the cell-centered finite volume discretization methods (FVMs) for the elliptic problems. The conjugate gradient (CG) methods are used to accelerate the convergence. To analyze the preconditioned CG algorithm, a discrete L2 norm, an H1 norm, and an H1 semi-norm are introduced to connect the matrices resulting from the FVMs and related bilinear forms. It has been proved that, with a small overlap, the condition number of the preconditioned systems does not depend on the number of the subdomains. The result is similar to that for the conforming finite element. Numerical experiments confirm the theory.

Adaptive Robust Tracking Control With Active Learning for Linear Systems With Ellipsoidal Bounded Uncertainties

Adaptive Robust Tracking Control With Active Learning for Linear Systems With Ellipsoidal Bounded Uncertainties

Adaptive Linear Quadratic Control for Stochastic Discrete-Time Linear Systems With Unmeasurable Multiplicative and Additive Noises

Adaptive Linear Quadratic Control for Stochastic Discrete-Time Linear Systems With Unmeasurable Multiplicative and Additive Noises

Variational quantum algorithm for the Poisson equation based on the banded Toeplitz systems

Abstract For solving the Poisson equation it is usually possible to discretize it into solving the corresponding linear system $Ax=b$. Variational quantum algorithms (VQAs) for \textcolor{red}{the discreted} Poisson equation have been studied before. We give a VQA based on the banded Toeplitz systems for solving the Poisson equation with respect to the structural features of matrix $A$. In detail, we decompose the matrix $A$ and $A^2$ into a linear combination of the corresponding banded Toeplitz matrix and sparse matrices with only a few non-zero elements. For the one-dimensional Poisson equation with different boundary conditions and the $d$-dimensional Poisson equation with Dirichlet boundary conditions, \textcolor{red}{the number of decomposition terms is less than the work in [Phys. Rev. A108, 032418 (2023)]}. Based on the decomposition of the matrix, we design quantum circuits that \textcolor{red}{evaluate efficiently} the cost function. \textcolor{red}{Additionally, numerical simulation verifies the feasibility of the proposed algorithm. In the end,} the VQAs for linear systems of equations and matrix–vector multiplications with $K$-banded Teoplitz matrix $T_n^K$ \textcolor{red}{are} given, where $T_n^K\in R^{n\times n}$ and $K\in O(ploy\log n)$.

A quantile-based block Kaczmarz algorithm for solving large consistent linear systems

A quantile-based block Kaczmarz algorithm for solving large consistent linear systems

Static output feedback control for positive 2D discrete systems in Roesser model

Abstract This paper investigates the output stabilization problem for multi-input multi-output positive 2D systems described by a linear discrete-time Roesser system. This kind of systems have the property that the horizontal and vertical states take non-negative values whenever the initial boundaries are non-negative. Conditions for the existence of desired static output feedback controllers guaranteeing the resultant closed-loop system to be positive and asymptotically stable are obtained. Also, the synthesis of static output feedback controllers, including the requirement of positivity of the controllers, is solved. These results are then extended to the case of uncertain plants. All of the proposed conditions are expressed in terms of Linear Programming, which can be easily verified by using standard numerical software. Finally, several numerical examples are included to illustrate the validity and the effectiveness of the developed results.

Stability Analysis of Matrices and Single-Parameter Matrix Families on Special Regions

This paper proposes an efficient method for determining the D-stability of matrices using Kelley’s cutting-plane method. The study examines the D-stability of matrices in symmetric regions of the complex plane, defined by quadratic matrix inequalities (QMI) and polynomial functions. Using Kelley’s cutting-plane method, we present an iterative algorithm for determining the D-stability of a given matrix. Further, the robustness of single-parameter matrix families is analyzed, and a method is proposed for considering their D-stability. Through examples, we indicate the possible applicability of the proposed approach in addressing stability problems in linear systems.

3D Controlled‐source electromagnetic modelling in anisotropic media using secondary potentials and a cascadic multigrid solver

AbstractQuantitative interpretation of the data from controlled‐source electromagnetic methods, whether via forward modelling or inversion, requires solving a considerable number of forward problems, and multigrid methods are often employed to accelerate the solving process. In this study, a new extrapolation cascadic multigrid method is employed to solve the large sparse complex linear system arising from the finite element approximation of Maxwell's equations using secondary potentials. The equations using secondary potentials are discretized by the classic nodal finite element method on nonuniform rectilinear grids. The resulting linear systems are solved by the extrapolation cascadic multigrid method with a new prolongation operator and preconditioned Stabilized bi‐conjugate gradient method smoother. High‐order interpolation and global extrapolation formulas are utilized to construct the multigrid prolongation operator. The extrapolation cascadic multigrid method with the new prolongation operator is easier to implement and more flexible in application than the original one. Finally, several synthetic examples including layered models, models with anisotropic anomalous bodies or layers, are used to validate the accuracy and efficiency of the proposed method. Numerical results show that the extrapolation cascadic multigrid method improves the efficiency of 3D controlled‐source electromagnetic forward modelling a lot, compared with traditional iterative solvers and some state‐of‐the‐art methods or software (e.g., preconditioned flexible generalized minimal residual method, emg3d) in the considered models and grid settings. The efficiency benefit is more evident as the number of unknowns increases, and the proposed method is more efficient at low frequencies. The extrapolation cascadic multigrid method can also be used to solve systems of equations arising from related applications, such as induction logging, airborne electromagnetic, etc.

Impulse Controllability for Singular Hybrid Coupled Systems

This study examines the concept of impulse controllability within singular hybrid coupled systems through the utilisation of decentralised proportional plus derivative (P-D) output feedback. By employing the Differential Mean Value Theorem, the nonlinear model can be converted into a linear parameter-varying large-scale system. Our analysis leads to the establishment of algebraic conditions that are both necessary and sufficient for the existence of a decentralised P-D output feedback controller that can guarantee impulse controllability in these complex systems. Moreover, we address the issue of admissibility within these systems by employing matrix trace inequalities. We present a novel sufficient condition for impulse controllability, which offers a new perspective on addressing this challenging problem. To validate our findings, we present numerical examples that demonstrate the effectiveness of the proposed methodologies in practice.

Generalized linear response theory for pumped systems and its application to transient optical properties

Generalized linear response theory for pumped systems and its application to transient optical properties

Existence of a mild solution and approximate controllability for fractional random integro-differential inclusions with non-instantaneous impulses

This paper investigates the existence and approximate controllability (ACA) of fractional neutral-type stochastic differential inclusions (NTSDIs) characterized by non-instantaneous impulses within a separable Hilbert space (HS) framework. Employing the Atangana–Baleanu–Caputo (ABC) derivative, we transform the system into an equivalent fixed-point (FP) problem through an integral operator. Subsequently, the Bohnenblust–Karlin FP theorem is leveraged to establish existence results. By assuming ACA of the corresponding linear system, we derive sufficient conditions for the ACA of the nonlinear stochastic impulsive control system. Our analysis relies on concepts from stochastic analysis, fractional calculus, FP theory, semigroup theory, and the theory of multivalued maps (MVMs). The theoretical findings are illustrated through a concrete example.

Simultaneous fault-tolerant consensus control and disturbance suppression for multi-agent systems with polynomial form fault under switching topology

For continuous-time linear leader-follower multi-agent systems with polynomial faults, the problem of fault-tolerant state consensus under switching topologies is studied. firstly, the average dwell time method is introduced, and observers are designed for different topologies to observe faults and disturbances. Secondly, according to the observed estimated value, the corresponding fault-tolerant control consensus protocol is proposed considering the switching situation of the communication topology. Finally, both theoretical analysis and simulation examples verify that the proposed design scheme can compensate faults and disturbance rejection.

Fractional Einstein–Gauss–Bonnet Scalar Field Cosmology

Our paper introduces a new theoretical framework called the Fractional Einstein–Gauss–Bonnet scalar field cosmology, which has important physical implications. Using fractional calculus to modify the gravitational action integral, we derived a modified Friedmann equation and a modified Klein–Gordon equation. Our research reveals non-trivial solutions associated with exponential potential, exponential couplings to the Gauss–Bonnet term, and a logarithmic scalar field, which are dependent on two cosmological parameters, m and α0=t0H0 and the fractional derivative order μ. By employing linear stability theory, we reveal the phase space structure and analyze the dynamic effects of the Gauss–Bonnet couplings. The scaling behavior at some equilibrium points reveals that the geometric corrections in the coupling to the Gauss–Bonnet scalar can mimic the behavior of the dark sector in modified gravity. Using data from cosmic chronometers, type Ia supernovae, supermassive Black Hole Shadows, and strong gravitational lensing, we estimated the values of m and α0, indicating that the solution is consistent with an accelerated expansion at late times with the values α0=1.38±0.05, m=1.44±0.05, and μ=1.48±0.17 (consistent with Ωm,0=0.311±0.016 and h=0.712±0.007), resulting in an age of the Universe t0=19.0±0.7 [Gyr] at 1σ CL. Ultimately, we obtained late-time accelerating power-law solutions supported by the most recent cosmological data, and we proposed an alternative explanation for the origin of cosmic acceleration other than ΛCDM. Our results generalize and significantly improve previous achievements in the literature, highlighting the practical implications of fractional calculus in cosmology.

Cavity-magnon-polariton spectroscopy of strongly hybridized electro-nuclear spin excitations in LiHoF4

We first present a formalism that incorporates the input-output formalism and the linear response theory to employ cavity-magnon-polariton coupling as a spectroscopic tool for investigating strongly hybridized electro-nuclear spin excitations. A microscopic relation between the generalized susceptibility and the scattering parameter |S11|\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$|S_{11}|$$\\end{document} in strongly hybridized cavity-magnon-polariton systems has been derived without resorting to semi-classical approximations. The formalism is then applied to both analyze and simulate a specific systems comprising a model quantum Ising magnet (LiHoF4\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\hbox {LiHoF}_4$$\\end{document}) and a high-finesse 3D re-entrant cavity resonator. Quantitative information on the electro-nuclear spin states in LiHoF4\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\hbox {LiHoF}_4$$\\end{document} is extracted, and the experimental observations across a broad parameter range were numerically reproduced, including an external magnetic field traversing a quantum critical point. The method potentially opens a new avenue not only for further studies on the quantum phase transition in LiHoF4\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\hbox {LiHoF}_4$$\\end{document} but also for a wide range of complex magnetic systems.

A least-squares Fourier frame method for nonlocal diffusion models on arbitrary domains

We introduce a least-squares Fourier frame method for solving nonlocal diffusion models with Dirichlet volume constraint on arbitrary domains. The mathematical structure of a frame rather than a basis allows using a discrete least-squares approximation on irregular domains and imposing non-periodic boundary conditions. The method has inherited the one-dimensional integral expression of Fourier symbols of the nonlocal diffusion operator from Fourier spectral methods for any d spatial dimensions. High precision of its solution can be achieved via a direct solver such as pivoted QR decomposition even though the corresponding system is extremely ill-conditioned, due to the redundancy in the frame. The extension of AZ algorithm improves the complexity of solving the rectangular linear system to O(Nlog2⁡N) for 1d problems and O(N2log2⁡N) for 2d problems, compared with O(N3) of the direct solvers, where N is the number of degrees of freedom. We present ample numerical experiments to show the flexibility, fast convergence and asymptotical compatibility of the proposed method.

Limit Cycles in a Class of Continuous–Discontinuous Piecewise Linear Differential Systems with Three Zones

In this paper, we investigate the existence of limit cycles in piecewise linear systems separated by two parallel straight lines, where in one of these straight lines, the piecewise differential system is continuous, and in the other, it is discontinuous. Based on the methods of Poincaré map and first integral, we prove that these systems can have at most two limit cycles. Additionally, taking into account the type of singular points in the zones, we present examples with one or two limit cycles for all possible combinations.