Optimal task scheduling in a flexible manufacturing system using model checking

Robi Malik; Patrícia Nascimento Pena

Use este identificador para citar o ir al link de este elemento: http://hdl.handle.net/1843/81447

Tipo:	Artigo de Evento
Título:	Optimal task scheduling in a flexible manufacturing system using model checking
Autor(es):	Robi Malik Patrícia Nascimento Pena
Resumen:	This 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.
Asunto:	Teoria do controle Sistemas de tempo discreto
Idioma:	eng
País:	Brasil
Editor:	Universidade Federal de Minas Gerais
Sigla da Institución:	UFMG
Departamento:	ENG - DEPARTAMENTO DE ENGENHARIA ELETRÔNICA
Tipo de acceso:	Acesso Restrito
Identificador DOI:	https://doi.org/10.1016/j.ifacol.2018.06.306
URI:	http://hdl.handle.net/1843/81447
Fecha del documento:	2018
metadata.dc.url.externa:	https://www.sciencedirect.com/science/article/pii/S2405896318306360
metadata.dc.relation.ispartof:	14th IFAC Workshop on Discrete Event Systems (WODES 2018)
Aparece en las colecciones:	Artigo de Evento

archivos asociados a este elemento:

no existem archivos asociados a este elemento.

Mostrar registro completo del elemento Visualizar estadísticas