DocumentCode
2108892
Title
Hierarchical interface-based non-blocking verification
Author
Leduc, Ryan J. ; Brandin, B.A. ; Wonham, W.M.
Author_Institution
Dept. of Electr. & Comput. Eng., Toronto Univ., Ont., Canada
Volume
1
fYear
2000
fDate
2000
Firstpage
1
Abstract
In this paper we present a hierarchical method that breaks up a plant into two subsystems, and restricts the interaction of the subsystems by means of an interface. We present a definition for an interface, and define a set of interface consistency properties that can be used to verify if a discrete-event system (DES) is non-blocking. Each clause of the definition can be verified using only one of the two subsystems; thus the complete system model never needs to be constructed
Keywords
discrete event systems; discrete-event system; hierarchical interface-based nonblocking verification; interface consistency properties; subsystems; Chromium; Discrete event systems; Distributed control; Erbium; Large-scale systems; Master-slave; State-space methods; Terminology;
fLanguage
English
Publisher
ieee
Conference_Titel
Electrical and Computer Engineering, 2000 Canadian Conference on
Conference_Location
Halifax, NS
ISSN
0840-7789
Print_ISBN
0-7803-5957-7
Type
conf
DOI
10.1109/CCECE.2000.849658
Filename
849658
Link To Document