Decentralized Control of Multi-agent Systems Based on Modal Logics and Extended Higher Order Petri Nets

Authors:
Osamu Katai;Kentaro Toda;Hiroshi Kawakami
Affiliations:
-;-;-
Venue:
AMT '01 Proceedings of the 6th International Computer Science Conference on Active Media Technology
Year:
2001

Citing 2
Cited 0

Real-time search for learning autonomous agents

Real-time search for learning autonomous agents
Petri Net Theory and the Modeling of Systems

Petri Net Theory and the Modeling of Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We introduce the notions of decentralized system structure of multi-agent systems, their behavioral and structural correctness, and centralized and decentralized control for attaining correct behavior, and also that of decentralized controllability which are then examined based on modal logical analysis of system behavior and Petri net representation of system structures.