Aspectos de síntese de supervisores para sistemas a eventos discretos e sistemas híbridos /

Detalhes bibliográficos
Autor(a) principal: Eyzell Gonzalez, Jose Miguel
Data de Publicação: 2000
Tipo de documento: Tese
Idioma: por
Título da fonte: Repositório Institucional da UFSC
Texto Completo: http://repositorio.ufsc.br/xmlui/handle/123456789/78776
Resumo: Tese (Doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico.
id UFSC_8769bf4ce15277648f1611dbf38d9a7e
oai_identifier_str oai:repositorio.ufsc.br:123456789/78776
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling Aspectos de síntese de supervisores para sistemas a eventos discretos e sistemas híbridos /TesesSimetria (Arte)Tese (Doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico.Neste documento investigam-se inicialmente métodos para explorar a simetria inerente a muitos sistemas práticos visando reduzir a complexidade computacional do Problema de Controle Supervisório (PCS). Noções da teoria de grupos são usadas para caracterizar simetria, sendo que esta propriedade numa linguagem (regular) permite sua representação por um autômato quociente (AQ) em geral de espaço de estados muito menor do que a sua representação original. Propõe-se um algoritmo definido sobre AQs para sintetizar soluções. Atenção especial é dada ao caso de sistemas com componentes similares. Uma segunda parte do documento investiga aplicações da teoria de controle supervisório sobre uma classe de Sistemas Híbridos (SHs) guiados por eventos. Propõe-se um modelo de SH constituído por uma planta, em geral de natureza híbrida, controlada por um supervisor discreto que observa eventos resultantes de cruzamentos de limites (associados às trajetórias contínuas da planta) para gerar comandos de controle. Sobre este modelo formula-se o PCS para SHs sendo que é em seguida transformado num PCS equivalente. Uma noção estendida de controlabilidade e um algoritmo de síntese são propostos para resolver o PCS através de uma abordagem de aproximações conservativas do comportamento lógico da planta. Resultados computacionais são derivados usando extensões propostas das ferramentas CheckMate e GRAIL.Florianópolis, SCCury, Jose Eduardo RUniversidade Federal de Santa CatarinaEyzell Gonzalez, Jose Miguel2012-10-17T19:05:27Z2012-10-17T19:05:27Z20002000info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisxi, 115f.| il.application/pdf152206http://repositorio.ufsc.br/xmlui/handle/123456789/78776porreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccess2014-09-25T17:14:51Zoai:repositorio.ufsc.br:123456789/78776Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestopendoar:23732014-09-25T17:14:51Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv Aspectos de síntese de supervisores para sistemas a eventos discretos e sistemas híbridos /
title Aspectos de síntese de supervisores para sistemas a eventos discretos e sistemas híbridos /
spellingShingle Aspectos de síntese de supervisores para sistemas a eventos discretos e sistemas híbridos /
Eyzell Gonzalez, Jose Miguel
Teses
Simetria (Arte)
title_short Aspectos de síntese de supervisores para sistemas a eventos discretos e sistemas híbridos /
title_full Aspectos de síntese de supervisores para sistemas a eventos discretos e sistemas híbridos /
title_fullStr Aspectos de síntese de supervisores para sistemas a eventos discretos e sistemas híbridos /
title_full_unstemmed Aspectos de síntese de supervisores para sistemas a eventos discretos e sistemas híbridos /
title_sort Aspectos de síntese de supervisores para sistemas a eventos discretos e sistemas híbridos /
author Eyzell Gonzalez, Jose Miguel
author_facet Eyzell Gonzalez, Jose Miguel
author_role author
dc.contributor.none.fl_str_mv Cury, Jose Eduardo R
Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Eyzell Gonzalez, Jose Miguel
dc.subject.por.fl_str_mv Teses
Simetria (Arte)
topic Teses
Simetria (Arte)
description Tese (Doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico.
publishDate 2000
dc.date.none.fl_str_mv 2000
2000
2012-10-17T19:05:27Z
2012-10-17T19:05:27Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv 152206
http://repositorio.ufsc.br/xmlui/handle/123456789/78776
identifier_str_mv 152206
url http://repositorio.ufsc.br/xmlui/handle/123456789/78776
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv xi, 115f.| il.
application/pdf
dc.publisher.none.fl_str_mv Florianópolis, SC
publisher.none.fl_str_mv Florianópolis, SC
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1808652141683802112