Supremum operators and computation of supremal elements in system theory

摘要

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 andsupremal 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.