Aspectos de síntese de supervisores para sistemas a eventos discretos e sistemas híbridos /
Autor(a) principal: | |
---|---|
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 |