Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Testing Modularity of Local Supervisors: An Approach Based on Abstractions
Ist Teil von
2006 8th International Workshop on Discrete Event Systems, 2006, p.107-112
Ort / Verlag
IEEE
Erscheinungsjahr
2006
Quelle
IEEE Xplore
Beschreibungen/Notizen
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