Planning on discrete events systems: a logical approach
| dc.creator | Lucas Vinícius Ribeiro Alves | |
| dc.creator | Hugo Jerzy Bravo Cipriano | |
| dc.creator | Patricia Nascimento Pena | |
| dc.creator | Ricardo Hiroshi Caldeira Takahashi | |
| dc.date.accessioned | 2024-09-20T15:02:01Z | |
| dc.date.accessioned | 2025-09-08T23:21:27Z | |
| dc.date.available | 2024-09-20T15:02:01Z | |
| dc.date.issued | 2016 | |
| dc.identifier.doi | 10.1109/COASE.2016.7743520 | |
| dc.identifier.issn | 2161-8089 (Online) | |
| dc.identifier.uri | https://hdl.handle.net/1843/76741 | |
| dc.language | eng | |
| dc.publisher | Universidade Federal de Minas Gerais | |
| dc.relation.ispartof | IEEE International Conference on Automation Science and Engineering | |
| dc.rights | Acesso Aberto | |
| dc.subject | Controle automático | |
| dc.subject | Automação industrial | |
| dc.subject | Grafos aleatórios | |
| dc.title | Planning on discrete events systems: a logical approach | |
| dc.type | Artigo de evento | |
| local.citation.epage | 1060 | |
| local.citation.issue | 2016 IEEE International Conference on Automation Science and Engineering (case) | |
| local.citation.spage | 1055 | |
| local.description.resumo | This paper deals with the planning problem in manufacturing systems, by proposing a method to find a sequence of events in a supervisor that maximizes the paral lelism among equipment. The supervisor is obtained using the Supervisory Control Theory and it implements the supremal controllable sublanguage contained in the desired behavior of the system. The main objective is to find, among all executions allowed by the supervisor, the one that accumulates more equipment working at the same time during the whole production process. To do so, a function that defines, for each state of the automaton, the information of how many tasks are active is established. Then, the problem can be transformed into a longest path problem in an acyclic graph. | |
| local.publisher.country | Brasil | |
| local.publisher.department | ENG - DEPARTAMENTO DE ENGENHARIA ELETRÔNICA | |
| local.publisher.initials | UFMG | |
| local.url.externa | https://ieeexplore.ieee.org/document/7743520 |
Arquivos
Licença do pacote
1 - 1 de 1