DocumentCode
294502
Title
Control of guarded automata counting event occurrences
Author
Kozac, P.
Author_Institution
Inst. of Inf. Theory & Autom., Czechoslovak Acad. of Sci., Prague
Volume
1
fYear
1995
fDate
13-15 Dec 1995
Firstpage
907
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Decision and Control, 1995., Proceedings of the 34th IEEE Conference on
Conference_Location
New Orleans, LA
ISSN
0191-2216
Print_ISBN
0-7803-2685-7
Type
conf
DOI
10.1109/CDC.1995.479100
Filename
479100
Link To Document