Toward Optimal Multi-Agent Robot and Lift Schedules via Boolean Satisfiability

Arjo Chakravarty (), Michael X. Grey, M. A. Viraj J. Muthugala and Rajesh Mohan Elara
Additional contact information
Arjo Chakravarty: Intrinsic Innovation Singapore Pte Ltd., 3 Fusionopolis Wy, No. 13-21 Symbiosis, Singapore 138633, Singapore
Michael X. Grey: Intrinsic Innovation Singapore Pte Ltd., 3 Fusionopolis Wy, No. 13-21 Symbiosis, Singapore 138633, Singapore
M. A. Viraj J. Muthugala: Engineering Product Development Pillar, Singapore University of Technology and Design, 8 Somapah Road, Singapore 487372, Singapore
Rajesh Mohan Elara: Engineering Product Development Pillar, Singapore University of Technology and Design, 8 Somapah Road, Singapore 487372, Singapore

Mathematics, 2025, vol. 13, issue 18, 1-17

Abstract: As a multirobot system grows in its number of agents, contention over shared resources poses a more significant risk of deadlock and operational deficiencies. When integrating with buildings, one of the most common pieces of equipment that robots have to use is the lift (elevator). This work focuses on exploring different Anytime Constraint Programming techniques for finding time-optimal schedules across multiple robots and lifts. The choice of which lift each robot uses to complete its task has a noticeable impact on the makespan of the system. This work explores a Time-Ordered-based approach and a Time-Expansion Graph-based approach. The Time-Expansion Graph-based approach is found to outperform the Time-Ordered-based approach. This is because the Time-Expansion Graph method has immediate access to more comprehensive information. Additionally, this paper shows that, in some cases, applying such an optimization can considerably reduce the makespan.

Keywords: multirobot systems; building orchestration; logistics; boolean satisfiability (search for similar items in EconPapers)
JEL-codes: C (search for similar items in EconPapers)
Date: 2025
References: Add references at CitEc
Citations:

Downloads: (external link)
https://www.mdpi.com/2227-7390/13/18/3031/pdf (application/pdf)
https://www.mdpi.com/2227-7390/13/18/3031/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jmathe:v:13:y:2025:i:18:p:3031-:d:1753442

Access Statistics for this article

Mathematics is currently edited by Ms. Emma He

More articles in Mathematics from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().