Factorization-based approach for computing a minimum makespan controllable sublanguage
| dc.creator | Hugo J. Bravo | |
| dc.creator | Patrícia Nascimento Pena | |
| dc.creator | Lucas Vinícius Ribeiro Alves | |
| dc.creator | Ricardo Hiroshi Caldeira Takahashi | |
| dc.date.accessioned | 2025-04-09T14:02:52Z | |
| dc.date.accessioned | 2025-09-08T22:58:38Z | |
| dc.date.available | 2025-04-09T14:02:52Z | |
| dc.date.issued | 2018 | |
| dc.identifier.doi | https://doi.org/10.1016/j.ifacol.2018.06.273 | |
| dc.identifier.uri | https://hdl.handle.net/1843/81401 | |
| dc.language | eng | |
| dc.publisher | Universidade Federal de Minas Gerais | |
| dc.relation.ispartof | 14th Workshop on Discrete Event Systems (WODES 2018) | |
| dc.rights | Acesso Restrito | |
| dc.subject | Teoria do controle | |
| dc.subject | Métodos de simulação | |
| dc.subject.other | Cylic Discrete Event Systems, Supervisory Control Theory, Minimum Makespan Controllable Sublanguage | |
| dc.subject.other | a dynamic system where variables are characterized by sequences of discrete events that repeat in a cycle. Discrete event systems (DES) are used to model and analyze engineering systems like manufacturing, transportation, and communication networks | |
| dc.title | Factorization-based approach for computing a minimum makespan controllable sublanguage | |
| dc.type | Artigo de evento | |
| local.citation.epage | 35 | |
| local.citation.spage | 30 | |
| local.description.resumo | This paper proposes a decomposition-based approach for computing a controllable sublanguage with minimum makespan. It is applicable to a class of cyclic discrete event system modeled by cyclic timed automata. We introduce the notion of the symmetrically reachable idle state and show that its existence in an automaton allows to decompose a language into a concatenation of smaller languages. We also propose a new technique to compute the makespan of finite length strings. Results are illustrated with a case study of a small factory. | |
| local.publisher.country | Brasil | |
| local.publisher.department | ENG - DEPARTAMENTO DE ENGENHARIA ELETRÔNICA | |
| local.publisher.initials | UFMG | |
| local.url.externa | https://www.sciencedirect.com/science/article/pii/S2405896318305949 |
Arquivos
Licença do pacote
1 - 1 de 1