scholarly journals Solvability of a Bounded Parametric System in Max-Łukasiewicz Algebra

Mathematics ◽  
2020 ◽  
Vol 8 (6) ◽  
pp. 1026 ◽  
Author(s):  
Martin Gavalec ◽  
Zuzana Němcová
Keyword(s):  
Linear System ◽  
Fuzzy Systems ◽  
Polynomial Algorithm ◽  
Sufficient Conditions ◽  
Recognition Algorithm ◽  
Triangular Norm ◽  
Binary Operations ◽  
Interval Coefficients ◽  
Necessary And Sufficient ◽  
The Given

The max-Łukasiewicz algebra describes fuzzy systems working in discrete time which are based on two binary operations: the maximum and the Łukasiewicz triangular norm. The behavior of such a system in time depends on the solvability of the corresponding bounded parametric max-linear system. The aim of this study is to describe an algorithm recognizing for which values of the parameter the given bounded parametric max-linear system has a solution—represented by an appropriate state of the fuzzy system in consideration. Necessary and sufficient conditions of the solvability have been found and a polynomial recognition algorithm has been described. The correctness of the algorithm has been verified. The presented polynomial algorithm consists of three parts depending on the entries of the transition matrix and the required state vector. The results are illustrated by numerical examples. The presented results can be also applied in the study of the max-Łukasiewicz systems with interval coefficients. Furthermore, Łukasiewicz arithmetical conjunction can be used in various types of models, for example, in cash-flow system.

scholarly journals Polynomial and Pseudopolynomial Procedures for Solving Interval Two-Sided (Max, Plus)-Linear Systems

Mathematics ◽  
2021 ◽  
Vol 9 (22) ◽  
pp. 2951
Author(s):  
Helena Myšková ◽  
Ján Plavka
Keyword(s):  
Linear System ◽  
Linear Systems ◽  
Polynomial Algorithm ◽  
Linear Equations ◽  
Sufficient Conditions ◽  
Interval Data ◽  
Interval System ◽  
Binary Operations ◽  
Necessary And Sufficient ◽  
Interval Systems

Max-plus algebra is the similarity of the classical linear algebra with two binary operations, maximum and addition. The notation Ax = Bx, where A, B are given (interval) matrices, represents (interval) two-sided (max, plus)-linear system. For the solvability of Ax = Bx, there are some pseudopolynomial algorithms, but a polynomial algorithm is still waiting for an appearance. The paper deals with the analysis of solvability of two-sided (max, plus)-linear equations with inexact (interval) data. The purpose of the paper is to get efficient necessary and sufficient conditions for solvability of the interval systems using the property of the solution set of the non-interval system Ax = Bx. The main contribution of the paper is a transformation of weak versions of solvability to either subeigenvector problems or to non-interval two-sided (max, plus)-linear systems and obtaining the equivalent polynomially checked conditions for the strong versions of solvability.

Using binary operations to construct a transitive set of block transformations

2020 ◽  
Vol 30 (6) ◽  
pp. 375-389
Author(s):  
Igor V. Cherednik
Keyword(s):  
Binary Operation ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Binary Operations ◽  
The Family ◽  
Transitive Set ◽  
Necessary And Sufficient

AbstractWe study the set of transformations {ΣF : F∈ 𝓑∗(Ω)} implemented by a network Σ with a single binary operation F, where 𝓑∗(Ω) is the set of all binary operations on Ω that are invertible as function of the second variable. We state a criterion of bijectivity of all transformations from the family {ΣF : F∈ 𝓑∗(Ω)} in terms of the structure of the network Σ, identify necessary and sufficient conditions of transitivity of the set of transformations {ΣF : F∈ 𝓑∗(Ω)}, and propose an efficient way of verifying these conditions. We also describe an algorithm for construction of networks Σ with transitive sets of transformations {ΣF : F∈ 𝓑∗(Ω)}.

On the Necessary and Sufficient Conditions for the Stability of Linear Generalized Ordinary Differential, Linear Impulsive and Linear Difference Systems

2009 ◽  
Vol 16 (4) ◽  
pp. 597-616
Author(s):  
Shota Akhalaia ◽  
Malkhaz Ashordia ◽  
Nestan Kekelia
Keyword(s):  
Linear System ◽  
Difference Equations ◽  
Closed Interval ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Difference Systems ◽  
The Stability ◽  
Necessary And Sufficient ◽  
Generalized Ordinary Differential Equations ◽  
Lyapunov Sense

Abstract Necessary and sufficient conditions are established for the stability in the Lyapunov sense of solutions of a linear system of generalized ordinary differential equations 𝑑𝑥(𝑡) = 𝑑𝐴(𝑡) · 𝑥(𝑡) + 𝑑𝑓(𝑡), where and are, respectively, matrix- and vector-functions with bounded total variation components on every closed interval from . The results are realized for the linear systems of impulsive, ordinary differential and difference equations.

scholarly journals Stability and stabilization of linear positive systems on time scales

Positivity ◽  
2020 ◽  
Vol 24 (5) ◽  
pp. 1361-1372
Author(s):  
Zbigniew Bartosiewicz
Keyword(s):  
Control System ◽  
Linear System ◽  
Time Scale ◽  
Sufficient Conditions ◽  
Positive Control ◽  
Positive Systems ◽  
The Matrix ◽  
Exponentially Stable ◽  
Stability And Stabilization ◽  
Necessary And Sufficient

