DocumentCode
2409265
Title
Testing Modularity of Local Supervisors: An Approach Based on Abstractions
Author
Pena, Patrícia N. ; Cury, José E R ; Lafortune, Stéphane
Author_Institution
DAS, Fed. Univ. of Santa Catarina
fYear
2006
fDate
10-12 July 2006
Firstpage
107
Lastpage
112
Abstract
This paper presents an efficient way to detect conflict in composed systems controlled by local supervisors designed using the supervisory control theory of discrete event systems. The idea is to apply the required modularity test not over the languages implemented by the supervisors, but over abstractions of the supervisors with some specific characteristics. The concept of observer and some constraints on the set of relevant events are the basis for the approach. An illustrative example is presented
Keywords
control system synthesis; discrete event systems; observers; abstractions; conflict detection; discrete event systems; local supervisors; modularity testing; observer; supervisory control theory; Automatic control; Control systems; Design automation; Discrete event systems; Electrical equipment industry; Event detection; Explosions; Large-scale systems; Supervisory control; Testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Discrete Event Systems, 2006 8th International Workshop on
Conference_Location
Ann Arbor, MI
Print_ISBN
1-4244-0053-8
Type
conf
DOI
10.1109/WODES.2006.1678416
Filename
1678416
Link To Document