Published in Volume XIII, 2003, pages 79-90

Authors: Cristian MASALAGIU, Vasile ALAIBA


The temporal logic of actions has been used to specify a concurrent negotiation
protocol within a Multi-agent System Controlling a Group of Elevators. This control
system, besides real time useful response, must fulfill stability, massive
concurrency and correctness requirements. Scheduling a group of elevators
is a very difficult real time decision problem. A highly evolved inter-agent
negotiation protocol is demanded. We introduce a {em”contract net” like protocol},
enabling an unlimited number of concurrent bidding processes to occur at any time.
The decentralized architecture and the uniform distribution of the decision makers
allow good behavior even when the most severe breakdown occurs.


  title={Concurrent Negotiation Protocol for an Elevator Group Controller.},
  author={Cristian MASALAGIU and Vasile ALAIBA},
  journal={Scientific Annals of Computer Science},
  organization={``A.I. Cuza'' University, Iasi, Romania},
  publisher={``A.I. Cuza'' University Press}