Compressive Measurement Identification of Linear Time-Invariant System Application in DC Motor

In traditional system identification (SI), actual values of system parameters are concealed in the input and output data;hence, it is necessary to apply estimation methods to determine the parameters. In signal processing, a signal with N elements must be sampled at least N times. Thus, most SI methods use N or more sample data to identify a model with N parameters;however, this can be improved by a new sampling theory called compressive sensing (CS). Based on CS, an SI method called compressive measurement identification (CMI) is proposed for reducing the data needed for estimation, by measuring the parameters using a series of linear measurements, rather than the measurements in sequence. In addition, the accuracy of the measurement process is guaranteed by a criterion called the restrict isometric principle. Simulations demonstrate the accuracy and robustness of CMI in an underdetermined case. Further, the dynamic process of a DC motor is identified experimentally, establishing that CMI can shorten the identification process and increase the prediction accuracy.

Controllability, Observability and Stability for a Class of Fractional-Order Linear Time-Invariant Control Systems

The definitions of controllability, observability and stability were presented for fractional-order linear systems. Using the Cayley-Hamilton theorem and Mittag-Leffler function in two parameters, the sufficient and necessary conditions of controllability and observability for such systems were derived. In terms of Lyapunov’s stability theory, using the theorems of Mittage-Leffler function in two parameters this paper directly derived the sufficient and necessary condition of stability for such systems. The results obtained are useful for the analysis and synthesis of fractional-order linear control systems.

The identification algorithm for commensurate order linear time-invariant fractional systems

An efficient identification algorithm is given for commensurate order linear time-invariant fractional systems. This algorithm can identify not only model coefficients of the system, but also its differential order at the same time. The basic idea is to change the system matrix into a diagonal one through basis transformation. This makes it possible to turn the system’s input-output relationships into the summation of several simple subsystems, and after the identification of these subsystems, the whole identification system is obtained which is algebraically equivalent to the former system. Finally an identification example verifies the effectiveness of the method previously mentioned.

Perturbation Analysis of Continuous-Time Linear Time-Invariant Systems

In this paper, we consider the perturbation analysis of linear time-invariant systems, which arise from the linear optimal control in continuous-time. We provide a method to compute condition numbers of continuous-time linear time-invariant systems. It solves the perturbed linear time-invariant systems via Riccati differential equations and continuous-time algebraic Riccati equations in finite and infinite time horizons. We derive the explicit expressions of measuring the perturbation bounds of condition numbers with respect to the solution of the linear time-invariant systems. Furthermore, condition numbers and their upper bounds of Riccati differential equations and continuous-time algebraic Riccati equations are also discussed. Numerical simulations show the sharpness of the perturbation bounds computed via the proposed methods.

Linear Quadratic Optimal Control for Systems Governed by First-Order Hyperbolic Partial Differential Equations

This paper focuses on linear-quadratic(LQ)optimal control for a class of systems governed by first-order hyperbolic partial differential equations(PDEs).Different from most of the previous works,an approach of discretization-then-continuousization is proposed in this paper to cope with the infinite-dimensional nature of PDE systems.The contributions of this paper consist of the following aspects:(1)The differential Riccati equations and the solvability condition of the LQ optimal control problems are obtained via the discretization-then-continuousization method.(2)A numerical calculation way of the differential Riccati equations and a practical design way of the optimal controller are proposed.Meanwhile,the relationship between the optimal costate and the optimal state is established by solving a set of forward and backward partial difference equations(FBPDEs).(3)The correctness of the method used in this paper is verified by a complementary continuous method and the comparative analysis with the existing operator results is presented.It is shown that the proposed results not only contain the classic results of the standard LQ control problem of systems governed by ordinary differential equations as a special case,but also support the existing operator results and give a more convenient form of computation.

Quasi-canonicalization for linear homogeneous nonholonomic systems

For conservative linear homogeneous nonholonomic systems, there exists a cotangent bundle with the symplectic structure dπμ∧ dξμ, in which the motion equations of the system can be written into the form of the canonical equations by the set of quasi-coordinates πμand quasi-momenta ξμ. The key to construct this cotangent bundle is to define a set of suitable quasi-coordinates πμby a first-order linear mapping, so that the reduced configuration space of the system is a Riemann space with no torsion. The Hamilton–Jacobi method for linear homogeneous nonholonomic systems is studied as an application of the quasi-canonicalization. The Hamilton–Jacobi method can be applied not only to Chaplygin nonholonomic systems, but also to non-Chaplygin nonholonomic systems. Two examples are given to illustrate the effectiveness of the quasi-canonicalization and the Hamilton–Jacobi method.

Probabilistic analysis of linear elastic cracked structures

This paper presents a probabilistic methodology for linear fracture mechanics analysis of cracked structures. The main focus is on probabilistic aspect related to the nature of crack in material. The methodology involves finite element analysis; sta- tistical models for uncertainty in material properties, crack size, fracture toughness and loads; and standard reliability methods for evaluating probabilistic characteristics of linear elastic fracture parameter. The uncertainty in the crack size can have a significant effect on the probability of failure, particularly when the crack size has a large coefficient of variation. Numerical example is presented to show that probabilistic methodology based on Monte Carlo simulation provides accurate estimates of failure prob- ability for use in linear elastic fracture mechanics.

