Recovering representations of systems with repetitive subfunctions from observations

Warning The system is temporarily closed to updates for reporting purpose.

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