Mathematical method for modeling and validating of safety instrumented system designed according to IEC 61508 and IEC 61511 (2012)
- Autores:
- Autores USP: MIYAGI, PAULO EIGI - EP ; SANTOS FILHO, DIOLINO JOSE DOS - EP ; JUNQUEIRA, FABRÍCIO - EP
- Unidade: EP
- Assuntos: REDES NEURAIS; FALHAS COMPUTACIONAIS; REDES DE PETRI
- Idioma: Inglês
- Imprenta:
- Editora: ABCM
- Local: Rio de Janeiro
- Data de publicação: 2012
- Fonte:
- Título do periódico: ABCM Symposium Series in Mechatronics
-
ABNT
SQUILLANTE JUNIOR, Reinaldo et al. Mathematical method for modeling and validating of safety instrumented system designed according to IEC 61508 and IEC 61511. ABCM Symposium Series in Mechatronics. Tradução . Rio de Janeiro: ABCM, 2012. . Disponível em: https://repositorio.usp.br/directbitstream/592d8db7-eb69-454a-9339-8969168b1b8d/JunqueiraF-2012-Mathematical%20method%20for%20modeling%20and%20validating%20ok.pdf. Acesso em: 29 mar. 2024. -
APA
Squillante Junior, R., Santos Filho, D. J. dos, Martínez Riascos, L. A., Junqueira, F., & Miyagi, P. E. (2012). Mathematical method for modeling and validating of safety instrumented system designed according to IEC 61508 and IEC 61511. In ABCM Symposium Series in Mechatronics. Rio de Janeiro: ABCM. Recuperado de https://repositorio.usp.br/directbitstream/592d8db7-eb69-454a-9339-8969168b1b8d/JunqueiraF-2012-Mathematical%20method%20for%20modeling%20and%20validating%20ok.pdf -
NLM
Squillante Junior R, Santos Filho DJ dos, Martínez Riascos LA, Junqueira F, Miyagi PE. Mathematical method for modeling and validating of safety instrumented system designed according to IEC 61508 and IEC 61511 [Internet]. In: ABCM Symposium Series in Mechatronics. Rio de Janeiro: ABCM; 2012. [citado 2024 mar. 29 ] Available from: https://repositorio.usp.br/directbitstream/592d8db7-eb69-454a-9339-8969168b1b8d/JunqueiraF-2012-Mathematical%20method%20for%20modeling%20and%20validating%20ok.pdf -
Vancouver
Squillante Junior R, Santos Filho DJ dos, Martínez Riascos LA, Junqueira F, Miyagi PE. Mathematical method for modeling and validating of safety instrumented system designed according to IEC 61508 and IEC 61511 [Internet]. In: ABCM Symposium Series in Mechatronics. Rio de Janeiro: ABCM; 2012. [citado 2024 mar. 29 ] Available from: https://repositorio.usp.br/directbitstream/592d8db7-eb69-454a-9339-8969168b1b8d/JunqueiraF-2012-Mathematical%20method%20for%20modeling%20and%20validating%20ok.pdf - Service composition modeling using interpreted Petri net for system integration
- Controle de sistemas de manufatura baseado em alocação de funcionalidades
- Design of reconfigurable and collaborative control system for productive systems
- Process control system considering the machines functional flexibilities
- Orquestração de sistemas produtivos dispersos
- Design of control systems based on holon, petri net and multi-agent system
- A hybrid method to generate control algorithms for complex systems
- Control of productive systems with functional flexibility level
- Control architecture and design method of reconfigurable manufacturing systems
- A systematical approach to expose manufacturing system as a service
Download do texto completo
Tipo | Nome | Link | |
---|---|---|---|
JunqueiraF-2012-Mathemati... |
Como citar
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas