The paper deals with the realization theory of bilinear hybrid systems, i.e. hybrid systems with continuous dynamics determined by bilinear control systems. We will formulate necessary and sufficient conditions for the existence of a bilinear hybrid system realizing a set of specified input/output maps. We will also present a characterization of a minimal bilinear hybrid realization and a proce...

The present paper is an attempt to study the minimal BL-general fuzzy automata which realizes the given fuzzy behavior. Of two methods applied for construction of such automaton presented here, one has been based on Myhill-Nerode's theory while the other has been based on derivatives of the given fuzzy behavior. Meanwhile, the categories of BL-general fuzzy automata and fuzzy behavior, along wi...

A standard result of linear-system theory states that a SISO rational th-order transfer function always has an th-order realization. In some applications, one is interested in having a realization with nonnegative entries (i.e., a positive system) and it is known that a positive system may not be minimal in the usual sense. In this paper, we give an explicit necessary and sufficient condition f...

The topics of this paper are matrix factorizations and the minimal state space realization problem in the maxplus algebra, which is one of the modeling frameworks that can be used to model discrete event systems. We present a heuristic algorithm to compute a factorization of a matrix in the max-plus algebra. Next we use this algorithm to determine the minimal system order (and to construct a mi...

The purpose of this paper is to study the realization theory of quantum linear systems. It is shown that for a general quantum linear system its controllability and observability are equivalent and they can be checked by means of a simple matrix rank condition. Based on controllability and observability a specific realization is proposed for general quantum linear systems in which an uncontroll...