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 “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}