Please use this identifier to cite or link to this item: http://openarchive.nure.ua/handle/document/1853
Title: Solving Parallel Multi Component Automata Equations
Authors: Shabaldina, N.
Yevtushenko, N.
Keywords: discrete event systems
equations
automata
Issue Date: 2008
Publisher: ХНУРЭ
Citation: Shabaldina, N. Solving Parallel Multi Component Automata Equations / N. Shabaldina, N. Yevtushenko // Радиоэлектроника и информатика : науч.-техн. журн. – Х. : Изд-во ХНУРЭ, 2008. – Вып. 1. – С. 55-57.
Abstract: The problem of designing the unknown component of a system of interacting automata that combined with the known part of the system meets the specification, is well known. However, most publications are devoted to solving the problem for the proper composition of two automata. In this paper, we consider a parallel multi component automata equation and propose two methods for deriving a largest solution to this equation (if the equation is solvable). In particular, we show that the union of alphabets over all known components and of that of the specification is the largest alphabet of actions over which a solution for a solvable equation should exist, and show how a solution over an appropriate alphabet can be derived from such a largest solution.
URI: http://openarchive.nure.ua/handle/document/1853
Appears in Collections:Радиоэлектроника и информатика

Files in This Item:
File Description SizeFormat 
RI_2008_1-055-057.pdf450.64 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.