Optimal task scheduling in a flexible manufacturing system using model checking

Página do item simplificado
dc.creatorRobi Malik
dc.creatorPatrícia Nascimento Pena
dc.date.accessioned2025-04-10T14:33:47Z
dc.date.accessioned2025-09-09T01:10:26Z
dc.date.available2025-04-10T14:33:47Z
dc.date.issued2018
dc.identifier.doihttps://doi.org/10.1016/j.ifacol.2018.06.306
dc.identifier.urihttps://hdl.handle.net/1843/81447
dc.languageeng
dc.publisherUniversidade Federal de Minas Gerais
dc.relation.ispartof14th IFAC Workshop on Discrete Event Systems (WODES 2018)
dc.rightsAcesso Restrito
dc.subjectTeoria do controle
dc.subjectSistemas de tempo discreto
dc.subject.otherApplications, Performance evaluation, optimization, Supervisory control theory
dc.subject.otherExecuting production schedules in the face of uncertainties
dc.subject.otherModular supervisory control
dc.titleOptimal task scheduling in a flexible manufacturing system using model checking
dc.typeArtigo de evento
local.citation.epage246
local.citation.spage241
local.description.resumoThis paper demonstrates the use of model checking to solve the problem of optimal task scheduling in a flexible manufacturing system. The system is modelled as a discrete event system, for which the least restrictive safe behaviour is synthesised according to supervisory control theory. Then timing constraints are added to the model in the form of extended finite-state machines, and time-optimal schedules are computed using the discrete event systems and model checking tool Supremica. In the case study considered in this paper, which previously was only solved heuristically, the method successfully produces optimal schedules to manufacture up to 30 products of two different types. The method is furthermore used to find an optimal cycle, solving the scheduling problem of the case study for an arbitrary number of products in optimal or asymptotically close to optimal time.
local.publisher.countryBrasil
local.publisher.departmentENG - DEPARTAMENTO DE ENGENHARIA ELETRÔNICA
local.publisher.initialsUFMG
local.url.externahttps://www.sciencedirect.com/science/article/pii/S2405896318306360

Arquivos

Licença do pacote

Agora exibindo 1 - 1 de 1
Imagem de Miniatura
Nome:
License.txt
Tamanho:
1.99 KB
Formato:
Plain Text
Descrição:
Baixar

Coleções

Artigo de Evento

Logo UFMG