Observability of singular time-delay systems with unknown inputs
Introduction
The description of a variety of practical systems by means of singular systems, also called descriptive, implicit, or differential algebraic systems, has been shown to be useful since several decades ago as it is well explained in [1]. Such systems, as many others, may contain time delay terms in the state, input, and/or system output, a compendium of new researching results for singular systems with time delays has been recently published, Gu et al. [2]. Despite the increasing research on problems such as solvability, stability and controllability, up to the authors knowledge, there is quite a few works dedicated to the study of the observability of singular systems with time delays, with or without inputs. For singular systems with a time-delay in the state (without inputs), a condition is found in [3] that ensures the observability of the system (interpreted as the reconstruction of the initial condition). However, such a condition seems to be difficult to check since it involves an integral on time that depends on a parameter within an infinite set. More papers, not too many, can be found addressing the observer design problem for singular linear time-delay systems with unknown inputs (SLSUI). In [4], a Luenberger-like observer design is proposed by using a virtual discrete time system with the matrices of the originally considered continuous time system. In [5] a Luenberger-like observer is proposed for singular delayed linear systems with unknown inputs not affected by time-delays.
Considering singular linear systems with unknown inputs (without delays), in [6], conditions under which the trajectory of the state vector can be reconstructed were given, as well as a formula to reconstruct the state in terms of the system output and a finite number of its derivatives, provided any state trajectory is smooth. Regarding linear systems with commensurate delays and affected by unknown inputs, sufficient conditions allowing for the reconstruction of the state vector were obtained in [7]. Hence, this paper takes advantage of those both results, to tackle the observability problem of a general class of singular linear time-delay systems with unknown inputs. The main contribution of this paper is the obtaining of sufficient (checkable) conditions allowing for the reconstruction of the trajectory of the state vector.
The remainder of the paper is organized as follows. In Section 2, the class of singular systems considered along the manuscript is presented, as well as the problem we aim to address. The main result is given in Section 3, which in turn is divided into 4 subsections. In Section 3.1, the studied system is transformed, and the state vector is split into two parts so that previous results may be used. Observability conditions for the first part of the transformed state vector are obtained straightforwardly in Section 3.2. Observability conditions are deduced for the second part of the transformed state vector in Section 3.3. Finally, with the results of Sections 3.2 Algebraic condition for the reconstruction of, 3.3 Algebraic condition for the reconstruction of, observability conditions for the original system are given in Section 3.4. In Section 4, a formula for the reconstruction of the state vector is obtained. Finally, an academic example that illustrates the theoretical obtained results is given in Section 5.
Notation. is the field of real numbers. is the polynomial ring over the real field . is the identity matrix of dimension by . A square matrix with terms in is called unimodular if its determinant is a nonzero constant. A matrix of by dimension is called left invertible if there exists a matrix, denoted by , such that . For a matrix (over ), denotes the rank of over . The degree of a polynomial is denoted by . For a matrix , (the degree of ) is defined as the maximum degree of all the entries of . The limit from below of a time valued function is denoted as .
Section snippets
System description and problem formulation
The system considered along the paper belongs to the class of delay systems whose dynamics is governed by the following equations where is a positive real number. At a time , , , and . The initial condition is a piecewise continuous function (), hence on . We also consider that , which is the set of admissible vector functions mapping
Transformed system
By using a simple matrix decomposition, the matrix can be transformed into the following form that is, there exist two invertible matrices (over ), denoted as and , such that is equal to the matrix in (3). Then, (2) can be transformed to the following form: where , , . In order to study the observability of the whole system, we will
State vector reconstruction
Now we show that if the system is BUIO then it is possible to express the state vector as a function of the system output and some of its derivatives, provided that is smooth. As in the proof of Theorem 1, let us define the vectors and (for ) as By, , (7), we obtain the identities where and are implicitly defined by the matrix . Again, we define the vectors
Example
Let us consider the following academic example, where the matrices of system (2) are To put the matrix into the form (3), we use the following matrices and , Hence, it is easy to verify that in this case is equal to 3. In view of the transformation , the matrices of the transformed system, in its compact form given in (6),
Conclusions
The reconstruction of the entire state vector may be carried out by means of the past and actual values of the system output, provided the obtained conditions are fulfilled by the system. We have extended the results of Bejarano et al. [6] for the observability of linear systems with unknown inputs, for the case when . We notice that when the observability conditions given in this work are also necessary.
Acknowledgments
F.J. Bejarano acknowledges the SyNeR team at École Centrale de Lille and the Non-A team at INRIA Lille where he has stayed one month in 2014 as an invited researcher. He also acknowledges the financial support of the Proyecto SIP 20151040.
References (9)
- et al.
Observability and detectability of singular linear systems with unknown inputs
Automatica
(2013) - et al.
Observability of linear time delay systems with unknown inputs
Automatica
(2014) - et al.
Cited by (9)
Observer-based fault-tolerant control for non-infinitely observable descriptor systems with unknown time-varying state and input delays
2022, Applied Mathematics and ComputationCitation Excerpt :Many of these schemes however make various assumptions to guarantee their performance, including infinite observability [10,16–19]. To overcome this requirement, Bejarano and Zheng [28,29] have studied observers for NIODS with time delays, and Zhang et al. [5], Li and Yang [30] have presented FTC schemes for NIODS with time delays. These schemes however assume that the time delay is known by the observer to extract accurate information regarding the system states and faults.
Zero dynamics normal form and disturbance decoupling of commensurate and distributed time-delay systems
2021, AutomaticaCitation Excerpt :Also, for systems with commensurate delays, results in observability and observer design have been given in papers like Bejarano and Zheng (2014) and Zheng et al. (2015). For the case of descriptive time-delays systems, results on the state estimation can be found in Bejarano and Zheng (2016), Bejarano and Zheng (2017a, 2017b) and Zheng and Bejarano (2017). Also, some physical systems can present distributed delays, see for instance Zheng and Frank (2002).
Stability of two-dimensional descriptor systems with generalized directional delays
2018, Systems and Control LettersCitation Excerpt :In particular, a great deal of effort from researchers has been devoted to the problems of stability analysis and control of singular systems with delays and many results have been reported in the literature. To mention a few, we refer the reader to [14–18] for the problem of stability analysis and [19–24] for some other control issues related to singular delayed systems. It is noted also that practical models in real world applications produce different types of delays because of variable networks transmission conditions.
Unknown input functional observability of descriptor systems with neutral and distributed delay effects
2017, AutomaticaCitation Excerpt :In Rabah and Sklyar (2016), the exact observability of a class of linear neutral systems is tackled. In Bejarano and Zheng (2016), the conditions are given for the observability of singular systems with commensurate time-delays. Hence, we may say that the observability problem of descriptor time-delay systems has not completely been solved.
Observer design for linear singular time-delay systems
2017, AutomaticaPrescribed-Time Unknown Input Observers Design for Singular Systems: A Periodic Delayed Output Approach
2024, IEEE Transactions on Systems, Man, and Cybernetics: Systems