An Alternative Method for Solving Lagrange＇s First-Order Partial Differential Equation with Linear Function Coefficients

An alternative method of solving Lagrange＇s first-order partial differential equation of the form（a1x ＋b1y＋C1z）p＋ （a2x ＋b2y＋c2z）q =a3x ＋b3y＋c3z,where p = Эz/Эx, q = Эz/Эy and ai, bi, ci （i = 1,2,3） are all real numbers has been presented here.

COMPREHENSIVE DAMPING COEFFICIENT——A NEW DEFINITION TO DAMPING EFFECT OF LINEAR TIME-INVARIANT SYSTEMS

A new concept is presented to express the damping property of linear time-invariant systems, by the Lyapunov theorem in view of quadratic form-defined energy. Two definitions are introduced: damping energy function D(X_0, X)=Ci∫_(x_0, x) x_idx_(i-1)and comprehensive damping coefficient η-min(Ci/a_(n-i)). It is concluded that (ⅰ) of the Hurwitz determinants, △_(x-1) is proportional to the damping effect of oscillating systems, (ⅱ) the comprehensive damping coefficients of linear time-invariant systems are derived as. piecewise rational fractions which can be easily calculated and (ⅲ) the damping torque coefficient obtained for synchronous machines is independent of ω.

QUALITATIVE BEHAVIORS OF LINEAR TIME-INVARIANT DYNAMIC EQUATIONS ON TIME SCALES

We investigate the type of singularity and qualitative structure of solutions to a time-invariant linear dynamic system on time scales. The results truly unify the qualitative behaviors of the system on the continuous and discrete times with any step size.

Mixed Gl2／GH2 multi-channel multi-objective control synthesis for discrete time systems

This paper proposes a new approach for multi-objective robust control. The approach extends the standard generalized l2 (Gl2) and generalized H2 (GH2) conditions to a set of new linear matrix inequality (LMI) constraints based on a new stability condition. A technique for variable parameterization is introduced to the multi-objective control problem to preserve the linearity of the synthesis variables. Consequently, the multi-channel multi-objective mixed Gl2/GH2 control problem can be solved less conservatively using computationally tractable algorithms developed in the paper.

Low-Storage Runge-Kutta Method for Simulating Time-Dependent Quantum Dynamics

A wide range of quantum systems are time-invariant and the corresponding dynamics is dic- tated by linear differential equations with constant coefficients. Although simple in math- ematical concept, the integration of these equations is usually complicated in practice for complex systems, where both the computational time and the memory storage become limit- ing factors. For this reason, low-storage Runge-Kutta methods become increasingly popular for the time integration. This work suggests a series of s-stage sth-order explicit Runge- Kutta methods specific for autonomous linear equations, which only requires two times of the memory storage for the state vector. We also introduce a 13-stage eighth-order scheme for autonomous linear equations, which has optimized stability region and is reduced to a fifth-order method for general equations. These methods exhibit significant performance improvements over the previous general-purpose low-stage schemes. As an example, we ap- ply the integrator to simulate the non-Markovian exciton dynamics in a 15-site linear chain consisting of perylene-bisimide derivatives.

A Model-free Approach to Fault Detection of Continuous-time Systems Based on Time Domain Data

In this paper, a model-free approach is presented to design an observer-based fault detection system of linear continuoustime systems based on input and output data in the time domain. The core of the approach is to directly identify parameters of the observer-based residual generator based on a numerically reliable data equation obtained by filtering and sampling the input and output signals.

Optimal Control of a Beam with Discontinuously Distributed Piezoelectric Sensors and Actuators

Because of its light weight, broadband, and adaptable properties, smart material has been widely applied in the active vibration control （AVC） of flexible structures. Based on a firstorder shear deformation theory, by coupling the electrical and mechanical operation, a 4-node quadrilateral piezoelectric composite element with 24 degrees of freedom for generalized displacements and one electrical potential degree of freedom per piezoelectric layer was derived. Dynamic characteristics of a beam with discontinuously distributed piezoelectric sensors and actuators were presented. A linear quadratic regulator （LQR） feedback controller was designed to suppress the vibration of the beam in the state space using the high precise direct （HPD） integration method.

Reliability‑Based Analysis of a Caisson Breakwater with the Application of Bayesian Inference

