EXTREMAL SOLUTIONS OF INEQUATIONS OVER LATTICES WITH APPLICATIONS TO SUPERVISORY CONTROL

被引：19

作者：

KUMAR, R ^{[1
]}

GARG, VK ^{[1
]}

机构：

[1] UNIV TEXAS,DEPT ELECT & COMP ENGN,AUSTIN,TX 78712

来源：

THEORETICAL COMPUTER SCIENCE | 1995年 / 148卷 / 01期

基金：

美国国家科学基金会;

关键词：

D O I：

10.1016/0304-3975(94)00256-I

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We study the existence and computation of extremal solutions of a system of inequations defined over lattices. Using the Knaster-Tarski fixed point theorem, we obtain sufficient conditions for the existence of supremal as well as infimal 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 obtaining extremal solutions of various inequations that arise in computation of maximally permissive supervisors in control of logical discrete event systems (DESs) first studied by Ramadge and Wonham. Thus our work presents a unifying approach for computation of supervisors in a variety of situations.

引用

页码：67 / 92

页数：26

共 24 条

[1] CONTINUOUSLY GENERATED FIXED-POINTS [J].