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;
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.
2017
Istituto di Sistemi e Tecnologie Industriali Intelligenti per il Manifatturiero Avanzato - STIIMA (ex ITIA)
Answer set programming
Automatic reasoning
Reconfigurable Transportation system
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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: https://hdl.handle.net/20.500.14243/356262
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 2
social impact