paper-with-me

홈 › Papers

An Anytime, Scalable and Complete Algorithm for Embedding a Manufacturing Procedure in a Smart Factory

2025-10-02 · Christopher Leet, Aidan Sciortino, Sven Koenig arxiv

Modern automated factories increasingly run manufacturing procedures using a matrix of programmable machines, such as 3D printers, interconnected by a programmable transport system, such as a fleet of tabletop robots. To embed a manufacturing procedure into a smart factory, an operator must: (a) assign each of its processes to a machine and (b) specify how agents should transport parts between machines. The problem of embedding a manufacturing process into a smart factory is termed the Smart Factory Embedding (SFE) problem. State-of-the-art SFE solvers can only scale to factories containing a couple dozen machines. Modern smart factories, however, may contain hundreds of machines. We fill this hole by introducing the first highly scalable solution to the SFE, TS-ACES, the Traffic System based Anytime Cyclic Embedding Solver. We show that TS-ACES is complete and can scale to SFE instances based on real industrial scenarios with more than a hundred machines.

📄 PDF Abstract BibTeX arXiv:2510.01770

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Anytime Hierarchical Clustering

2014-04-13 · Omur Arslan, Daniel E. Koditschek

We propose a new anytime hierarchical clustering method that iteratively transforms an arbitrary initial hierarchy on the configuration of measurements along a sequence of trees we prove for a fixed data set must termina…

Anomaly DetectionClustering

A Generic Complete Anytime Beam Search for Optimal Decision Tree

2025-08-08 · Harold Silvère Kiossou, Siegfried Nijssen, Pierre Schaus arxiv

Finding an optimal decision tree that minimizes classification error is known to be NP-hard. While exact algorithms based on MILP, CP, SAT, or dynamic programming guarantee optimality, they often suffer from poor anytime…

Multi-Goal Multi-Agent Pickup and Delivery

2022-08-02 · Qinghong Xu, Jiaoyang Li, Sven Koenig, Hang Ma

In this work, we consider the Multi-Agent Pickup-and-Delivery (MAPD) problem, where agents constantly engage with new tasks and need to plan collision-free paths to execute them. To execute a task, an agent needs to visi…

Multi-Agent Path Finding

On Population-Based Algorithms for Distributed Constraint Optimization Problems

2020-09-02 · Saaduddin Mahmud, Md. Mosaddek Khan, Nicholas R. Jennings

Distributed Constraint Optimization Problems (DCOPs) are a widely studied class of optimization problems in which interaction between a set of cooperative agents are modeled as a set of constraints. DCOPs are NP-hard and…

Anytime Diagnosis for Reconfiguration

2021-02-19 · Alexander Felfernig, Rouven Walter, Jose A. Galindo, David Benavides 외

Many domains require scalable algorithms that help to determine diagnoses efficiently and often within predefined time limits. Anytime diagnosis is able to determine solutions in such a way and thus is especially useful …

DiagnosticManagementScheduling