| 1. |
- Brazier, Frances, et al.
(författare)
-
Compositional Design and Verification of a Multi-Agent System for One-to-Many Negotiation
- 1998
-
Konferensbidrag (refereegranskat)abstract
- A compositional verification method for multi-agent systems is presented and applied to a multi-agent system for one-to-many negotiation in the domain of load balancing of electricity use. Advantages of the method are that the complexity of the verification process is managed by compositionality, and that part of the proofs can be reused in relation to reuse of components.
|
|
| 2. |
- Brazier, Frances, et al.
(författare)
-
Compositional verification of a multi-agent system for one-to-many negotiation
- 2004
-
Ingår i: Applied intelligence (Boston). - DORDRECHT : KLUWER ACADEMIC PUBL. - 0924-669X .- 1573-7497. ; 20:2, s. 95-117
-
Tidskriftsartikel (refereegranskat)abstract
- 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.
|
|
| 3. |
- Huang, Yilin, et al.
(författare)
-
YouPower : An open source platform for community-oriented smart grid user engagement
- 2017
-
Ingår i: Proceedings of the 2017 IEEE 14th International Conference on Networking, Sensing and Control, ICNSC 2017. - : IEEE conference proceedings. - 9781509044290 ; , s. 1-6
-
Konferensbidrag (refereegranskat)abstract
- This paper presents YouPower, an open source platform designed to make people more aware of their energy consumption and encourage sustainable consumption with local communities. The platform is designed iteratively in collaboration with users in the Swedish and Italian test sites of the project to improve the design and increase active user participation. The community-oriented design is composed of parts that link energy data to energy actions, provide comparisons at different levels, generate dynamic time-of-use signals, offer energy conservation suggestions, and support social sharing. The goal is to bridge people's attitude-behavior gap in energy consumption and to facilitate the behavior change process towards sustainable energy consumption that is implementable in people's daily life. Preliminary results show that community-oriented energy intervention has the potential to improve user engagement significantly.
|
|
