Menu

Filtros : "CONTROLADORES PROGRAMÁVEIS" "SISTEMAS AUTÔNOMOS" Limpar

Filtros

Limitar por data

  • 1

1 - 3 (3 registros)

  • Trabalho de evento

    Extending the verification coverage for PLC control programs: a functional safety approach (2012)

    Sarmento, Cleber Alves; Santos Filho, Diolino Jose dos ; Miyagi, Paulo Eigi

    Fonte: Proceedings. Nome do evento: Annual Conference of the IEEE Industrial Electronics Society - IECON 2012. Unidade: EP

    Assuntos: CONTROLADORES PROGRAMÁVEIS, SISTEMAS AUTÔNOMOS, DESENVOLVIMENTO DE SOFTWARE (SEGURANÇA)

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

    • 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. 2012, Anais.. New York: IEEE, 2012. Disponível em: https://doi.org/10.1109/IECON.2012.6389446. Acesso em: 10 nov. 2025.

    • APA

      Sarmento, C. A., Santos Filho, D. J. dos, & Miyagi, P. E. (2012). Extending the verification coverage for PLC control programs: a functional safety approach. In Proceedings. New York: IEEE. doi:10.1109/IECON.2012.6389446

    • NLM

      Sarmento CA, Santos Filho DJ dos, Miyagi PE. Extending the verification coverage for PLC control programs: a functional safety approach [Internet]. Proceedings. 2012 ;[citado 2025 nov. 10 ] Available from: https://doi.org/10.1109/IECON.2012.6389446

    • Vancouver

      Sarmento CA, Santos Filho DJ dos, Miyagi PE. Extending the verification coverage for PLC control programs: a functional safety approach [Internet]. Proceedings. 2012 ;[citado 2025 nov. 10 ] Available from: https://doi.org/10.1109/IECON.2012.6389446

  • Trabalho de evento

    Control algorithms partition method for distributed control systems (2011)

    Cavalheiro, André César Martins

    Fonte: Proceedings. Nome do evento: International Conference on Mathematical Problems in Engineering, Aerospace and Sciences (ICNPAA 2010). Unidade: EP

    Assuntos: SISTEMAS AUTÔNOMOS, CONTROLADORES PROGRAMÁVEIS

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

    • ABNT

      CAVALHEIRO, André César Martins. Control algorithms partition method for distributed control systems. 2011, Anais.. Cambridge: Cambridge Scientific Publishers, 2011. Disponível em: https://repositorio.usp.br/directbitstream/d0c3f7b6-0c03-41a4-91c5-5ff61e135d21/Miyagi-2011-control%20algorithms%20partition%20method-ICNPAA.pdf. Acesso em: 10 nov. 2025.

    • APA

      Cavalheiro, A. C. M. (2011). Control algorithms partition method for distributed control systems. In Proceedings. Cambridge: Cambridge Scientific Publishers. Recuperado de https://repositorio.usp.br/directbitstream/d0c3f7b6-0c03-41a4-91c5-5ff61e135d21/Miyagi-2011-control%20algorithms%20partition%20method-ICNPAA.pdf

    • NLM

      Cavalheiro ACM. Control algorithms partition method for distributed control systems [Internet]. Proceedings. 2011 ;[citado 2025 nov. 10 ] Available from: https://repositorio.usp.br/directbitstream/d0c3f7b6-0c03-41a4-91c5-5ff61e135d21/Miyagi-2011-control%20algorithms%20partition%20method-ICNPAA.pdf

    • Vancouver

      Cavalheiro ACM. Control algorithms partition method for distributed control systems [Internet]. Proceedings. 2011 ;[citado 2025 nov. 10 ] Available from: https://repositorio.usp.br/directbitstream/d0c3f7b6-0c03-41a4-91c5-5ff61e135d21/Miyagi-2011-control%20algorithms%20partition%20method-ICNPAA.pdf

  • Trabalho de evento

    Distributed modelling and simulation of complex systems using Petri net (2010)

    Junqueira, Fabrício ; Costa, Cristiano da Silva; Santos Filho, Diolino Jose dos ; Miyagi, Paulo Eigi

    Fonte: Proceedings. Nome do evento: International Conference on Mathematical Problems in Engineering, Aerospace and Sciences (ICNPAA 2010). Unidade: EP

    Assuntos: SISTEMAS AUTÔNOMOS, CONTROLADORES PROGRAMÁVEIS

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

    • ABNT

      JUNQUEIRA, Fabrício et al. Distributed modelling and simulation of complex systems using Petri net. 2010, Anais.. Cambridge: Cambridge Scientific Publishers, 2010. Disponível em: https://repositorio.usp.br/directbitstream/8daa3a06-94c3-448f-a227-cf5f834b3294/SantosF%C2%BA-2010-distributed%20modelling%20and%20simulation-ICNPAA.pdf. Acesso em: 10 nov. 2025.

    • APA

      Junqueira, F., Costa, C. da S., Santos Filho, D. J. dos, & Miyagi, P. E. (2010). Distributed modelling and simulation of complex systems using Petri net. In Proceedings. Cambridge: Cambridge Scientific Publishers. Recuperado de https://repositorio.usp.br/directbitstream/8daa3a06-94c3-448f-a227-cf5f834b3294/SantosF%C2%BA-2010-distributed%20modelling%20and%20simulation-ICNPAA.pdf

    • NLM

      Junqueira F, Costa C da S, Santos Filho DJ dos, Miyagi PE. Distributed modelling and simulation of complex systems using Petri net [Internet]. Proceedings. 2010 ;[citado 2025 nov. 10 ] Available from: https://repositorio.usp.br/directbitstream/8daa3a06-94c3-448f-a227-cf5f834b3294/SantosF%C2%BA-2010-distributed%20modelling%20and%20simulation-ICNPAA.pdf

    • Vancouver

      Junqueira F, Costa C da S, Santos Filho DJ dos, Miyagi PE. Distributed modelling and simulation of complex systems using Petri net [Internet]. Proceedings. 2010 ;[citado 2025 nov. 10 ] Available from: https://repositorio.usp.br/directbitstream/8daa3a06-94c3-448f-a227-cf5f834b3294/SantosF%C2%BA-2010-distributed%20modelling%20and%20simulation-ICNPAA.pdf
  • 1

1 - 3 (3 registros)

Biblioteca Digital de Produção Intelectual da Universidade de São Paulo     2012 - 2025