Show simple item record  

dc.contributor.authorMalik, Robi
dc.contributor.authorMalik, Petra
dc.coverage.spatialConference held at Michigan, USAen_NZ
dc.date.accessioned2008-11-16T19:55:57Z
dc.date.available2008-11-16T19:55:57Z
dc.date.issued2006-07
dc.identifier.citationMalik, R. & Malik, P. (2006). Modular control-loop detection. 8th Workshop on Discrete Event Systems, (119-124), Ann Arbor, USA.en_US
dc.identifier.urihttps://hdl.handle.net/10289/1342
dc.description.abstractThis 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.mimetypeapplication/pdf
dc.language.isoen
dc.publisherIEEEen_NZ
dc.rightsCopyright IEEE 2006en_US
dc.sourceWODES 2006en_NZ
dc.subjectcomputer scienceen_US
dc.titleModular control-loop detectionen_US
dc.typeConference Contributionen_US
dc.identifier.doi10.1109/WODES.2006.1678418en_NZ
dc.relation.isPartOfProc 8th International Workshop on Discrete Event Systemsen_NZ
pubs.begin-page119en_NZ
pubs.elements-id16660
pubs.end-page124en_NZ
pubs.finish-date2006-07-12en_NZ
pubs.place-of-publicationUnited Statesen_NZ
pubs.start-date2006-07-10en_NZ


Files in this item

This item appears in the following Collection(s)

Show simple item record