Modelagem e verificação de sistemas de automação para segurança residencial

Modelagem e verificação de sistemas de automação para segurança residencial (2005)

Authors:
USP affiliated authors: MUNAKATA, FERNANDO EIJI - EP ; ICHIKAWA, HÉLCIO YUKIO - EP
Unidade: EP
Sigla do Departamento: PMR
Subjects: AUTOMAÇÃO PREDIAL (MODELAGEM); INSTALAÇÕES PREDIAIS DE SEGURANÇA; REDES DE PETRI
Language: Português
Abstract: Dentro do conceito de automação residencial e casas inteligentes, este trabalho visa desenvolver uma modelagem de sistema de automação detalhando os procedimentos específicos para a parte de segurança residencial. A abordagem considerada para este propósito baseia-se na utilização da teoria dos sistemas a eventos discretos através da aplicação de técnicas derivadas de rede de Petri. Neste contexto, o trabalho aplica um procedimento sistemático para a modelagem de um sistema de segurança residencial integrado a outros sistemas, atuando sob a estrutura de um controle centralizado. O modelo resultante do sistema de segurança residencial é analisado e verificado através de técnicas e ferramentas de simulações, confirmando a efetividade a metodologia considerada.
Imprenta:
- Publisher place: São Paulo
- Date published: 2005

Tipo	Nome	Link
	Fernando Eiji Munakata - ...	Direct link

A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

ABNT

MUNAKATA, Fernando Eiji e ICHIKAWA, Helcio Yukio. Modelagem e verificação de sistemas de automação para segurança residencial. 2005. Trabalho de Conclusão de Curso (Graduação) – Escola Politécnica, Universidade de São Paulo, São Paulo, 2005. Disponível em: https://bdta.abcd.usp.br/directbitstream/ad6dadaa-a7a3-421e-9c76-e62e9dd096a2/Fernando%20Eiji%20Munakata%20-%20Helcio%20Yukio%20Ichikawa.pdf. Acesso em: 15 mar. 2025.
APA

Munakata, F. E., & Ichikawa, H. Y. (2005). Modelagem e verificação de sistemas de automação para segurança residencial (Trabalho de Conclusão de Curso (Graduação). Escola Politécnica, Universidade de São Paulo, São Paulo. Recuperado de https://bdta.abcd.usp.br/directbitstream/ad6dadaa-a7a3-421e-9c76-e62e9dd096a2/Fernando%20Eiji%20Munakata%20-%20Helcio%20Yukio%20Ichikawa.pdf
NLM

Munakata FE, Ichikawa HY. Modelagem e verificação de sistemas de automação para segurança residencial [Internet]. 2005 ;[citado 2025 mar. 15 ] Available from: https://bdta.abcd.usp.br/directbitstream/ad6dadaa-a7a3-421e-9c76-e62e9dd096a2/Fernando%20Eiji%20Munakata%20-%20Helcio%20Yukio%20Ichikawa.pdf
Vancouver

Munakata FE, Ichikawa HY. Modelagem e verificação de sistemas de automação para segurança residencial [Internet]. 2005 ;[citado 2025 mar. 15 ] Available from: https://bdta.abcd.usp.br/directbitstream/ad6dadaa-a7a3-421e-9c76-e62e9dd096a2/Fernando%20Eiji%20Munakata%20-%20Helcio%20Yukio%20Ichikawa.pdf