Details

Autor(en) / Beteiligte

• Pena, P.N.
• Cury, J.E.R.
• Lafortune, S.

Titel

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/IET Electronic Library

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