Abstraction of the supervisory control solution to deal with planning problems in manufacturing systems

Página do item simplificado
dc.creatorPatricia N. Pena
dc.creatorJuliana N. Vilela
dc.creatorMichel Rodrigo das C. Alves
dc.creatorGustavo C. Rafael
dc.date.accessioned2025-06-23T14:42:07Z
dc.date.accessioned2025-09-08T23:29:56Z
dc.date.available2025-06-23T14:42:07Z
dc.date.issued2022
dc.identifier.doi10.1109/tac.2021.3053228
dc.identifier.issn15582523
dc.identifier.urihttps://hdl.handle.net/1843/83050
dc.languageeng
dc.publisherUniversidade Federal de Minas Gerais
dc.relation.ispartofIEEE Transactions on Automatic Control
dc.rightsAcesso Restrito
dc.subjectTeoria do controle
dc.subject.otherDiscrete-event system
dc.subject.otherManufacturing
dc.subject.otherOptimization
dc.subject.otherSupervisory control
dc.subject.otherManufacturing Systems , Planning Problem , Supervisory Control , Search Space , Curse Of Dimensionality , Natural Projection , Closed-loop Behavior , Optimization Problem , Conceptual Model , Sequence Of Events , Batch Size , Theoretical Results , Computer Program , Fitness Function , Flexible System , Automata , State Machine , Heuristic Method , Problem Space , Flexible Manufacturing Systems , Uncontrollable Events
dc.subject.otherAutomata , Planning , Optimized production technology , Optimization , Supervisory control , Search problems , Observers
dc.titleAbstraction of the supervisory control solution to deal with planning problems in manufacturing systems
dc.typeArtigo de periódico
local.citation.epage350
local.citation.issue1
local.citation.spage344
local.citation.volume67
local.description.resumoIn industry, the performance has to be optimized to allow its competitiveness. The goal then is to use the resources at their maximal capacity, reduce the production time, and be flexible to adapt to the customers requests. The closed-loop behavior of a system under the supervisory control theory (SCT) guarantees nonblockingness and safety requirements and, thus, it can be used as the search universe for a planning problem. SCT suffers with the “curse of dimensionality” when systems become bigger and more complex. This article presents a set of sufficient conditions that allow to work with abstractions of the closed-loop behavior (supremal controllable sublanguage), instead of the closed-loop behavior itself, as the search universe to solve a planning problem. Such abstraction is the natural projection of the supervisor into the set of controllable events satisfying the observer property. This process leads to a reduction of the search space.
local.publisher.countryBrasil
local.publisher.departmentENG - DEPARTAMENTO DE ENGENHARIA ELETRÔNICA
local.publisher.initialsUFMG
local.url.externahttps://ieeexplore.ieee.org/document/9329152

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 Periódico

Logo UFMG