scholarly journals Robust Controllability and Observability of Boolean Control Networks under Different Disturbances

2019 ◽  
Vol 2019 ◽  
pp. 1-9
Author(s):  
Yuanhua Wang ◽  
Xiao Zhang ◽  
Yaqi Hao
Keyword(s):  
Sufficient Conditions ◽  
Sufficient Condition ◽  
Reachable State ◽  
Numerical Examples ◽  
Control Networks ◽  
Robust Controllability ◽  
Controllability And Observability ◽  
Control Sequences

This paper investigates robust controllability and observability of Boolean control networks under disturbances. Firstly, under unobservable disturbances, some sufficient conditions are obtained for robust controllability of BCNs. Then an algorithm is proposed to construct the least control sequences which drive the trajectory from a state to a given reachable state. If the disturbances are observable, by defining the order-preserving system, an efficient sufficient condition is obtained for robust controllability of BCNs. Finally, the robust observability problem is converted into an equivalent robust controllability via set controllability and is solved by using the results obtained for set controllability. Some numerical examples are presented to illustrate the obtained results.

On the Mode Splitting of Degenerate Mechanical Systems Containing Cracks

1993 ◽  
Vol 60 (4) ◽  
pp. 929-935 ◽  
Author(s):  
I. Y. Shen ◽  
C. D. Mote
Keyword(s):  
Orthogonal Transformation ◽  
Sufficient Conditions ◽  
Sufficient Condition ◽  
Vibration Modes ◽  
Two Dimensional ◽  
Frequency Shifts ◽  
Numerical Examples ◽  
Perfect System ◽  
Mode Splitting ◽  
Circular Domains

This paper presents sufficient conditions governing mode splitting in a two-dimensional, degenerate, mechanical system whose eigensolutions satisfy the Helmholtz equation. When cracks are introduced into such systems, a pair of repeated vibration modes may remain repeated or become distinct (termed split modes) depending on the location and geometry of the cracks. Two types of split modes can occur. Split modes of the first kind are a pair of split modes in which one mode undergoes a frequency shift but the other does not. In contrast, split modes of the second kind are a pair of split modes in which both modes undergo frequency shifts. A sufficient condition for split modes of the first kind is derived through an orthogonal transformation of repeated eigenmodes of the perfect system. Sufficient conditions for repeated modes and split modes of the second kind are derived through an asymptotic analysis. Numerical examples on square and circular domains illustrate the analytical predictions on mode splitting.

scholarly journals Reachability of linear hybrid systems described by the general model

2010 ◽  
Vol 20 (2) ◽  
pp. 199-207 ◽  
Author(s):  
Tadeusz Kaczorek ◽  
Krzysztof Rogowski
Keyword(s):  
Linear Systems ◽  
Hybrid Systems ◽  
Hybrid System ◽  
General Model ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Sufficient Condition ◽  
Numerical Examples ◽  
Necessary And Sufficient

Reachability of linear hybrid systems described by the general modelThe reachability of standard and positive hybrid linear systems described by the general model is addressed. Necessary and sufficient conditions for the reachability of the standard general model are established. Sufficient condition is given for the reachability of positive hybrid system described by the general model. The considerations are illustrated by numerical examples.

scholarly journals Positive Definite Solutions of the Matrix EquationXr-∑i=1mAi∗X-δiAi=I

2015 ◽  
Vol 2015 ◽  
pp. 1-8
Author(s):  
Asmaa M. Al-Dubiban
Keyword(s):  
Sufficient Conditions ◽  
Positive Definite ◽  
Sufficient Condition ◽  
Nonlinear Matrix Equation ◽  
Numerical Examples ◽  
Positive Definite Solution ◽  
The Matrix ◽  
Nonlinear Matrix ◽  
Necessary And Sufficient ◽  
Definite Solution

