Supremum Operators and Computation ofSupremal Elements in System TheoryS

@inproceedings{Kwong1997SupremumOA,
  title={Supremum Operators and Computation ofSupremal Elements in System TheoryS},
  author={Raymond H. Kwong and W. MardellBucknerA.C.S. and WonhamOctober},
  year={1997}
}
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. Our iterative algorithms may also provide more insight into applications; in… CONTINUE READING

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 27 references

Priestly, Introduction to Lattices and Order

H.A.B.A. Davey
1990
View 11 Excerpts
Highly Influenced

Linear Multivariable Control: A Geometric Approach, Springer-Verlag

W. M. Wonham
New York, • 1985
View 12 Excerpts
Highly Influenced

Algebraic Structure Theory of Sequential Machines, Prentice-Hall

J. Hartmanis, R. E. Stearns
Englewood Cli s, NJ, • 1966
View 5 Excerpts
Highly Influenced

Control of vector discrete-event systems I- the base model

Y. Li, W. M. Wonham
IEEE Trans. Automat. Control, • 1993
View 4 Excerpts
Highly Influenced

Control of vector discrete-event systems II- controller syn- thesis

Y. Li, W. M. Wonham
IEEE Trans. Automat. Control, • 1994
View 1 Excerpt

Finite Transition Systems, Prentice-Hall

A. Arnold
Englewood Cli s, NJ, • 1994
View 2 Excerpts

Predicate and predicate transformers for super- visory control of discrete event dynamical systems

R. Kumar, V. Garg, S. I. Marcus
IEEE Trans. Automat. Control, • 1993
View 1 Excerpt

Limited lookahead policies in supervisory control of discrete event systems

S. L. Chung, S. Lafortune, F. Lin
IEEE Trans. Automat. Control, • 1992
View 1 Excerpt

Similar Papers

Loading similar papers…