Feedback control of nondeterministic input/output automata
Melanie Schuh, Jan Lunze · 2014
A controller design method for nondeterministic Input/Output automata is presented. The control aim is to steer the plant from its initial state into a desired final state. The controller and the plant are connected in a feedback loop such that the controller can react to the outputs of the plant as well as to external inputs. Within this setting, criteria for the controllability of nondeterministic plants are discussed. As a main result, it is shown how to design a controller in form of a deterministic I/O automaton that accomplishes the given control aim. The applicability of the developed method is demonstrated by means of an example featuring a manufacturing cell.