Automatic Solving the Problem of Control Synthesis for Manufacturing Systems

Abstract

A new view on manufacturing systems (MS) modelling and control synthesis is presented. MS are understood to be a kind of discrete event dynamic systems (DEDS). Petri nets (PN), frequently used for DEDS modelling, are replaced by corresponding oriented graphs (OG). The OG nodes are represented by the PN places and the OG edges involve the PN transitions. The adjacency matrix of such a graph is utilized in the DEDS control synthesis procedure. It makes possible to generate both the straight-lined systenl development (from an initial state to a prescribed terminal one) and the backtracking one (from the terminal state to the initial one). The combination both of kinds of the model development is used to find the sequence of the DEDS control vectors. Rule-based knowledge about the control task specification can be utilized in order to choose unique (the most suitable) solution.