Referenced Items are not available for this document.
This paper presents an efficient algorithm to detect control-loops in large finite-state systems. The proposed algorithm exploits the modular structure present in many models of practical relevance, and often successfully avoids the explicit synchronous composition of subsystems and thereby the state explosion problem. Experimental results show that the method can be used to verify industrial applications of considerable complexity
Published in:
Discrete Event Systems, 2006 8th International Workshop on
Date of Conference: 10-12 July 2006
- Page(s):
- 119 - 124
- Print ISBN:
- 1-4244-0053-8
- INSPEC Accession Number:
- 9063029
- Conference Location :
- Ann Arbor, MI
- Digital Object Identifier :
- 10.1109/WODES.2006.1678418
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
