Representing Block-structured Process Models as Order Matrices: Basic Concepts, Formal Properties, Algorithms
نویسندگان
چکیده
In various cases we need to transform a process model into a matrix representation for further analysis. In this paper, we introduce the notion of Order Matrix, which enables unique representation of blockstructured process models. We present algorithms for transforming a block-structured process model into a corresponding order matrix and vice verse. We then prove that such order matrix constitutes a unique representation of a block-structured process model; i.e., if we transform a process model into an order matrix, and then transform this matrix back into a process model, the two process models are trace equivalent; i.e., they show same behavior. Finally, we analyze algebraic properties of order matrices.
منابع مشابه
Nonlinear System Identification Using Hammerstein-Wiener Neural Network and subspace algorithms
Neural networks are applicable in identification systems from input-output data. In this report, we analyze theHammerstein-Wiener models and identify them. TheHammerstein-Wiener systems are the simplest type of block orientednonlinear systems where the linear dynamic block issandwiched in between two static nonlinear blocks, whichappear in many engineering applications; the aim of nonlinearsyst...
متن کاملDeriving Structural RT-Implementations from Algorithmic Descriptions by means of Logical Transformations
This paper presents a formal synthesis approach where the mapping of an al-gorithmic description towards its structural implementation at the RT-level is performed by means of basic logical transformations in a higher order logic theorem prover. The approach goes beyond pure basic blocks and allows representing and synthesizing arbitrary computable programs. A functional style is used for repre...
متن کاملA Givens-Weight Representation for Rank Structured Matrices
In this paper we introduce a Givens-weight representation for rank structured matrices, where the rank structure is defined by certain low rank submatrices starting from the bottom left matrix corner. This representation will be compared to the (block) quasiseparable representations occurring in the literature. We will then provide some basic algorithms for the Givens-weight representation, in ...
متن کاملA Senior Course on Logic Process Control based on Petri Nets
In this contribution we present the basic concepts of a senior course on logic process control based on Petri Nets. This course is an introduction to basic design concepts and description formalisms of industrial logic control systems. It is mandatory for all students of electrical engineering specializing in the field of automation. One of the examples used throughout the course to illustrate ...
متن کاملStructured Eigenvalue Problems
Most eigenvalue problems arising in practice are known to be structured. Structure is often introduced by discretization and linearization techniques but may also be a consequence of properties induced by the original problem. Preserving this structure can help preserve physically relevant symmetries in the eigenvalues of the matrix and may improve the accuracy and efficiency of an eigenvalue c...
متن کامل