Mathematical method for modeling and validating of safety instrumented system designed according to IEC 61508 and IEC 61511 (2011)
- Authors:
- USP affiliated authors: SANTOS FILHO, DIOLINO JOSE DOS - EP ; JUNQUEIRA, FABRÍCIO - EP ; MIYAGI, PAULO EIGI - EP
- Unidade: EP
- Subjects: INSTRUMENTAÇÃO DE SISTEMAS (SEGURANÇA); REDES DE PETRI; FALHAS COMPUTACIONAIS (DIAGNÓSTICO); REDES NEURAIS
- Language: Inglês
- Imprenta:
- Publisher: Associação Brasileira de Engenharia e Ciências Mecânicas - ABCM
- Publisher place: Rio de Janeiro
- Date published: 2011
- Source:
- Conference titles: International Congress of Mechanical Engineering - COBEM 2011
-
ABNT
SQUILLANTE JUNIOR, Reinaldo et al. Mathematical method for modeling and validating of safety instrumented system designed according to IEC 61508 and IEC 61511. 2011, Anais.. Rio de Janeiro: Associação Brasileira de Engenharia e Ciências Mecânicas - ABCM, 2011. Disponível em: https://repositorio.usp.br/directbitstream/dd1cefee-0487-41f6-bcb0-37ec37e8f1c5/Junqueira-2011-MATHEMATICAL%20METHOD%20FOR%20MODELING%20AND%20VALIDATING%20ok.pdf. Acesso em: 10 fev. 2026. -
APA
Squillante Junior, R., Santos Filho, D. J. dos, Martínez Riascos, L. A., Junqueira, F., & Miyagi, P. E. (2011). Mathematical method for modeling and validating of safety instrumented system designed according to IEC 61508 and IEC 61511. In Anais. Rio de Janeiro: Associação Brasileira de Engenharia e Ciências Mecânicas - ABCM. Recuperado de https://repositorio.usp.br/directbitstream/dd1cefee-0487-41f6-bcb0-37ec37e8f1c5/Junqueira-2011-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]. Anais. 2011 ;[citado 2026 fev. 10 ] Available from: https://repositorio.usp.br/directbitstream/dd1cefee-0487-41f6-bcb0-37ec37e8f1c5/Junqueira-2011-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]. Anais. 2011 ;[citado 2026 fev. 10 ] Available from: https://repositorio.usp.br/directbitstream/dd1cefee-0487-41f6-bcb0-37ec37e8f1c5/Junqueira-2011-MATHEMATICAL%20METHOD%20FOR%20MODELING%20AND%20VALIDATING%20ok.pdf - Process control system considering the machines functional flexibilities
- A transcription tool from petri net to clp programming languages
- Design of reconfigurable and collaborative control system for productive systems
- Design of control systems based on holon, petri net and multi-agent system
- A procedure for modeling of holonic control systems for intelligent building (HCS-IB)
- Distributed modelling and simulation of complex systems using Petri net
- A hybrid method to generate control algorithms for complex systems
- Design of reconfigurable and collaborative control system for productive systems
- A transcription tool from petri net to CLP programming languages
- Safety instrumented systems designed based on bayesian network and Petri net
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
Junqueira-2011-MATHEMATIC... |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