Caisson breakwaters are mainly constructed in deep waters to protect an area against waves.These breakwaters are con-ventionally designed based on the concept of the safety factor.However,the wave loads and resistance of structures have epistemic or aleatory uncertainties.Furthermore,sliding failure is one of the most important failure modes of caisson breakwaters.In most previous studies,for assessment purposes,uncertainties,such as wave and wave period variation,were ignored.Therefore,in this study,Bayesian reliability analysis is implemented to assess the failure probability of the sliding of Tombak port breakwater in the Persian Gulf.The mean and standard deviations were taken as random variables to consider dismissed uncertainties.For this purpose,the frst-order reliability method(FORM)and the frst principal curvature cor-rection in FORM are used to calculate the reliability index.The performances of these methods are verifed by importance sampling through Monte Carlo simulation(MCS).In addition,the reliability index sensitivities of each random variable are calculated to evaluate the importance of diferent random variables while calculating the caisson sliding.The results show that the reliability index is most sensitive to the coefcients of friction,wave height,and caisson weight(or concrete density).The sensitivity of the failure probability of each of the random variables and their uncertainties are calculated by the derivative method.Finally,the Bayesian regression is implemented to predict the statistical properties of breakwater sliding with non-informative priors,which are compared to Goda’s formulation,used in breakwater design standards.The analysis shows that the model posterior for the sliding of a caisson breakwater has a mean and standard deviation of 0.039 and 0.022,respectively.A normal quantile analysis and residual analysis are also performed to evaluate the correctness of the model responses.

ON FORMABILITY OF LINEAR CONTINUOUS-TIME MULTI-AGENT SYSTEMS

This paper is focused on formability of multi-agent systems （MASs）. The problem is concerned with the existence of a protocol that has the ability to drive the MAS involved to the desired formation, and thus, is of essential importance in designing formation protocols. Formability of an MAS depends on several key factors： agents＇ dynamic structures, connectivity topology, properties of the desired formation and the admissible control set. Agents of the MASs considered here are described by a general continuous linear time-invariant （LTI） model. By using the matrix analysis and algebraic graph theory, some necessary and sufficient conditions on formability of LTI-MASs are obtained. These conditions characterize in some sense the relationship of formability, connectivity topology, formation properties and agent dynamics with respect to some typical and widely used admissible protocol sets.

Fully Actuated System Approach for Linear Systems Control:A Frequency-Domain Solution

This note studies fully actuated linear systems in the frequency domain in terms of polynomial matrix description(PMD).For a controllable first-order linear state-space system model,by using the right coprime factorization of its transfer function matrix,under the condition that the denominator matrix in the right coprime factorization is column reduced,it is equivalently transformed into a fully actuated PMD model,whose time-domain expression is just a high-order fully actuated(HOFA)system model.This method is a supplement to the previous one in the time-domain,and reveals a connection between the controllability of the first-order linear state-space system model and the fullactuation of its PMD model.Both continuous-time and discrete-time linear systems are considered.Some numerical examples are worked out to illustrate the effectiveness of the proposed approaches.

An overview on the designs of distributed observers in LTI multi-agent systems

With the rapid development of information technologies and cloud computing, sensor networks play an increasingly important role in our society. Over the past few decades, distributed observer theory has attracted unprecedented attention due to its wide potential applications in different areas. Meanwhile, various approaches and algorithms have been proposed and investigated. The design of distributed observers is one of the frontier topics of system and control research, which has the significant theoretical values and broad application prospects. This paper attempts to review the representative models and the corresponding approaches for distributed observer design in linear time-invariant(LTI) systems. Firstly, the research backgrounds and main advances of distributed observer designs are briefly reviewed. Then, recent results of distributed observer designs for discrete-time and continuous-time LTI multi-agent systems(MASs) are introduced in detail, respectively. Finally, the prospects and the future work directions of the design of distributed observers are put forward. The main purpose of this paper is to promote the emerging topic on the designs of distributed observers, with focuses on the interdisciplinary interest from technological sciences.

A survey on temporal logics for specifying and verifying real-time systems

Over the last two decades, there has been an extensive study of logical formalisms on specifying and verifying real-time systems. Temporal logics have been an important research subject within this direction. Although numerous logics have been introduced for formal specification of real-time and complex systems, an up to date survey of these logics does not exist in the literature. In this paper we analyse various temporal formalisms introduced for specification, including propositional/first-order linear temporal logics, branching temporal logics, interval temporal logics, real-time temporal logics and probabilistic temporal logics. We give decidability, axiomatizability, expressiveness, model checking results for each logic analysed. We also provide a comparison of features of the temporal logics discussed.

K-Dimensional Optimal Parallel Algorithm for the Solution of a General Class of Recurrence Equations

This paper proposes a parallel algorithm, called KDOP (K-DimensionalOptimal Parallel algorithm), to solve a general class of recurrence equations efficiently. The KDOP algorithm partitions the computation into a series of sub-computations, each of which is executed in the fashion that all the processors work simultaneously with each one executing an optimal sequential algorithm to solve a subcomputation task. The algorithm solves the equations in O(N/p)steps in EREW PRAM model (Exclusive Read Exclusive Write Parallel Ran-dom Access Machine model) using p<N1-e processors, where N is the size of the problem, and e is a given constant. This is an optimal algorithm (itsspeedup is O(p)) in the case of p<N1-e. Such an optimal speedup for this problem was previously achieved only in the case of p<N0.5. The algorithm can be implemented on machines with multiple processing elements or pipelined vector machines with parallel memory systems.