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.
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.
Repository Staff Only: item control page