Extending the verification coverage for PLC control programs: a functional safety approach (2009)
- Authors:
- USP affiliated authors: SANTOS FILHO, DIOLINO JOSE DOS - EP ; MIYAGI, PAULO EIGI - EP
- Unidade: EP
- Assunto: CONTROLADORES PROGRAMÁVEIS
- Language: Inglês
- Imprenta:
- Conference titles: Annual Conference of the IEEE Industrial Electronics Society
-
ABNT
SARMENTO, Cleber Alves e SANTOS FILHO, Diolino Jose dos e MIYAGI, Paulo Eigi. Extending the verification coverage for PLC control programs: a functional safety approach. 2009, Anais.. Porto: IEEE, 2009. Disponível em: https://repositorio.usp.br/directbitstream/9c7ef213-93cb-4860-b765-5406a8dd73d4/Miyagi-2009-extending%20the%20verification%20coverage%20for%20PLC%20control%20programs.pdf. Acesso em: 28 dez. 2025. -
APA
Sarmento, C. A., Santos Filho, D. J. dos, & Miyagi, P. E. (2009). Extending the verification coverage for PLC control programs: a functional safety approach. In . Porto: IEEE. Recuperado de https://repositorio.usp.br/directbitstream/9c7ef213-93cb-4860-b765-5406a8dd73d4/Miyagi-2009-extending%20the%20verification%20coverage%20for%20PLC%20control%20programs.pdf -
NLM
Sarmento CA, Santos Filho DJ dos, Miyagi PE. Extending the verification coverage for PLC control programs: a functional safety approach [Internet]. 2009 ;[citado 2025 dez. 28 ] Available from: https://repositorio.usp.br/directbitstream/9c7ef213-93cb-4860-b765-5406a8dd73d4/Miyagi-2009-extending%20the%20verification%20coverage%20for%20PLC%20control%20programs.pdf -
Vancouver
Sarmento CA, Santos Filho DJ dos, Miyagi PE. Extending the verification coverage for PLC control programs: a functional safety approach [Internet]. 2009 ;[citado 2025 dez. 28 ] Available from: https://repositorio.usp.br/directbitstream/9c7ef213-93cb-4860-b765-5406a8dd73d4/Miyagi-2009-extending%20the%20verification%20coverage%20for%20PLC%20control%20programs.pdf - Modelagem do tratamento de falhas em sistemas de manufatura através de redes de petri
- Modelagem de sistema de movimentação de materiais utilizando-se uma abordagem híbrida (orientada a processos e a objetos)
- On resource arc for Petri net modelling of complex resource sharing system
- Ferramenta para projeto e analise de sistemas integrados de manufatura
- Solução de deadlocks em sistemas produtivos considerando uma arquitetura hierárquica modificada de controle
- Proposta de arquitetura do sistema de controle para sistemas produtivos flexíveis
- Design of active holonic fault-tolerant control systems
- Estudo de estratégias de controle de um sistema flexível de transporte por veículos autônomos e sua otimização
- Proposta de uma ferramenta automática de programação de CPS a partir de modelos MFG/A proposal of an automatic tool for programming PCS from MFG models
- Automatic generation of the production system control
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
Miyagi-2009-extending the... |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
