In this report we present an algorithm for the decomposition of a mono-lithic LOTOS process into two processes, which composed by the parallel operator is observational equivalent to the original one. Repeated application permits the generation of more than two processes. The algorithm is deened on labelled transition systems and, hence, its application to any process algebra with a similar not...

in this paper, a boussinesq equation is solved by using the adomian's decomposition method, modified adomian's decomposition method and homotopy analysis method. the approximate solution of this equation is calculated in the form of series which its components are computed by applying a recursive relation. the existence and uniqueness of the solution and the convergence of the propose...

Abstract A trivial case in input–output structural decomposition analysis is a of product variables, or factors, where one factor an inverse—typically, Leontief inverse—of sum other factors. There may be dozens and hundreds such factors that describe the changes subsets technical coefficients. The existing literature offers ambiguous guidance this case. solution consistent with index number the...

In this paper we consider linear systems with faults. We present a new system decomposition well suited for sensor location in the Fault Detection and Isolation problem. We deal with this problem when the system under consideration is structured, that is, the entries of the system matrices are either fixed zeros or free parameters. To such structured systems one can associate a graph. We presen...

When using domain decomposition methods without overlapping, one can focus on displacements, such as primal approaches, [11] . . . , or on efforts, such as dual approaches, [6]. Since the latin approach used herein allows interfaces to play a major role, both displacements and efforts are the unknowns; it is a “mixed” approach. A general drawback with domain decomposition methods is the decreas...

When designing model-based fault-diagnosis systems, the use of consistency relations (also called e.g. parity relations) is a common choice. Different subsets are sensitive to different subsets of faults, and thereby isolation can be achieved. This paper presents an algorithm for finding a small set of submodels that can be used to derive consistency relations with highest possible diagnosis ca...