A formalism for decentralized control of discrete event systems

被引：0

作者：

Hiraishi, K

机构：

来源：

SICE 2002: PROCEEDINGS OF THE 41ST SICE ANNUAL CONFERENCE, VOLS 1-5 | 2002年

关键词：

discrete event systems; supervisory control; decentralized control; multi-agent systems;

D O I：

暂无

中图分类号：

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

学科分类号：

0812 ;

摘要：

We propose a formalism for decentralized control of discrete event systems with communications. The formalism is based on PN2, a class of agent-oriented Petri. nets proposed by the author. The main difference between PAP and Petri nets is that each token, representing an agent, is also a Petri net The decentralized control system to be modeled has the following featurs: (i) The system is asynchronous and has no global clock. (ii) Some events may occur concurrently. (iii) The system is controlled by several control agents, each of which perceives only a subset of occurring events, and can control only a subset of events. (iv) Each control agent can communicate with other agents. By communications, each agent can know occurrences of events that are not observable for it, and can ask other agents to disable events that are not controllable for it. Using the formalism, we define a problem concerning control synthesis.

引用

页码：272 / 277

页数：6