Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Compositional verification of a multi-agent system for one-to-many negotiation
Vise andre og tillknytning
Ansvarlig organisasjon
2004 (engelsk)Inngår i: Applied intelligence (Boston), ISSN 0924-669X, E-ISSN 1573-7497, Vol. 20, nr 2, s. 95-117Artikkel i tidsskrift (Fagfellevurdert) Published
Abstract [en]

Verification of multi-agent systems hardly occurs in design practice. One of the difficulties is that required properties for a multi-agent system usually refer to multi-agent behaviour which has nontrivial dynamics. To constrain these multi-agent behavioural dynamics, often a form of organisational structure is used, for example, for negotiating agents, by following strict protocols. The claim is that these negotiation protocols entail a structured process that is manageable with respect to analysis, design and execution of such a multi-agent system. In this paper this is shown by a case study: verification of a multi-agent system for one-to-many negotiation in the domain of load balancing of electricity use. A compositional verification method for multi-agent systems is applied that allows to (1) logically relate dynamic properties of the multi-agent system as a whole to dynamic properties of agents, and (2) logically relate dynamic properties of agents to properties of their subcomponents. Given that properties of these subcomponents can be verified by more standard methods, these logical relationships provide proofs of the dynamic properties of the multi-agent system as a whole.

sted, utgiver, år, opplag, sider
DORDRECHT: KLUWER ACADEMIC PUBL , 2004. Vol. 20, nr 2, s. 95-117
Emneord [en]
compositional, verification, multi-agent system, negotiation
HSV kategori
Identifikatorer
URN: urn:nbn:se:bth-8199ISI: 000188422400001Lokal ID: oai:bth.se:forskinfo26898487E58F65ACC12575B00020D003OAI: oai:DiVA.org:bth-8199DiVA, id: diva2:835888
Tilgjengelig fra: 2012-09-18 Laget: 2009-05-08 Sist oppdatert: 2018-01-11bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Personposter BETA

Gustavsson, Rune

Søk i DiVA

Av forfatter/redaktør
Gustavsson, Rune
I samme tidsskrift
Applied intelligence (Boston)

Søk utenfor DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric

urn-nbn
Totalt: 79 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf