Modular control-loop detection
Citation
Export citationMalik, R. & Malik, P. (2006). Modular control-loop detection. 8th Workshop on Discrete Event Systems, (119-124), Ann Arbor, USA.
Permanent Research Commons link: https://hdl.handle.net/10289/1342
Abstract
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.
Date
2006-07Publisher
IEEE
Rights
Copyright IEEE 2006