Title :
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
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;
Conference_Titel :
Circuits and Systems, 2005. ISCAS 2005. IEEE International Symposium on
Print_ISBN :
0-7803-8834-8
DOI :
10.1109/ISCAS.2005.1464698
