INDUCTIVELY INFERRING VALID LOGICAL MODELS OF CONTINUOUS-STATE DYNAMICAL-SYSTEMS

被引：9

作者：

LEMMON, M

ANTSAKLIS, PJ

机构：

[1] Department of Electrical Engineering, University of Notre Dame, Notre Dame

来源：

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

关键词：

D O I：

10.1016/0304-3975(94)00148-C

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Hybrid control systems consist of a discrete event (DES) controller supervising a continuous state (CSS) plant. A controller can be synthesized by obtaining a DES controller for an equivalent DES representation (DES plant) of the CSS plant. An important issue concerns the logical invariance (stability) of DES plant transitions to variations in the initial CSS plant state. This paper provides a set of sufficient conditions for the existence of stable transitions in the DES plant. For CSS plants which are affine in their control policies, these conditions form a system of linear inequalities over the space of control vectors used by the CSS plant. Feasible points to this inequality system are inductively determined using a method of centers algorithm known as the ellipsoid method.

引用

页码：201 / 210

页数：10