A modeling method of a rule based control system with hierarchical Petri net

被引：0

作者：

Sakamoto, M ^{[1
]}

Miyamoto, T ^{[1
]}

Kumagai, S ^{[1
]}

机构：

[1] Osaka Univ, Dept Elect Engn, Suita, Osaka 5650871, Japan

来源：

2005 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), VOLS 1-6, CONFERENCE PROCEEDINGS | 2005年

关键词：

D O I：

10.1109/ISCAS.2005.1464698

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

Usually, control of a large-scale real time system is performed by a combination of simple control rules (rule-base). With growing control rule-bases, new problems such as: consistency among rules, and behavior of a physical system under the control, arise. For this reason, checking techniques for such problems are required. In this paper, we assume that a multi agent net, which is a hierarchical extended Petri net[1], model for physical system is given, and we propose a modeling technique for an integrated system model of control rule-bases and physical systems for verification.

引用

页码：756 / 759

页数：4

共 7 条

[1]

BORNOT S, 2000, VERIFICATION SEQUENT

[2]

Jensen K, 1992, Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, V1, DOI [DOI 10.1007/978-3-662-03241-1, 10.1007/978-3-662-06289-0, DOI 10.1007/978-3-662-06289-0]

[3]

MCMILLAN KL, 1993, SYMBOLIC MODEL CHECK

[4]

MIYAMOTO T, 1999, 20 INT C APPL THEOR, P83

[5] PETRI NETS - PROPERTIES, ANALYSIS AND APPLICATIONS [J].

MURATA, T .

PROCEEDINGS OF THE IEEE, 1989, 77 (04) :541-580

[6] Formal verification of sequence controllers [J].

Park, T ;

Barton, PI .

COMPUTERS & CHEMICAL ENGINEERING, 2000, 23 (11-12) :1783-1793

[7]

VALK R, 2000, FBIHHB226

← 1 →