Logo PUC-Rio Logo Maxwell
ETDs @PUC-Rio
Estatística
Título: A METHOD AND A FRAMEWORK FOR EMPIRICAL PLANNING OF SELF-ORGANIZING SYSTEMS
Autor: BRUNO DE CASTRO BAHIA ALVARENGA SOARES
Colaborador(es): CARLOS JOSE PEREIRA DE LUCENA - Orientador
Catalogação: 19/MAR/2010 Língua(s): PORTUGUESE - BRAZIL
Tipo: TEXT Subtipo: THESIS
Notas: [pt] Todos os dados constantes dos documentos são de inteira responsabilidade de seus autores. Os dados utilizados nas descrições dos documentos estão em conformidade com os sistemas da administração da PUC-Rio.
[en] All data contained in the documents are the sole responsibility of the authors. The data used in the descriptions of the documents are in conformity with the systems of the administration of PUC-Rio.
Referência(s): [pt] https://www.maxwell.vrac.puc-rio.br/projetosEspeciais/ETDs/consultas/conteudo.php?strSecao=resultado&nrSeq=15403&idi=1
[en] https://www.maxwell.vrac.puc-rio.br/projetosEspeciais/ETDs/consultas/conteudo.php?strSecao=resultado&nrSeq=15403&idi=2
DOI: https://doi.org/10.17771/PUCRio.acad.15403
Resumo:
Software architects have been recently adopting self-organizing strategies to design dynamic and adaptive decentralized systems capable of executing without interference from the user, from the administrator or from other systems. This self-organization process usually results in unpredicted emergent behaviors resulting from the interaction between the agents. Emergent behaviors can be beneficial or harmful to the system execution and organization. Because of this, multiagent systems will only be adopted into domains that involve risk - like industries, hospitals, military equipments, etc. - if one can guarantee that it will be able to fulfill its design goals. However, it is not easy to guarantee this, since it is impossible to map all the possible behaviors of a system modeled through agent interaction. Some approaches have already been proposed, but their use is usually extremely complex. Therefore, this work presents a new method for the experimental verification of self-organizing multiagent systems, evolving the empiric verification technique proposed by Kevrekidis and complementing it through an autonomic approach linked to the simplicity of the verification through online planners. As a result, a framework for designing, verifying and simulating multiagent systems is presented.
Descrição: Arquivo:   
COVER, ACKNOWLEDGEMENTS, RESUMO, ABSTRACT, SUMMARY AND LISTS PDF    
CHAPTER 1 PDF    
CHAPTER 2 PDF    
CHAPTER 3 PDF    
CHAPTER 4 PDF    
CHAPTER 5 PDF    
CHAPTER 6 PDF    
REFERENCES PDF