arrow
Return

Task scheduling using Markov decision process over supervisory control theory

delete2026-04-28
delete0
delete
OA
AI
S
Sarsur, Daniel *
A
Alves, Lucas
P
Pena, Patricia
DOI:10.1007/s10626-026-00442-zdelete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
This work integrates Markov Decision Process (MDP) framework with Supervisory Control Theory (SCT) to address production planning challenges, especially minimizing makespan. By leveraging MDP's sequential decision-making framework and SCT's constraint based framework, the approach ensures online decision-making in dynamic industrial environments. The feasibility of this integration is demonstrated through the formalization of a mapping between the two approaches. The results demonstrate that the proposed approach efficiently solves the tested problems, achieving makespan values close to the reference solution but with significantly lower processing times in most cases.
Keywords:
Discrete event systems
Supervisory control theory
Markov decision process
Planning
Optimization

Journal

D
Discrete Event Dynamic Systems-Theory and Applications
IF:
1.6
Papers:
24
Citations:
611

Organization

U
universidade federal de minas gerais
Scholars:
4.2K
Papers: 1.4K
Citations: 0