Title :
Control of guarded automata counting event occurrences
Author_Institution :
Inst. of Inf. Theory & Autom., Czechoslovak Acad. of Sci., Prague
Abstract :
The paper proposes a deterministic transition system composed of a nondeterministic automaton with guarded transitions as a model for discrete event system control. The guards are linear predicates over n-dimensional integer state space given by counters counting occurrences of events with different labels
Keywords :
controllability; discrete event simulation; discrete event systems; finite automata; state feedback; state-space methods; controllability; deterministic transition system; discrete event system; event occurrence counting; finite automata; guarded transitions; n-dimensional integer state space; nondeterministic automaton; state feedback; Automata; Automatic control; Computational complexity; Control system synthesis; Control systems; Counting circuits; Electronic mail; Feedback; Petri nets; State-space methods;
Conference_Titel :
Decision and Control, 1995., Proceedings of the 34th IEEE Conference on
Conference_Location :
New Orleans, LA
Print_ISBN :
0-7803-2685-7
DOI :
10.1109/CDC.1995.479100