We investigate the nonlinear matrix equationXr-∑i=1mAi∗X-δiAi=I, whereris a positive integer andδi∈(0,1], for i=1,2,…,m. We establish necessary and sufficient conditions for the existence of positive definite solutions of this equation. A sufficient condition for the equation to have a unique positive definite solution is established. An iterative algorithm is provided to compute the positive definite solutions for the equation and error estimate. Finally, some numerical examples are given to show the effectiveness and convergence of this algorithm.

scholarly journals Noetherian properties in composite generalized power series rings

2020 ◽  
Vol 18 (1) ◽  
pp. 1540-1551
Author(s):  
Jung Wook Lim ◽  
Dong Yeol Oh
Keyword(s):  
Necessary Conditions ◽  
Sufficient Conditions ◽  
Commutative Rings ◽  
Sufficient Condition ◽  
Necessary And Sufficient Condition ◽  
Generalized Power Series ◽  
Ordered Monoid ◽  
Power Series Rings ◽  
Necessary And Sufficient ◽  
Equivalent Conditions

Abstract Let ({\mathrm{\Gamma}},\le ) be a strictly ordered monoid, and let {{\mathrm{\Gamma}}}^{\ast }\left={\mathrm{\Gamma}}\backslash \{0\} . Let D\subseteq E be an extension of commutative rings with identity, and let I be a nonzero proper ideal of D. Set \begin{array}{l}D+[\kern-2pt[ {E}^{{{\mathrm{\Gamma}}}^{\ast },\le }]\kern-2pt] := \left\{f\in [\kern-2pt[ {E}^{{\mathrm{\Gamma}},\le }]\kern-2pt] \hspace{0.15em}|\hspace{0.2em}f(0)\in D\right\}\hspace{.5em}\text{and}\\ \hspace{0.2em}D+[\kern-2pt[ {I}^{{\Gamma }^{\ast },\le }]\kern-2pt] := \left\{f\in [\kern-2pt[ {D}^{{\mathrm{\Gamma}},\le }]\kern-2pt] \hspace{0.15em}|\hspace{0.2em}f(\alpha )\in I,\hspace{.5em}\text{for}\hspace{.25em}\text{all}\hspace{.5em}\alpha \in {{\mathrm{\Gamma}}}^{\ast }\right\}.\end{array} In this paper, we give necessary conditions for the rings D+[\kern-2pt[ {E}^{{{\mathrm{\Gamma}}}^{\ast },\le }]\kern-2pt] to be Noetherian when ({\mathrm{\Gamma}},\le ) is positively ordered, and sufficient conditions for the rings D+[\kern-2pt[ {E}^{{{\mathrm{\Gamma}}}^{\ast },\le }]\kern-2pt] to be Noetherian when ({\mathrm{\Gamma}},\le ) is positively totally ordered. Moreover, we give a necessary and sufficient condition for the ring D+[\kern-2pt[ {I}^{{\Gamma }^{\ast },\le }]\kern-2pt] to be Noetherian when ({\mathrm{\Gamma}},\le ) is positively totally ordered. As corollaries, we give equivalent conditions for the rings D+({X}_{1},\ldots ,{X}_{n})E{[}{X}_{1},\ldots ,{X}_{n}] and D+({X}_{1},\ldots ,{X}_{n})I{[}{X}_{1},\ldots ,{X}_{n}] to be Noetherian.

SOME SUFFICIENT CONDITIONS OF LEARNABILITY IN THE LIMIT FROM POSITIVE DATA

2000 ◽  
Vol 11 (03) ◽  
pp. 515-524
Author(s):  
TAKESI OKADOME
Keyword(s):  
Sufficient Conditions ◽  
Sufficient Condition ◽  
Necessary And Sufficient Condition ◽  
Conditions For Learning ◽  
Positive Data ◽  
Necessary And Sufficient ◽  
Learning In The Limit

The paper deals with learning in the limit from positive data. After an introduction and overview of earlier results, we strengthen a result of Sato and Umayahara (1991) by establishing a necessary and sufficient condition for the satisfaction of Angluin's (1980) finite tell-tale condition. Our other two results show that two notions introduced here, the finite net property and the weak finite net property, lead to sufficient conditions for learning in the limit from positive data. Examples not solvable by earlier methods are also given.

