Supervisor Computation and Representation: A Case Study
Paper i proceeding, 2010

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.

supervisory control theory

Discrete event systems

automata

Författare

Sajed Miremadi

Chalmers, Signaler och system, System- och reglerteknik

Knut Åkesson

Chalmers, Signaler och system, System- och reglerteknik

Bengt Lennartson

Chalmers, Signaler och system, System- och reglerteknik

Martin Fabian

Chalmers, Signaler och system, System- och reglerteknik

10th International Workshop on Discrete Event Systems, Berlin; 30 August 2010 through 1 September 2010

1474-6670 (ISSN)

Vol. 10 1 275-280
978-390266179-1 (ISBN)

Styrkeområden

Produktion

Ämneskategorier

Reglerteknik

Datavetenskap (datalogi)

ISBN

978-390266179-1

Mer information

Skapat

2017-10-07