scholarly journals State-Burst Feedback Control for Fault Recovery of Input/State Asynchronous Sequential Machines

2021 ◽  
Vol 11 (21) ◽  
pp. 9790
Author(s):  
Jung-Min Yang ◽  
Seong-Jin Park ◽  
Seong Woo Kwak
Keyword(s):  
Fault Tolerant ◽  
Sufficient Conditions ◽  
Controller Synthesis ◽  
Input State ◽  
Transient Faults ◽  
Design Flexibility ◽  
Sequential Machines ◽  
Control Scheme ◽  
Existence Conditions ◽  
Necessary And Sufficient

Static corrective controllers are more efficient than dynamic ones since they consist of only logic elements, whereas their existence conditions are more restrictive. In this paper, we present a static corrective control scheme for fault diagnosis and fault tolerant control of input/state asynchronous sequential machines (ASMs) vulnerable to transient faults. The design flexibility of static controllers is enlarged by virtue of using a diagnoser and state bursts. Necessary and sufficient conditions for the existence of a diagnoser and static fault tolerant controller are presented, and the process of controller synthesis is addressed based on the derived condition. Illustrative examples on practical ASMs are provided to show the applicability of the proposed scheme.

scholarly journals The Problem of Invariance in Nonlinear Discrete-Time Dynamic Systems

Symmetry ◽  
2020 ◽  
Vol 12 (8) ◽  
pp. 1241
Author(s):  
Alexey Zhirabok
Keyword(s):  
Discrete Time ◽  
Dynamic Systems ◽  
Fault Tolerant ◽  
Sufficient Conditions ◽  
Fault Detection And Isolation ◽  
Time Dynamic ◽  
Differentiable Functions ◽  
Algebra Of Functions ◽  
Necessary And Sufficient ◽  
Algebraic Approaches

The paper considers the problem of invariance with respect to the unknown input for discrete-time nonlinear dynamic systems. To solve the problem, the algebraic approaches, called algebra of functions and logic–dynamic approach, are used. Such approaches assume that description of the system may contain non-differentiable functions. Necessary and sufficient conditions of solvability the problem are obtained. Moreover, procedures which find the appropriate functions and matrices are developed. Some applications of such invariance in fault detection and isolation, disturbance decoupling problem, and fault-tolerant control are considered.

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.

Multi-Variable Control of an Integrated Propulsion and Airframe System

1995 ◽  
Vol 209 (3) ◽  
pp. 179-190
Author(s):  
R A Perez
Keyword(s):  
Dynamical System ◽  
Feedback Loop ◽  
Closed Loop ◽  
Integrated Control ◽  
Sufficient Conditions ◽  
Turbofan Engine ◽  
Variable Control ◽  
Control Scheme ◽  
Necessary And Sufficient ◽  
Control Methodology

The development of an integrated control scheme to enhance the performance of a generic interconnected multi-variable dynamical system, consisting of a turbofan engine and an airframe, in the presence of predominantly destructive dynamical interactions over the flight envelope is considered in this paper. The control scheme consists of two components: a simple static forward loop or feedback loop precompensator to improve the interactions followed by a forward or feedback loop controller to improve the performance. The system must be tolerant to soft and hard output sensor failures by means of analytic redundancy only. A control methodology to satisfy the above specifications is presented here. Necessary and sufficient conditions are presented in order to achieve a stable closed-loop performance of the overall system by tuning every loop separately, that is decentralized stability.

scholarly journals Existence conditions for a class of modular subgroups of genus zero

2002 ◽  
Vol 66 (3) ◽  
pp. 517-525
Author(s):  
Joachim A. Hempel
Keyword(s):  
Rational Function ◽  
Finite Index ◽  
Modular Group ◽  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Genus Zero ◽  
Existence Conditions ◽  
Necessary And Sufficient

Every subgroup of finite index of the modular groupPSL(2, ℤ) has asignatureconsisting of conjugacy-invariant integer parameters satisfying certain conditions. In the case of genus zero, these parameters also constitute a prescription for the degree and the orders of the poles of a rational functionFwith the property:Functions correspond to subgroups, and we use this to establish necessary and sufficient conditions for existence of subgroups with a certain subclass of allowable signatures.

Existence conditions for two-parameter eigenvalue problems

