This paper addresses the modeling of modular and reconfigurable transportation systems, aiming at developing tools to support the planning and control. Answer Set Programming (ASP) is employed to formalize rules modeling the characteristic of a transportation system and describing its dynamics. Then, automatic reasoning can be exploited to find solutions in different use cases, including the generation of optimal or alternative paths, the generation and validation of control sequences. The proposed methodology is applied to a reconfigurable industrial transportation system consisting of multiple linear conveyor modules with actuators enabling longitudinal and transversal movements of pallets.

Answer set programming for modeling and reasoning on modular and reconfigurable transportation systems

Terkaj, Walter;Urgo, Marcello;Andolfatto, Daniela
2017

Abstract

This paper addresses the modeling of modular and reconfigurable transportation systems, aiming at developing tools to support the planning and control. Answer Set Programming (ASP) is employed to formalize rules modeling the characteristic of a transportation system and describing its dynamics. Then, automatic reasoning can be exploited to find solutions in different use cases, including the generation of optimal or alternative paths, the generation and validation of control sequences. The proposed methodology is applied to a reconfigurable industrial transportation system consisting of multiple linear conveyor modules with actuators enabling longitudinal and transversal movements of pallets.
Proceedings of the 2017 Federated Conference on Computer Science and Information Systems
9788394625375
Computer Science (miscellaneous); Information Systems
File in questo prodotto:
File Dimensione Formato  
Answer set programming for modeling and reasoning on modular and reconfigurable transportation systems.pdf

Accesso riservato

: Publisher’s version
Dimensione 261.96 kB
Formato Adobe PDF
261.96 kB Adobe PDF   Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11311/1049603
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 2
social impact