| Autor(es): |
Chaves, Daniel P. B.
;
Palazzo, Reginaldo, Jr.
;
Baralt, J
;
Callaos, N
;
Chu, HW
;
Lesso, W
;
Savoie, MJ
;
Siddique, M
;
Zinn, CD
Número total de Autores: 9
|
| Tipo de documento: | Artigo Científico |
| Fonte: | IMCIC'11: THE 2ND INTERNATIONAL MULTI-CONFERENCE ON COMPLEXITY, INFORMATICS AND CYBERNETICS, VOL I; v. N/A, p. 6-pg., 2011-01-01. |
| Resumo | |
In this paper we represent the evolution of a control system through a symbolic model that is obtained by a bisimulation relation, and show the relation between consistent symbolic representation and bisimulation relation. We characterize the system behavior from both a local and a global perspective, that is, when getting the control sequences from a specific state of the system and considering the set of possible control sequences that can be generated from some of the states of the system, respectively. Our approach is based on the concepts of constraint and irreducible offenders sets presented here, and demonstrates how graph presentations of the admissible control sequences can be derived from these concepts. (AU) | |
| Processo FAPESP: | 07/56052-8 - Teoria da informação e códigos |
| Beneficiário: | Sueli Irene Rodrigues Costa |
| Modalidade de apoio: | Auxílio à Pesquisa - Temático |
| Processo FAPESP: | 06/60976-8 - Analise e construcao de codigos geodesicos associados a sistemas dinamicos discretos via dinamica simbolica e teoria da informacao. |
| Beneficiário: | Daniel Pedro Bezerra Chaves |
| Modalidade de apoio: | Bolsas no Brasil - Doutorado |