1981 ◽  
Vol 91 (1-2) ◽  
pp. 15-30 ◽  
Author(s):  
Paul Binding ◽  
Patrick J. Browne ◽  
Lawrence Turyn
Keyword(s):  
Hilbert Spaces ◽  
Eigenvalue Problems ◽  
Sufficient Conditions ◽  
Compact Resolvent ◽  
Existence Conditions ◽  
Image Position ◽  
Necessary And Sufficient ◽  
Adjoint Operators ◽  
Bounded Below ◽  
Two Parameter

SynopsisWe discuss necessary and sufficient conditions for the existence of eigentuples λ=(λl,λ2) and eigenvectors x1≠0, x2≠0 for the problem Wr(λ)xr = 0, Wr(λ)≧0, (*), where Wr(λ)= Tr + λ1Vr2, r=1,2. Here Tr and Vrs are self-adjoint operators on separable Hilbert spaces Hr. We assume the Vrs to be bounded and the Tr bounded below with compact resolvent. Most of our conditions involve the conesWe obtain results under various conditions on the Tr, but the following is typical:THEOREM. If (*) has a solution for all choices ofT1, T2then (a)0∉ V1UV2,(b)V1∩(—V2) =∅ and (c) V1⊂V2∪{0}, V2⊈V1∪{0}. Conversely, if (a) and (b) hold andV1⊈V2∪∩{0}, V2⊈ then (*) has a solution for all choices ofT1, T2.

scholarly journals Necessary and Sufficient Conditions for Sensor Recovery in a Multisensor Control Scheme

2009 ◽  
Vol 42 (8) ◽  
pp. 977-982 ◽  
Author(s):  
Sorin Olaru ◽  
Florin Stoican ◽  
José A. De Doná ◽  
María M. Seron
Keyword(s):  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Control Scheme ◽  
Necessary And Sufficient

scholarly journals Locally undetermined states, generalized Schmidt decomposition, and application in distributed computing

2009 ◽  
Vol 9 (11&12) ◽  
pp. 997-1012
Author(s):  
Y. Feng ◽  
R. Duan ◽  
M. Ying
Keyword(s):  
Distributed Computing ◽  
Quantum State ◽  
Fault Tolerant ◽  
A Priori ◽  
Sufficient Conditions ◽  
Quantum States ◽  
Consensus Problem ◽  
Schmidt Decomposition ◽  
Pure States ◽  
Necessary And Sufficient

Multipartite quantum states that cannot be uniquely determined by their reduced states of all proper subsets of the parties exhibit some inherit `high-order' correlation. This paper elaborates this issue by giving necessary and sufficient conditions for a pure multipartite state to be locally undetermined, and moreover, characterizing precisely all the pure states sharing the same set of reduced states with it. Interestingly, local determinability of pure states is closely related to a generalized notion of Schmidt decomposition. Furthermore, we find that locally undetermined states have some applications to the well-known consensus problem in distributed computing. To be specific, given some physically separated agents, when communication between them, either classical or quantum, is unreliable, then there exists a totally correct and completely fault-tolerant protocol for them to reach a consensus if and only if they share a priori a locally undetermined quantum state.

Reactive and Semi-Reactive Bargaining Sets for Games with Restricted Cooperation

2020 ◽  
Vol 22 (03) ◽  
pp. 2050001
Author(s):  
Natalia Naumova
Keyword(s):  
Sufficient Conditions ◽  
Existence Results ◽  
Simple Games ◽  
Bargaining Set ◽  
Tu Games ◽  
Restricted Cooperation ◽  
Generalized Kernel ◽  
Existence Conditions ◽  
Necessary And Sufficient ◽  
Bargaining Sets

Generalizations of reactive and semi-reactive bargaining sets of TU games are defined for the case when objections and counter-objections are permitted not between singletons but between elements of a family of coalitions [Formula: see text] and can use coalitions from [Formula: see text]. Necessary and sufficient conditions on [Formula: see text], [Formula: see text] that ensure existence results for generalizations of the reactive bargaining set and of the semi-reactive barganing set at each TU game [Formula: see text] with nonnegative values are obtained. The existence conditions for the generalized reactive bargaining set do not coincide with existence conditions for the generalized kernel and coincide with conditions for the generalized semi-reactive bargaining set only if [Formula: see text] and [Formula: see text]. The conditions for the generalized semi-reactive bargaining set coincide with conditions for the generalized classical bargaining set that were described in the previous papers of the author. For monotonic [Formula: see text], the condition on [Formula: see text] for existence of the generalized semi-reactive bargaining sets on the class of games with nonnegative values is also necessary and sufficient on the class of simple games, but similar result for the generalized classical bargaining sets is proved only for [Formula: see text].

Sign in / Sign up

Export Citation Format

Share Document