Modular control-loop detection
| dc.contributor.author | Malik, Robi | |
| dc.contributor.author | Malik, Petra | |
| dc.coverage.spatial | Conference held at Michigan, USA | en_NZ |
| dc.date.accessioned | 2008-11-16T19:55:57Z | |
| dc.date.available | 2008-11-16T19:55:57Z | |
| dc.date.issued | 2006-07 | |
| dc.description.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. | en_US |
| dc.format.mimetype | application/pdf | |
| dc.identifier.citation | Malik, R. & Malik, P. (2006). Modular control-loop detection. 8th Workshop on Discrete Event Systems, (119-124), Ann Arbor, USA. | en_US |
| dc.identifier.doi | 10.1109/WODES.2006.1678418 | en_NZ |
| dc.identifier.uri | https://hdl.handle.net/10289/1342 | |
| dc.language.iso | en | |
| dc.publisher | IEEE | en_NZ |
| dc.relation.isPartOf | Proc 8th International Workshop on Discrete Event Systems | en_NZ |
| dc.rights | Copyright IEEE 2006 | en_US |
| dc.source | WODES 2006 | en_NZ |
| dc.subject | computer science | en_US |
| dc.title | Modular control-loop detection | en_US |
| dc.type | Conference Contribution | en_US |
| dspace.entity.type | Publication | |
| pubs.begin-page | 119 | en_NZ |
| pubs.end-page | 124 | en_NZ |
| pubs.finish-date | 2006-07-12 | en_NZ |
| pubs.place-of-publication | United States | en_NZ |
| pubs.start-date | 2006-07-10 | en_NZ |