Title :
Supremum operators and computation of supremal elements in system theory
Author :
Zad, S. Hashtrudi ; Kwong, R.H. ; Wonham, W.M.
Author_Institution :
Dept. of Electr. & Comput. Eng., Toronto Univ., Ont., Canada
Abstract :
Constrained supremum and supremum operators are introduced to obtain a general procedure for computing supremal elements of upper semilattices. Examples of such elements include supremal (A,B)-invariant subspaces in linear system theory and supremal controllable sublanguages in discrete-event system theory. For some examples, we show that the algorithms available in the literature are special cases of our procedure
Keywords :
control system analysis; control system synthesis; discrete event systems; formal languages; linear systems; constrained supremum; discrete-event system theory; linear system theory; supremal (A,B)-invariant subspaces; supremal controllable sublanguages; supremal elements; supremum operators; upper semilattices; Algebra; Control systems; Lattices; Linear systems;
Conference_Titel :
Decision and Control, 1997., Proceedings of the 36th IEEE Conference on
Conference_Location :
San Diego, CA
Print_ISBN :
0-7803-4187-2
DOI :
10.1109/CDC.1997.657899
