Paper Info
Title
Designing petri net supervisors for multi-agent systems from LTL specifications
Abstract
In this paper, we use LTL to specify acceptable/desirable behaviours for a system modelled as a Petri net, and create a Petri net realization of a supervisor that is guaranteed to enforce them, by appropriately restricting the uncontrolled behaviour of the system. We illustrate the method with an application to the specification of coordination requirements between the members of a team of simulated soccer robots.
Year
DOI
Venue
2011
10.5555/2034396.2034512
AAMAS
Keywords
Field
DocType
coordination requirement,multi-agent system,ltl specification,uncontrolled behaviour,simulated soccer robot,desirable behaviour,linear temporal logic,petri nets,supervisory control
Supervisor,Uncontrolled behaviour,Petri net,Supervisory control,Computer science,Linear temporal logic,Multi-agent system,Process architecture,Robot,Distributed computing
Conference
ISBN
Citations 
PageRank 
0-9826571-7-X
0
0.34
References 
Authors
6
2
Name
Order
Citations
PageRank
Bruno Lacerda18512.96
Pedro U. Lima251669.88