Presentations of Constrained Control Sequences for Symbolic Models of Systems

被引：0

作者：

Chaves, Daniel P. B. ^{[1
]}

Palazzo, Reginaldo, Jr. ^{[1
]}

机构：

[1] Univ Estadual Campinas, Sch Elect & Comp Engn, BR-13083852 Sao Paulo, Brazil

来源：

IMCIC'11: THE 2ND INTERNATIONAL MULTI-CONFERENCE ON COMPLEXITY, INFORMATICS AND CYBERNETICS, VOL I | 2011年

基金：

巴西圣保罗研究基金会;

关键词：

Symbolic model; abstraction; bisimulation; symbolic dynamics; directed graph;

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

In this paper we represent the evolution of a control system through a symbolic model that is obtained by a bisimulation relation, and show the relation between consistent symbolic representation and bisimulation relation. We characterize the system behavior from both a local and a global perspective, that is, when getting the control sequences from a specific state of the system and considering the set of possible control sequences that can be generated from some of the states of the system, respectively. Our approach is based on the concepts of constraint and irreducible offenders sets presented here, and demonstrates how graph presentations of the admissible control sequences can be derived from these concepts.

引用

页码：72 / 77

页数：6

共 11 条

[1]

[Anonymous], 1995, COMMUNICATION CONCUR

[2]

[Anonymous], 1998, Categories for the working mathematician

[3] Hierarchical hybrid control systems: A lattice theoretic formulation [J].

Caines, PE ;

Wei, YJ .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1998, 43 (04) :501-508

[4]

Chaves DPB, 2006, PROCEEDINGS OF THE IEEE INTERNATIONAL TELECOMMUNICATIONS SYMPOSIUM, VOLS 1 AND 2, P694

[5] A THEORY OF ABSTRACTION [J].

GIUNCHIGLIA, F ;

WALSH, T .

ARTIFICIAL INTELLIGENCE, 1992, 57 (2-3) :323-389

[6] ON CONSISTENT SYMBOLIC REPRESENTATIONS OF GENERAL DYNAMIC-SYSTEMS [J].

KOKAR, MM .

IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1995, 25 (08) :1231-1242

[7]

Lind D, 1995, An introduction to symbolic dynamics and coding

[8]

PARK D, 1981, LECT NOTES COMPUTER, V104

[9]

Pola G., 2007, 46 IEEE C DEC CONTR, P65

[10] Discrete approximation and supervisory control of continuous systems [J].

Raisch, J ;

O'Young, SD .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1998, 43 (04) :569-573

← 1 2 →