Abstract It is shown that a positive linear system on a time scale with a bounded graininess is uniformly exponentially stable if and only if the characteristic polynomial of the matrix defining the system has all its coefficients positive. Then this fact is used to find necessary and sufficient conditions of positive stabilizability of a positive control system on a time scale.

scholarly journals Robust Stability and Stabilization of Interval Uncertain Descriptor Fractional-Order Systems with the Fractional-Orderα: The1≤α<2Case

2015 ◽  
Vol 2015 ◽  
pp. 1-8 ◽  
Author(s):  
Yuanhua Li ◽  
Heng Liu ◽  
Hongxing Wang
Keyword(s):  
Fractional Order ◽  
Sufficient Conditions ◽  
Linear Matrix ◽  
Fractional Order Systems ◽  
Matrix Inequalities ◽  
Interval System ◽  
Interval Coefficients ◽  
Stability And Stabilization ◽  
Necessary And Sufficient ◽  
Robust Stability And Stabilization

Stability and stabilization of fractional-order interval system is investigated. By adding parameters to linear matrix inequalities, necessary and sufficient conditions for stability and stabilization of the system are obtained. The results on stability check for uncertain FO-LTI systems with interval coefficients of dimensionnonly need to solve one 4n-by-4nLMI. Numerical examples are presented to shown the effectiveness of our results.

scholarly journals On Disturbance Decoupled Observers for a Class of Bilinear Systems

1998 ◽  
Vol 120 (3) ◽  
pp. 371-377 ◽  
Author(s):  
M. Zasadzinski ◽  
H. Rafaralahy ◽  
C. Mechmeche ◽  
M. Darouach
Keyword(s):  
Fault Detection ◽  
Linear System ◽  
Sufficient Conditions ◽  
Bilinear Systems ◽  
Necessary And Sufficient Conditions ◽  
Observer Design ◽  
Unknown Inputs ◽  
Existence Conditions ◽  
Error Dynamics ◽  
Necessary And Sufficient

In this paper, the class of bilinear systems subjected to unknown inputs for which there exists a disturbance decoupled observer with linear error dynamics is characterized. It is shown that the design of this kind of observer is equivalent to the design of a disturbance decoupled observer for a linear system. This result simplifies considerably the observer design compared to those proposed in the literature, and the observer existence conditions can be easily deduced. As a corollary of this result, necessary and sufficient conditions for the existence of disturbance decoupled linear observers for bilinear systems subjected to unknown inputs are derived. This approach is extended to the fault detection of bilinear systems.

scholarly journals Minimum energy control of positive 2D continuous-discrete linear systems with bounded inputs

2015 ◽  
Vol 25 (3) ◽  
pp. 319-331
Author(s):  
Tadeusz Kaczorek
Keyword(s):  
Control Problem ◽  
Linear Systems ◽  
Minimum Energy ◽  
Sufficient Conditions ◽  
Energy Control ◽  
Discrete Linear Systems ◽  
Minimum Energy Control ◽  
New Formulation ◽  
Necessary And Sufficient ◽  
The Given

AbstractA new formulation of the minimum energy control problem for the positive 2D continuous-discrete linear systems with bounded inputs is proposed. Necessary and sufficient conditions for the reachability of the systems are established. Conditions for the existence of the solution to the minimum energy control problem and a procedure for computation of an input minimizing the given performance index are given. Effectiveness of the procedure is demonstrated on numerical example.

scholarly journals Some quaternion matrix equations involving Φ-Hermicity

Filomat ◽  
2019 ◽  
Vol 33 (16) ◽  
pp. 5097-5112 ◽  
Author(s):  
Zhuo-Heng He
Keyword(s):  
Quaternion Algebra ◽  
Sufficient Conditions ◽  
Matrix Decomposition ◽  
Matrix Equations ◽  
Quaternion Matrix ◽  
Existence Of A Solution ◽  
Quaternion Matrices ◽  
Real Quaternion ◽  
Necessary And Sufficient ◽  
The Given

Let H be the real quaternion algebra and Hmxn denote the set of all m x n matrices over H. For A ? Hm x n, we denote by A? the n x m matrix obtained by applying ? entrywise to the transposed matrix At, where ? is a nonstandard involution of H. A ? Hnxn is said to be ?-Hermitian if A = A?. In this paper, we construct a simultaneous decomposition of four real quaternion matrices with the same row number (A,B,C,D), where A is ?-Hermitian, and B,C,D are general matrices. Using this simultaneous matrix decomposition, we derive necessary and sufficient conditions for the existence of a solution to some real quaternion matrix equations involving ?-Hermicity in terms of ranks of the given real quaternion matrices. We also present the general solutions to these real quaternion matrix equations when they are solvable. Finally some numerical examples are presented to illustrate the results of this paper.

scholarly journals Analysis of Positive Linear Continuous–Time Systems Using the Conformable Derivative

2018 ◽  
Vol 28 (2) ◽  
pp. 335-340 ◽  
Author(s):  
Tadeusz Kaczorek
Keyword(s):  
Asymptotic Stability ◽  
Linear System ◽  
Linear Systems ◽  
Continuous Time ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Conformable Derivative ◽  
Continuous Time Systems ◽  
Necessary And Sufficient ◽  
Time Systems

Abstract Positive linear continuous-time systems are analyzed via conformable fractional calculus. A solution to a fractional linear system is derived. Necessary and sufficient conditions for the positivity of linear systems are established. Necessary and sufficient conditions for the asymptotic stability of positive linear systems are also given. The solutions of positive fractional linear systems based on the Caputo and conformable definitions are compared.

Sign in / Sign up

Export Citation Format

Share Document