Recovering representations of systems with repetitive subfunctions from observations

Jourdan, Guy Vincent and Yenigün, Hüsnü (2016) Recovering representations of systems with repetitive subfunctions from observations. Journal of Multiple-Valued Logic and Soft Computing (SI), 27 (2-3). pp. 255-273. ISSN 1542-3980 (Print) 1542-3999 (Online)

Full text not available from this repository.

Official URL: http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-27-number-2-3-2016/mvlsc-27-2-3-p-255-273/


This paper proposes an algorithm for the construction of an MSC graph from a given set of actual observations of an existing concurrent system which has repetitive subfunctions. When a design representing the current functionality of the existing system is desired, such a graph can be checked for safe realizability and be used as input to existing synthesis techniques to construct the design for the system functionality.

Item Type:Article
Subjects:Q Science > QA Mathematics > QA075 Electronic computers. Computer science
Q Science > QA Mathematics > QA076 Computer software
ID Code:29961
Deposited By:Hüsnü Yenigün
Deposited On:10 Nov 2016 11:37
Last Modified:10 Nov 2016 11:37

Repository Staff Only: item control page