This repository contains planning models for a modular production system called MPS 500.
The models are implemented in both PDDL (Planning Domain Definition Language) and SMT (Satisfiability Modulo Theories) to support comparative studies of modeling complexity.
The figure below illustrates the layout of the MPS 500 production system.
It consists of modular stations for storing, processing, assembling, inspecting, and shipping components.
The dashed arrows in the center represent additional conveyor segments used in the extended configuration, enabling more flexible routing between stations.
The files are organized by planning formalism and configuration:
| File | Description |
|---|---|
D_MPS500_classical.pddl |
Domain file for classical PDDL planning |
D_MPS500_temporal.pddl |
Domain file for temporal PDDL planning |
P_MPS500_basic.pddl |
Problem file for the basic system layout |
P_MPS500_extended.pddl |
Problem file for the extended layout |
(SMT encodings generated automatically from PDDL using SMTPlan)
| File | Description |
|---|---|
MPS500_classical_basic.smt2 |
SMT model for classical basic config |
MPS500_classical_extended.smt2 |
SMT model for classical extended config |
MPS500_temporal_basic.smt2 |
SMT model for temporal basic config |
MPS500_temporal_extended.smt2 |
SMT model for temporal extended config |
This repository is released under the MIT License.