Deterministic finite capacity automata: a solution to reduce the complexity of modeling and control of automated manufacturing systems

The solution complexity of a synthesized control model of an automated manufacturing system grows exponentially in the number of constituent components in the system [6], thus resulting in the control model being either theoretically untractable in computation [12] or practically unfeasible in implementation [1,14]. By taking advantage of both Petri nets and supervisory control theory, this paper presents a new methodology, called deterministic finite capacity automaton, which when used to model the control of an automated manufacturing system can significantly reduce model complexity. By taking into account the nature of manufacturing automation and combining the technology advances in multi-process computer operating systems, an automaton-based control model capable of running coordinated computing processes is defined. An adjustable language is introduced into the control model, to make it function more efficiently.