Title :
Corrections to “Finite buffer realization of input-output discrete event systems”
Author :
Kumar, Ravindra ; Garg, V.K. ; Marcus, Steven I.
Author_Institution :
Dept. of Electr. & Comput. Eng., Kentucky Univ., Lexington, KY
fDate :
4/1/1996 12:00:00 AM
Abstract :
This paper presents a correction to theorem 4 in the above paper by the authors (see ibid., vol.40, no.6, p.1042-53, 1995) which provides a necessary and sufficient condition for dispatchability
Keywords :
deterministic automata; discrete event systems; dispatchability; finite buffer realization; input-output discrete event systems; necessary and sufficient condition; Automata; Automation; Contracts; Discrete event systems; Dispatching; Manufacturing; Robots; Sufficient conditions;
Journal_Title :
Automatic Control, IEEE Transactions on
