CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Supervisor Computation and Representation: A Case Study

Sajed Miremadi (Institutionen för signaler och system, Automation) ; Knut Åkesson (Institutionen för signaler och system, Automation) ; Bengt Lennartson (Institutionen för signaler och system, Automation) ; Martin Fabian (Institutionen för signaler och system, Automation)
10th International Workshop on Discrete Event Systems, Berlin; 30 August 2010 through 1 September 2010 (14746670). Vol. 10 (2010), 1, p. 275-280 .
[Konferensbidrag, refereegranskat]

When supervisory control theory is applied to industrial problems the need for a more expressive modeling formalism than plain event based automata is crucial. The models are typically built in a bottom-up structure where multiple sub-plant and sub-specifications together compose the full plant and specification, respectively. Typically, the enabling of an event in a sub-model may depend on the state of other sub-models. The standard approach is to synchronize on shared events. However, to build models of large industrial problems with complex constraints between sub-models are beyond many engineers abilities. One attempt to deal with this problem is to extend the plain automata with variables and allow guard conditions and action functions to be associated with transitions. This paper discusses the strengths and weaknesses of one such formulation that fits well together with the standard supervisory control theory. A related problem is how to represent the result after the synthesis procedure, i.e., the supervisor. In this paper we present an approach where the supervisor may be represented as extended guard conditions on the original sub-models. This allows an efficient and comprehensible representation of complex supervisors. Hence, it is preferable both from a user, as well as an implementation perspective. Both the modeling formalism based on extended finite automata and the way to represent the supervisor as extended guard conditions have been implemented in a supervisory control tool.

Nyckelord: Discrete event systems, supervisory control theory, automata

Den här publikationen ingår i följande styrkeområden:

Läs mer om Chalmers styrkeområden  

Denna post skapades 2010-09-13. Senast ändrad 2016-02-01.
CPL Pubid: 126149


Läs direkt!

Lokal fulltext (fritt tillgänglig)

Institutioner (Chalmers)

Institutionen för signaler och system, Automation (2005-2017)



Chalmers infrastruktur

Relaterade publikationer

Denna publikation ingår i:

A Seamless Framework for Control Function Generation