On robust controllability of uncertain non-linear jump systems with respect to the finite-time interval

2011 ◽  
Vol 34 (7) ◽  
pp. 841-849 ◽  
Author(s):  
Shuping He ◽  
Fei Liu
Keyword(s):  
Finite Time ◽  
Sufficient Conditions ◽  
Linear Matrix ◽  
Time Interval ◽  
Finite Time Interval ◽  
Markov Jump ◽  
Non Linear ◽  
Robust Controllability ◽  
Jump Systems ◽  
Takagi Sugeno

In this paper we study the robust control problems with respect to the finite-time interval of uncertain non-linear Markov jump systems. By means of Takagi–Sugeno fuzzy models, the overall closed-loop fuzzy dynamics are constructed through selected membership functions. By using the stochastic Lyapunov–Krasovskii functional approach, a sufficient condition is firstly established on the stochastic robust finite-time stabilization. Then, in terms of linear matrix inequalities techniques, the sufficient conditions on the existence of the stochastic finite-time controller are presented and proved. Finally, the design problem is formulated as an optimization one. The simulation results illustrate the effectiveness of the proposed approaches.

Separability criteria based on the Bloch representation of density matrices

2007 ◽  
Vol 7 (7) ◽  
pp. 624-638
Author(s):  
J. de Vicente
Keyword(s):  
Sufficient Conditions ◽  
Quantum Systems ◽  
Necessary Condition ◽  
Sufficient Condition ◽  
Pure Product ◽  
Separability Problem ◽  
Arbitrary Dimensions ◽  
Necessary And Sufficient ◽  
Bloch Representation

We study the separability of bipartite quantum systems in arbitrary dimensions using the Bloch representation of their density matrix. This approach enables us to find an alternative characterization of the separability problem, from which we derive a necessary condition and sufficient conditions for separability. For a certain class of states the necessary condition and a sufficient condition turn out to be equivalent, therefore yielding a necessary and sufficient condition. The proofs of the sufficient conditions are constructive, thus providing decompositions in pure product states for the states that satisfy them. We provide examples that show the ability of these conditions to detect entanglement. In particular, the necessary condition is proved to be strong enough to detect bound entangled states.

The Maxslope Taxometric Procedure: Mathematical Derivation, Parameter Estimation, Consistency Tests

2004 ◽  
Vol 95 (2) ◽  
pp. 517-550 ◽  
Author(s):  
William M. Grove
Keyword(s):  
Parameter Estimation ◽  
Nonlinear Regression ◽  
Classification Accuracy ◽  
Sufficient Conditions ◽  
Sufficient Condition ◽  
Indicator Variable ◽  
Regression Slope ◽  
The Relationship ◽  
Mathematical Derivation ◽  
Made In

This article first explains concepts in taxometrics, including the meaning of “taxon” in relation to taxometric procedures. It then mathematically develops the MAXSLOPE procedure of Grove and Meehl which relies on nonlinear regression of one taxometric indicator variable on another. Sufficient conditions for MAXSLOPE's validity are set forth. The relationship between the point of maximum regression slope (MAXSLOPE point) and the HITMAX cut, i.e., the point on a variable which, if used as a diagnostic cut-off score, yields maximum classification accuracy, is analyzed. A sufficient condition is given for the MAXSLOPE point to equal the HITMAX cut; however, most distributions have different MAXSLOPE and HITMAX points. Equations and an algorithm are spelled out for making a graphical test for the existence of a taxon, estimating taxometric parameters, and conducting consistency tests; the latter serve as stringent checks on the validity of a taxonic conjecture. The plausibility of assumptions made, in deriving MAXSLOPE equations, is discussed, and the qualitative effects of violations of these assumptions are explained.

Sign in / Sign up

Export Citation Format

Share Document