Extremal Solutions of Inequations over Lattices with Applications to Supervisory Control

  title={Extremal Solutions of Inequations over Lattices with Applications to Supervisory Control},
  author={Ratnesh Kumar and Vijay K. Garg},
  journal={Theor. Comput. Sci.},
We study the existence and computation of extremal solutions of a system of inequations de ned over lattices. Using the Knaster-Tarski xed point theorem, we obtain su cient conditions for the existence of supremal as well as in mal solution of a given system of inequations. Iterative techniques are presented for the computation of the extremal solutions whenever they exist, and conditions under which the termination occurs in a single iteration are provided. These results are then applied for… CONTINUE READING
Highly Cited
This paper has 42 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.


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

A lattice-theoretical xed point theorem and its applications

  • A. Tarski
  • Paci c Journal of Mathematics,
  • 1955
Highly Influential
3 Excerpts

Modeling and Control of Logical Discrete Event Systems

  • R. Kumar, V. K. Garg
  • Kluwer Academic Publishers,
  • 1994
1 Excerpt

Formulas for observability of discrete event dynamical systems

  • R. Kumar
  • Conference on Information Sciences and Systems,
  • 1993
1 Excerpt

On the in mal closed and controllable superlanguage of a given language

  • S. Lafortune, E. Chen
  • IEEE Transactions on Automatic Control,
  • 1990
1 Excerpt

Similar Papers

Loading similar papers…