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. (Request a copy)Abstract
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 |
| Divisions: | Faculty of Engineering and Natural Sciences > Academic programs > Computer Science & Eng. Faculty of Engineering and Natural Sciences |
| Depositing User: | Hüsnü Yenigün |
| Date Deposited: | 10 Nov 2016 11:37 |
| Last Modified: | 10 Nov 2016 11:37 |
| URI: | https://research.sabanciuniv.edu/id/eprint/29961 |
Actions (login required)
- View Item