Use este identificador para citar ou linkar para este item:
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 |
| Resumo: | 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. |
| Assunto: | Teoria do controle Sistemas de tempo discreto |
| Idioma: | eng |
| País: | Brasil |
| Editor: | Universidade Federal de Minas Gerais |
| Sigla da Instituição: | UFMG |
| Departamento: | ENG - DEPARTAMENTO DE ENGENHARIA ELETRÔNICA |
| Tipo de Acesso: | Acesso Restrito |
| Identificador DOI: | https://doi.org/10.1016/j.ifacol.2018.06.306 |
| URI: | http://hdl.handle.net/1843/81447 |
| Data do 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 nas coleções: | Artigo de Evento |
Arquivos associados a este item:
Não existem arquivos associados a este item.
Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.