Control of vector discrete-event systems. II. Controller synthesis

摘要

This paper shows that associated control synthesis problems of Ramadge-Wonham type can be efficiently solved under mild technical restrictions, using elementary methods combined with linear integer programming. Both memoryless and dynamic state feedback are treated. Structural conditions are provided under which the controller can be computed in “closed-form,” namely represented as a VDES or “generalized” VDES (GVDES). The results are applied to a model of an AGV system, adapted from work of Holloway and Krogh (1990)