Synthesis and viability of minimally interventive legal controllers for hybrid systems

被引：31

作者：

Heymann, M ^{[1
]}

Lin, F

Meyer, G

机构：

[1] Technion Israel Inst Technol, Dept Comp Sci, IL-32000 Haifa, Israel

[2] Wayne State Univ, Dept Elect & Comp Engn, Detroit, MI 48202 USA

[3] NASA, Ames Res Ctr, Moffett Field, CA 94035 USA

来源：

DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS | 1998年 / 8卷 / 02期

关键词：

hybrid systems; safety control synthesis; Zenoness;

D O I：

10.1023/A:1008285600895

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

In this paper, we study the control of Composite Hybrid Machines (CHMs) subject to safety specifications. CHMs are a fairly general class of hybrid systems modeled in modular fashion as the concurrent operation of Elementary Hybrid Machines (EHMs). The formalism has a well-defined synchronous-composition operation that permits the introduction of the controller as a component of the system. The task of a legal (safety) controller is to ensure that the system never exits a set of specified legal configurations. Among the legal controllers, we are particularly interested in designing a minimally-interventive (or minimally-restrictive) one, which interferes in the system's operation only when constraint violation is otherwise inevitable. Thus, a minimally interventive safety controller provides maximum flexibility in embedding additional controllers designed for other control objectives to operate concurrently while eliminating the need to re-investigate or re-verify the legality of the composite controller with respect to the safety specification. We describe in detail an algorithm for controller synthesis and examine the viability of a synthesized controller as related to the possibility of Zenoness, where the system can undergo an unbounded number of transitions in a bounded length of time.

引用

页码：105 / 135

页数：31

共 38 条

[11] UNIVERSAL COMPUTATION AND OTHER CAPABILITIES OF HYBRID AND CONTINUOUS DYNAMICAL-SYSTEMS [J].

BRANICKY, MS .

THEORETICAL COMPUTER SCIENCE, 1995, 138 (01) :67-100

[12]

BROCKETT RW, 1993, PROG SYST C, V14, P29

[13] LIMITED LOOKAHEAD POLICIES IN SUPERVISORY CONTROL OF DISCRETE EVENT SYSTEMS [J].

CHUNG, SL ;

LAFORTUNE, S ;

LIN, F .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1992, 37 (12) :1921-1935

[14]

GROSSMAN R, 1993, LECT NOTES COMPUTER, V736

[15]

HENZINGER T, 1997, LECT NOTES COMPUTER

[16]

Henzinger Thomas A, 1995, P 27 ANN ACM S THEOR

[17]

Heymann M., 1994, Discrete Event Dynamic Systems: Theory & Applications, V4, P221, DOI 10.1007/BF01438708

[18]

Heymann M., 1990, IEEE Control Systems Magazine, V10, P103, DOI 10.1109/37.56284

[19]

Heymann M, 1997, LECT NOTES COMPUT SC, V1201, P376, DOI 10.1007/BFb0014739

[20]

HEYMANN M, 1997, LECT NOTES COMPUTER, V1273, P134

← 1 2 3 4 →