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

Author

Sakamoto, Masaki ; Miyamoto, Toshiyuki ; Kumagai, Sadatoshi

Author_Institution

Dept. of Electr. Eng., Osaka Univ., Japan

fYear

2005

fDate

23-26 May 2005

Firstpage

756

Abstract

Usually, control of a large-scale real time system is performed by a combination of simple control rules (rulebase). 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 (T. Murata, Proc. IEEE, vol. 77, no. 4, pp. 541-580, 1989), 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.

Keywords

Petri nets; knowledge based systems; model reference adaptive control systems; real-time systems; checking techniques; control rule-bases; hierarchical Petri net; integrated system model; large-scale real time system control; model verification; modeling method; modeling technique; multi agent net model; physical system behavior; physical systems; rule based control system; rules consistency; Control system synthesis; Control systems; Cranes; Discrete event systems; Large-scale systems; Real time systems; Telephony;

fLanguage

English

Publisher

ieee

Conference_Titel

Circuits and Systems, 2005. ISCAS 2005. IEEE International Symposium on

Print_ISBN

0-7803-8834-8

Type

conf

DOI

10.1109/ISCAS.2005.1464698

Filename

1464698