Title :
State Feedback Control of Asynchronous Machines with Nondeterministic Models
Author_Institution :
Dept. of Electr. Eng., Catholic Univ. of Daegu, Daegu
fDate :
5/1/2009 12:00:00 AM
Abstract :
This note is concerned with control of input/state asynchronous sequential machines with nondeterministic models. The objective is to use state feedback for controlling the machine so as to match any possible behavior of the model. When exact model matching is unsolvable, the model matching inclusion problem is considered in which we find the supremal controllable sub-model, or the largest sub-model of a given nondeterministic model that can be matched by the closed-loop system.
Keywords :
asynchronous machines; closed loop systems; machine control; sequential machines; state feedback; asynchronous sequential machines; closed-loop system; model matching inclusion problem; nondeterministic models; state feedback control; Automatic control; Clocks; Control system synthesis; Discrete event systems; Feedback control; Logic; Solids; State feedback; Sufficient conditions; Supervisory control; Asynchronous sequential machines; corrective control; nondeterminism; supremal controllable sub-model;
Journal_Title :
Automatic Control, IEEE Transactions on
DOI :
10.1109/TAC.2008.2010980
