Abstract:Consider optimizing a periodic schedule for an automated production plant as a last step of a more comprehensive design process. In our scenario, each robot’s cyclic sequence of operations and trajectories between potential waiting points have already been fully specified. Further given are those precedences that fix sequence requirements on operations between different robots. It remains to determine the starting time for each operation or movement of each robot within a common cyclic time period so as to avoid collisions of robots that operate in the same space simultaneously. So the task is to find a conflict-resolving schedule that minimizes this common periodic cycle time while observing all precedence relations and collision avoidance constraints. The proposed cycle time minimization problem for robot coordination has, to the best of our knowledge, not been studied before. We develop an approach for solving it by employing binary search for determining the smallest feasible period time of an iso-periodic event scheduling problem (IPESP). This is a variant of the periodic event scheduling problem in which the objects that have to be scheduled need to obey exactly the same period time. The possibility to wait arbitrarily long at waiting points turns out to be essential to justify the use of binary search for identifying the minimum cycle time, thereby avoiding bilinear mixed integer formulations. Special properties of the given scenario admit bounds on the periodic tension variables of an integer programming formulation. Although the IPESP subproblems remain NP-complete in general, these bounds allow solving real-world instances sufficiently fast for the approach to be applicable in practice. Numerical experiments on real-world and randomly generated data are supplied to illustrate the potential and limitations of this approach. Summary of Contribution: When designing automated production plants, a crucial step is to identify the smallest possible per unit period time for the production processes. Based on periodic event scheduling ideas, we develop and analyze mathematical methods for this purpose. We show that the algorithmic implementation of our approach provides an answer to current real-world designs in reasonable time.

Finding Robust Periodic Timetables by Integrating Delay Management

An Efficient Fault-Tolerant Scheduling Algorithm for Periodic Real-Time Tasks in Heterogeneous Platforms

Periodic railway timetabling with event flexibility

An Efficient PTAS for Parallel Machine Scheduling with Capacity Constraints.

Periodic Event Scheduling for Automated Production Systems

Symmetry for Periodic Railway Timetables

Designing alternative railway timetables under infrastructure maintenance possessions

Scheduling Fmss Based On A Hybrid Petri Net Framework

Robustness Approaches for the Examination Timetabling Problem under Data Uncertainty

Robust Railway Network Design based on Strategic Timetables

On the Split Closure of the Periodic Timetabling Polytope

The complexity of the Timetable-Based Railway Network Design Problem

Near Optimal Task Graph Scheduling with Priced Timed Automata and Priced Timed Markov Decision Processes

Demand-driven Timetable Design for Metro Services

Solving the Periodic Timetabling Problem using a Genetic Algorithm

Robust and optimized urban rail timetabling using a marshaling plan and skip-stop operation

Empowering the Configuration-IP $-$ New PTAS Results for Scheduling with Setups Times

Mean Payoff Optimization for Systems of Periodic Service and Maintenance

A Demand-Driven Pattern-Based Timetabling Strategy for a Short-Turning Metro Line

Iterative Train Scheduling under Disruption with Maximum Satisfiability

Efficient Robust Scheduling of Integrated Electricity and Heat Systems: A Direct Constraint Tightening Approach