dc.creator.ID |
COSTA, E. M. M. |
pt_BR |
dc.creator.Lattes |
http://lattes.cnpq.br/4564540584894585 |
pt_BR |
dc.contributor.advisor1 |
LIMA, Antonio Marcus Nogueira |
|
dc.contributor.advisor1ID |
LIMA, A. M. N. |
pt_BR |
dc.contributor.advisor1Lattes |
http://lattes.cnpq.br/2237395961717699 |
pt_BR |
dc.contributor.referee1 |
CURY, José Eduardo Ribeiro. |
|
dc.contributor.referee2 |
MENDES, Rafael Santos. |
|
dc.contributor.referee3 |
PERKUSICH, Angelo. |
|
dc.contributor.referee4 |
ASSIS, Francisco Marcos de. |
|
dc.description.resumo |
Esse trabalho apresenta uma formalização alternativa para a síntese de supervisores de sistemas
a eventos discretos utilizando a álgebra de dióides. Tanto o sistema como a especificação
de comportamento são representados por matrizes de incidência. A síntese do supervisor e
realizada através de operações algébricas da álgebra de dióides. Os resultados encontrados
com esta formalização são semelhantes aos resultados obtidos com o algoritmo clássico da
suprema sublinguagem controlável. A complexidade computacional do algoritmo proposto e
igual a complexidade do algoritmo clássico.
A formalização apresentada permite estender a formulação do problema de controle supervisório
para incluir uma representação temporal, e proceder a síntese de supervisores de
sistemas a eventos discretos temporizados. Essa extensao utiliza o automato temporizado,
denominado automato (max,+), para representar sistemas a eventos discretos. De forma
semelhante ao caso nao-temporizado, tanto o sistema como a especificação de comportamento
são representados por matrizes de incidência definidas na álgebra (max,+). A classe de
sistemas a eventos discretos que pode ser tratada com o formalismo apresentado e restrita
ao caso em que o tempo de vida de um evento e especificado em termos de numero real que e
interpretado como o tempo mínimo para a habilitação do evento. Dessa forma, a abordagem
proposta determina uma formulação unificada para o tratamento desses sistemas. |
pt_BR |
dc.publisher.country |
Brasil |
pt_BR |
dc.publisher.department |
Centro de Engenharia Elétrica e Informática - CEEI |
pt_BR |
dc.publisher.program |
PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA |
pt_BR |
dc.publisher.initials |
UFCG |
pt_BR |
dc.title |
Síntese de supervisores de sistemas a eventos discretos temporizados e não temporizados. |
pt_BR |
dc.date.issued |
2001-11-23 |
|
dc.description.abstract |
This thesis presents an alternative formulation for discrete event systems supervisor synthesis
using dioid algebra. Both system model and behavior specification are interpreted as
incidence matrix. The supervisor synthesis is realized through algebraic operations of the
dioid algebra. The result found with this formalization are similar to the obtained result
with supremal controllable sublanguage classical algorithm. The computational complexity
of the proposed algorithm is equal to the classical algorithm complexity.
The presented formalization allows extend the problem formulation to include a temporal
representation and proceed to the timed discrete event systems supervisor synthesis. This
extension utilizes the timed automaton, called (max,+)-automaton, to represent discrete
event systems. In analogous way to the untimed case, both system model and behavior
specification are represented by incidence matrices defined in the (max,+)-algebra. The class
of discrete event systems that can be treaty with the presented formalism is restricted to the
case which the event lifetime is specified in accordance to real number that is interpreted
as a minimum time to event enabling. I n this way, the proposed approaching determines a
unified formulation for the dealing of these systems. |
pt_BR |
dc.identifier.uri |
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/10553 |
|
dc.date.accessioned |
2019-12-30T14:17:44Z |
|
dc.date.available |
2019-12-30 |
|
dc.date.available |
2019-12-30T14:17:44Z |
|
dc.type |
Tese |
pt_BR |
dc.rights |
Acesso Aberto |
pt_BR |
dc.creator |
COSTA, Eduard Montgomery Meira. |
|
dc.publisher |
Universidade Federal de Campina Grande |
pt_BR |
dc.language |
por |
pt_BR |
dc.title.alternative |
Synthesis of system supervisors to discrete timed and non-timed events. |
pt_BR |
dc.identifier.citation |
COSTA, Eduard Montgomery Meira. Síntese de supervisores de sistemas a eventos discretos temporizados e não temporizados. 2001. 173f. (Tese de Doutorado em Engenharia Elétrica), Curso de Pós-Graduação em Engenharia Elétrica, Centro de Engenharia Elétrica e Informática, Universidade Federal da Paraíba – Campus II - Campina Grande - PB - Brasil, 2001. |
pt_BR |