ReP USP - Resultado da busca

Trabalho de evento
Scheduling real-time systems with periodic tasks using a model-checking approach (2014)
Olivera Salmon, Arianna Zoila; González Del Foyo, Pedro Manuel; Silva, José Reinaldo
Nome do evento: International Conference on Industrial Informatics - INDIN. Unidade: EP
Assuntos: TEMPO-REAL, INTELIGÊNCIA ARTIFICIAL, REDES DE PETRI
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLIVERA SALMON, Arianna Zoila e GONZÁLEZ DEL FOYO, Pedro Manuel e SILVA, José Reinaldo. Scheduling real-time systems with periodic tasks using a model-checking approach. 2014, Anais.. Piscataway: IEEE, 2014. Disponível em: https://repositorio.usp.br/directbitstream/47ecedbf-8f18-4720-91ab-a05c900db618/SilvaJ-2014-Scheduling%20real-time%20systems%20with%20periodic%20tasks%20using%20a%20model-checking%20approach%20ok.pdf. Acesso em: 18 nov. 2024.
APA
Olivera Salmon, A. Z., González Del Foyo, P. M., & Silva, J. R. (2014). Scheduling real-time systems with periodic tasks using a model-checking approach. In . Piscataway: IEEE. Recuperado de https://repositorio.usp.br/directbitstream/47ecedbf-8f18-4720-91ab-a05c900db618/SilvaJ-2014-Scheduling%20real-time%20systems%20with%20periodic%20tasks%20using%20a%20model-checking%20approach%20ok.pdf
NLM
Olivera Salmon AZ, González Del Foyo PM, Silva JR. Scheduling real-time systems with periodic tasks using a model-checking approach [Internet]. 2014 ;[citado 2024 nov. 18 ] Available from: https://repositorio.usp.br/directbitstream/47ecedbf-8f18-4720-91ab-a05c900db618/SilvaJ-2014-Scheduling%20real-time%20systems%20with%20periodic%20tasks%20using%20a%20model-checking%20approach%20ok.pdf
Vancouver
Olivera Salmon AZ, González Del Foyo PM, Silva JR. Scheduling real-time systems with periodic tasks using a model-checking approach [Internet]. 2014 ;[citado 2024 nov. 18 ] Available from: https://repositorio.usp.br/directbitstream/47ecedbf-8f18-4720-91ab-a05c900db618/SilvaJ-2014-Scheduling%20real-time%20systems%20with%20periodic%20tasks%20using%20a%20model-checking%20approach%20ok.pdf
Trabalho de evento
Description of productive processes in a collaborative environment (2011)
Fattori, Caio Cesar; Dobrianskyj, Guilherme Marinho; Junqueira, Fabrício ; Santos Filho, Diolino Jose dos ; Miyagi, Paulo Eigi
Fonte: Proceedings. Nome do evento: Annual Conference of the IEEE Industrial Electronics Society - IECON 2011. Unidade: EP
Assuntos: REDES DE PETRI, DESENVOLVIMENTO DE PRODUTOS, MANUFATURA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FATTORI, Caio Cesar et al. Description of productive processes in a collaborative environment. 2011, Anais.. New York: IEEE, 2011. Disponível em: https://repositorio.usp.br/directbitstream/c613cf4d-7106-4dc8-9b97-e3e7b88ab332/Junqueira-2011-description%20of%20productive%20processes.pdf. Acesso em: 18 nov. 2024.
APA
Fattori, C. C., Dobrianskyj, G. M., Junqueira, F., Santos Filho, D. J. dos, & Miyagi, P. E. (2011). Description of productive processes in a collaborative environment. In Proceedings. New York: IEEE. Recuperado de https://repositorio.usp.br/directbitstream/c613cf4d-7106-4dc8-9b97-e3e7b88ab332/Junqueira-2011-description%20of%20productive%20processes.pdf
NLM
Fattori CC, Dobrianskyj GM, Junqueira F, Santos Filho DJ dos, Miyagi PE. Description of productive processes in a collaborative environment [Internet]. Proceedings. 2011 ;[citado 2024 nov. 18 ] Available from: https://repositorio.usp.br/directbitstream/c613cf4d-7106-4dc8-9b97-e3e7b88ab332/Junqueira-2011-description%20of%20productive%20processes.pdf
Vancouver
Fattori CC, Dobrianskyj GM, Junqueira F, Santos Filho DJ dos, Miyagi PE. Description of productive processes in a collaborative environment [Internet]. Proceedings. 2011 ;[citado 2024 nov. 18 ] Available from: https://repositorio.usp.br/directbitstream/c613cf4d-7106-4dc8-9b97-e3e7b88ab332/Junqueira-2011-description%20of%20productive%20processes.pdf
Trabalho de evento
Controle de sistemas de manufatura baseado em alocação de funcionalidades (2010)
Asato, Osvaldo Luís ; Junqueira, Fabrício ; Miyagi, Paulo Eigi ; Santos Filho, Diolino Jose dos
Fonte: INDUSCON 2010: Proceedings. Nome do evento: International Conference on Industry Aplications - INDUSCON. Unidade: EP
Assuntos: MANUFATURA (PROCESSOS;SISTEMAS), ATUADORES PIEZELÉTRICOS, REDES DE PETRI
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ASATO, Osvaldo Luís et al. Controle de sistemas de manufatura baseado em alocação de funcionalidades. 2010, Anais.. New York: IEEE, 2010. Disponível em: https://repositorio.usp.br/directbitstream/84aaf0d4-c680-4e99-8bde-be286081bf1f/Miyagi-2010-Controle%20de%20Sistemas%20de%20Manufatura%20Baseado%20ok.pdf. Acesso em: 18 nov. 2024.
APA
Asato, O. L., Junqueira, F., Miyagi, P. E., & Santos Filho, D. J. dos. (2010). Controle de sistemas de manufatura baseado em alocação de funcionalidades. In INDUSCON 2010: Proceedings. New York: IEEE. Recuperado de https://repositorio.usp.br/directbitstream/84aaf0d4-c680-4e99-8bde-be286081bf1f/Miyagi-2010-Controle%20de%20Sistemas%20de%20Manufatura%20Baseado%20ok.pdf
NLM
Asato OL, Junqueira F, Miyagi PE, Santos Filho DJ dos. Controle de sistemas de manufatura baseado em alocação de funcionalidades [Internet]. INDUSCON 2010: Proceedings. 2010 ;[citado 2024 nov. 18 ] Available from: https://repositorio.usp.br/directbitstream/84aaf0d4-c680-4e99-8bde-be286081bf1f/Miyagi-2010-Controle%20de%20Sistemas%20de%20Manufatura%20Baseado%20ok.pdf
Vancouver
Asato OL, Junqueira F, Miyagi PE, Santos Filho DJ dos. Controle de sistemas de manufatura baseado em alocação de funcionalidades [Internet]. INDUSCON 2010: Proceedings. 2010 ;[citado 2024 nov. 18 ] Available from: https://repositorio.usp.br/directbitstream/84aaf0d4-c680-4e99-8bde-be286081bf1f/Miyagi-2010-Controle%20de%20Sistemas%20de%20Manufatura%20Baseado%20ok.pdf
Trabalho de evento
Desenvolvimento de sistemas de controle para sistemas instrumentados de segurança (2010)
Squillante Junior, Reinaldo ; Santos Filho, Diolino Jose dos ; Junqueira, Fabrício ; Miyagi, Paulo Eigi
Fonte: INDUSCON 2010: Proceedings. Nome do evento: International Conference on Industry Aplications - INDUSCON. Unidade: EP
Assuntos: REDES DE PETRI, ADMINISTRAÇÃO DE RISCO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SQUILLANTE JUNIOR, Reinaldo et al. Desenvolvimento de sistemas de controle para sistemas instrumentados de segurança. 2010, Anais.. New York: IEEE, 2010. Disponível em: https://repositorio.usp.br/directbitstream/e2628dd9-6dc6-4379-ac3e-91dc6dd6a1a7/SantosF%C2%BA-2010-Desenvolvimento%20de%20Sistemas%20de%20Controle%20para%20Sistemas%20ok.pdf. Acesso em: 18 nov. 2024.
APA
Squillante Junior, R., Santos Filho, D. J. dos, Junqueira, F., & Miyagi, P. E. (2010). Desenvolvimento de sistemas de controle para sistemas instrumentados de segurança. In INDUSCON 2010: Proceedings. New York: IEEE. Recuperado de https://repositorio.usp.br/directbitstream/e2628dd9-6dc6-4379-ac3e-91dc6dd6a1a7/SantosF%C2%BA-2010-Desenvolvimento%20de%20Sistemas%20de%20Controle%20para%20Sistemas%20ok.pdf
NLM
Squillante Junior R, Santos Filho DJ dos, Junqueira F, Miyagi PE. Desenvolvimento de sistemas de controle para sistemas instrumentados de segurança [Internet]. INDUSCON 2010: Proceedings. 2010 ;[citado 2024 nov. 18 ] Available from: https://repositorio.usp.br/directbitstream/e2628dd9-6dc6-4379-ac3e-91dc6dd6a1a7/SantosF%C2%BA-2010-Desenvolvimento%20de%20Sistemas%20de%20Controle%20para%20Sistemas%20ok.pdf
Vancouver
Squillante Junior R, Santos Filho DJ dos, Junqueira F, Miyagi PE. Desenvolvimento de sistemas de controle para sistemas instrumentados de segurança [Internet]. INDUSCON 2010: Proceedings. 2010 ;[citado 2024 nov. 18 ] Available from: https://repositorio.usp.br/directbitstream/e2628dd9-6dc6-4379-ac3e-91dc6dd6a1a7/SantosF%C2%BA-2010-Desenvolvimento%20de%20Sistemas%20de%20Controle%20para%20Sistemas%20ok.pdf
Trabalho de evento
A procedure for modeling and analysis of service-oriented and distributed productive systems (2008)
Garcia, José Isidro; Gomez Morales, Roy Andres; Miyagi, Paulo Eigi
Fonte: Proceedings.. Nome do evento: IEEE Conference on Automation Science and Engineering. Unidade: EP
Assuntos: SISTEMAS DISTRIBUÍDOS, REDES DE PETRI, SISTEMAS AUTÔNOMOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GARCIA, José Isidro e GOMEZ MORALES, Roy Andres e MIYAGI, Paulo Eigi. A procedure for modeling and analysis of service-oriented and distributed productive systems. 2008, Anais.. Piscataway: IEEE, 2008. Disponível em: https://doi.org/10.1109/COASE.2008.4626561. Acesso em: 18 nov. 2024.
APA
Garcia, J. I., Gomez Morales, R. A., & Miyagi, P. E. (2008). A procedure for modeling and analysis of service-oriented and distributed productive systems. In Proceedings.. Piscataway: IEEE. doi:10.1109/COASE.2008.4626561
NLM
Garcia JI, Gomez Morales RA, Miyagi PE. A procedure for modeling and analysis of service-oriented and distributed productive systems [Internet]. Proceedings. 2008 ;[citado 2024 nov. 18 ] Available from: https://doi.org/10.1109/COASE.2008.4626561
Vancouver
Garcia JI, Gomez Morales RA, Miyagi PE. A procedure for modeling and analysis of service-oriented and distributed productive systems [Internet]. Proceedings. 2008 ;[citado 2024 nov. 18 ] Available from: https://doi.org/10.1109/COASE.2008.4626561
Trabalho de evento
Supervisory system for hybrid productive systems based on bayesian networks and OO-DPT nets (2008)
Garcia, José Isidro; Gomez Morales, Roy Andres; Miyagi, Paulo Eigi
Fonte: Proceedings.. Nome do evento: IEEE Conference on Emerging Technologies and Factory Automation. Unidade: EP
Assuntos: SISTEMAS HÍBRIDOS, REDES DE PETRI
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GARCIA, José Isidro e GOMEZ MORALES, Roy Andres e MIYAGI, Paulo Eigi. Supervisory system for hybrid productive systems based on bayesian networks and OO-DPT nets. 2008, Anais.. Piscataway: IEEE, 2008. Disponível em: https://doi.org/10.1109/ETFA.2008.4638536. Acesso em: 18 nov. 2024.
APA
Garcia, J. I., Gomez Morales, R. A., & Miyagi, P. E. (2008). Supervisory system for hybrid productive systems based on bayesian networks and OO-DPT nets. In Proceedings.. Piscataway: IEEE. doi:10.1109/ETFA.2008.4638536
NLM
Garcia JI, Gomez Morales RA, Miyagi PE. Supervisory system for hybrid productive systems based on bayesian networks and OO-DPT nets [Internet]. Proceedings. 2008 ;[citado 2024 nov. 18 ] Available from: https://doi.org/10.1109/ETFA.2008.4638536
Vancouver
Garcia JI, Gomez Morales RA, Miyagi PE. Supervisory system for hybrid productive systems based on bayesian networks and OO-DPT nets [Internet]. Proceedings. 2008 ;[citado 2024 nov. 18 ] Available from: https://doi.org/10.1109/ETFA.2008.4638536
Trabalho de evento
Diagnosis and treatment of faults in productive systems based on bayesian networks and Petri net (2007)
Gomez Morales, Roy Andres; Melo, Jose Isidro Garcia ; Miyagi, Paulo Eigi
Fonte: Proceedings.. Nome do evento: Annual IEEE Conference on Automation Science and Engineering. Unidade: EP
Assuntos: REDES NEURAIS, REDES DE PETRI
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GOMEZ MORALES, Roy Andres e MELO, Jose Isidro Garcia e MIYAGI, Paulo Eigi. Diagnosis and treatment of faults in productive systems based on bayesian networks and Petri net. 2007, Anais.. Piscataway: IEEE, 2007. Disponível em: https://doi.org/10.1109/coase.2007.4341823. Acesso em: 18 nov. 2024.
APA
Gomez Morales, R. A., Melo, J. I. G., & Miyagi, P. E. (2007). Diagnosis and treatment of faults in productive systems based on bayesian networks and Petri net. In Proceedings.. Piscataway: IEEE. doi:10.1109/coase.2007.4341823
NLM
Gomez Morales RA, Melo JIG, Miyagi PE. Diagnosis and treatment of faults in productive systems based on bayesian networks and Petri net [Internet]. Proceedings. 2007 ;[citado 2024 nov. 18 ] Available from: https://doi.org/10.1109/coase.2007.4341823
Vancouver
Gomez Morales RA, Melo JIG, Miyagi PE. Diagnosis and treatment of faults in productive systems based on bayesian networks and Petri net [Internet]. Proceedings. 2007 ;[citado 2024 nov. 18 ] Available from: https://doi.org/10.1109/coase.2007.4341823
Trabalho de evento
Bayesian network supervision on fault tolerant fuel cells (2006)
Martínez Riascos, Luis Alberto; Cozman, Fabio Gagliardi ; Miyagi, Paulo Eigi ; Simões, Marcelo Godoy
Fonte: IAS 2006: proceedings.. Nome do evento: IEEE Industry Applications Conference Annual Meeting. Unidade: EP
Assuntos: REDES DE PETRI, ALGORITMOS, ANÁLISE DE RISCO, CÉLULAS A COMBUSTÍVEL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARTÍNEZ RIASCOS, Luis Alberto et al. Bayesian network supervision on fault tolerant fuel cells. 2006, Anais.. Piscataway: IEEE, 2006. Disponível em: https://doi.org/10.1109/ias.2006.256655. Acesso em: 18 nov. 2024.
APA
Martínez Riascos, L. A., Cozman, F. G., Miyagi, P. E., & Simões, M. G. (2006). Bayesian network supervision on fault tolerant fuel cells. In IAS 2006: proceedings.. Piscataway: IEEE. doi:10.1109/ias.2006.256655
NLM
Martínez Riascos LA, Cozman FG, Miyagi PE, Simões MG. Bayesian network supervision on fault tolerant fuel cells [Internet]. IAS 2006: proceedings. 2006 ;[citado 2024 nov. 18 ] Available from: https://doi.org/10.1109/ias.2006.256655
Vancouver
Martínez Riascos LA, Cozman FG, Miyagi PE, Simões MG. Bayesian network supervision on fault tolerant fuel cells [Internet]. IAS 2006: proceedings. 2006 ;[citado 2024 nov. 18 ] Available from: https://doi.org/10.1109/ias.2006.256655
Trabalho de evento
A platform for distributed modeling and simulation of productive systems based on petri nets and object-oriented paradigm (2005)
Junqueira, Fabrício ; Villani, Emília ; Miyagi, Paulo Eigi
Fonte: ETFA'2005: proceedings. Nome do evento: IEEE International Conference on Emerging Technologies and Factory Automation. Unidade: EP
Assuntos: REDES DE PETRI, SISTEMAS DISTRIBUÍDOS, SIMULAÇÃO DE SISTEMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
JUNQUEIRA, Fabrício e VILLANI, Emília e MIYAGI, Paulo Eigi. A platform for distributed modeling and simulation of productive systems based on petri nets and object-oriented paradigm. 2005, Anais.. Piscataway: IEEE, 2005. Disponível em: https://doi.org/10.1109/etfa.2005.1612621. Acesso em: 18 nov. 2024.
APA
Junqueira, F., Villani, E., & Miyagi, P. E. (2005). A platform for distributed modeling and simulation of productive systems based on petri nets and object-oriented paradigm. In ETFA'2005: proceedings. Piscataway: IEEE. doi:10.1109/etfa.2005.1612621
NLM
Junqueira F, Villani E, Miyagi PE. A platform for distributed modeling and simulation of productive systems based on petri nets and object-oriented paradigm [Internet]. ETFA'2005: proceedings. 2005 ;[citado 2024 nov. 18 ] Available from: https://doi.org/10.1109/etfa.2005.1612621
Vancouver
Junqueira F, Villani E, Miyagi PE. A platform for distributed modeling and simulation of productive systems based on petri nets and object-oriented paradigm [Internet]. ETFA'2005: proceedings. 2005 ;[citado 2024 nov. 18 ] Available from: https://doi.org/10.1109/etfa.2005.1612621
Trabalho de evento
Uniform computational tretament of heterogeneous discrete-event dynamic system models (2003)
Arata, Wilson Munemassa; Miyagi, Paulo Eigi
Fonte: ISIE'2003. Nome do evento: IEEE International Symposium on Industrial Electronics. Unidade: EP
Assuntos: SISTEMAS DINÂMICOS (MODELAGEM), SISTEMAS DISCRETOS, REDES DE PETRI, MODELOS MATEMÁTICOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARATA, Wilson Munemassa e MIYAGI, Paulo Eigi. Uniform computational tretament of heterogeneous discrete-event dynamic system models. 2003, Anais.. Piscataway: IEEE, 2003. Disponível em: https://doi.org/10.1109/ETFA.2003.1247686. Acesso em: 18 nov. 2024.
APA
Arata, W. M., & Miyagi, P. E. (2003). Uniform computational tretament of heterogeneous discrete-event dynamic system models. In ISIE'2003. Piscataway: IEEE. doi:10.1109/ETFA.2003.1247686
NLM
Arata WM, Miyagi PE. Uniform computational tretament of heterogeneous discrete-event dynamic system models [Internet]. ISIE'2003. 2003 ;[citado 2024 nov. 18 ] Available from: https://doi.org/10.1109/ETFA.2003.1247686
Vancouver
Arata WM, Miyagi PE. Uniform computational tretament of heterogeneous discrete-event dynamic system models [Internet]. ISIE'2003. 2003 ;[citado 2024 nov. 18 ] Available from: https://doi.org/10.1109/ETFA.2003.1247686
Trabalho de evento
Systematization of the project of the production system control (2003)
Nakamoto, Francisco Yastami ; Miyagi, Paulo Eigi ; Santos Filho, Diolino Jose dos
Fonte: ISIE'2003. Nome do evento: IEEE International Symposium on Industrial Electronics. Unidade: EP
Assuntos: REDES DE PETRI, SISTEMAS DE CONTROLE, SISTEMAS DE PRODUÇÃO, ALGORITMOS, CONTROLE AUTOMÁTICO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
NAKAMOTO, Francisco Yastami e MIYAGI, Paulo Eigi e SANTOS FILHO, Diolino Jose dos. Systematization of the project of the production system control. 2003, Anais.. Piscataway: IEEE, 2003. Disponível em: https://repositorio.usp.br/directbitstream/498346f4-8e8e-4c04-95dc-beac4cacd0f7/SantosF%C2%BA-2003-Systematization%20of%20the%20Project%20of%20the%20Production.pdf. Acesso em: 18 nov. 2024.
APA
Nakamoto, F. Y., Miyagi, P. E., & Santos Filho, D. J. dos. (2003). Systematization of the project of the production system control. In ISIE'2003. Piscataway: IEEE. Recuperado de https://repositorio.usp.br/directbitstream/498346f4-8e8e-4c04-95dc-beac4cacd0f7/SantosF%C2%BA-2003-Systematization%20of%20the%20Project%20of%20the%20Production.pdf
NLM
Nakamoto FY, Miyagi PE, Santos Filho DJ dos. Systematization of the project of the production system control [Internet]. ISIE'2003. 2003 ;[citado 2024 nov. 18 ] Available from: https://repositorio.usp.br/directbitstream/498346f4-8e8e-4c04-95dc-beac4cacd0f7/SantosF%C2%BA-2003-Systematization%20of%20the%20Project%20of%20the%20Production.pdf
Vancouver
Nakamoto FY, Miyagi PE, Santos Filho DJ dos. Systematization of the project of the production system control [Internet]. ISIE'2003. 2003 ;[citado 2024 nov. 18 ] Available from: https://repositorio.usp.br/directbitstream/498346f4-8e8e-4c04-95dc-beac4cacd0f7/SantosF%C2%BA-2003-Systematization%20of%20the%20Project%20of%20the%20Production.pdf
Trabalho de evento
Detection and treatment of faults in automated machines based on Petri Nets and bayesian networks (2003)
Martínez Riascos, Luis Alberto; Cozman, Fabio Gagliardi ; Miyagi, Paulo Eigi
Fonte: ISIE'2003. Nome do evento: IEEE International Symposium on Industrial Electronics. Unidade: EP
Assuntos: VEÍCULOS AUTOMOTORES (AUTOMAÇÃO), REDES DE PETRI, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARTÍNEZ RIASCOS, Luis Alberto e COZMAN, Fabio Gagliardi e MIYAGI, Paulo Eigi. Detection and treatment of faults in automated machines based on Petri Nets and bayesian networks. 2003, Anais.. Piscataway: IEEE, 2003. Disponível em: https://repositorio.usp.br/directbitstream/9ef66148-2379-4edd-b2b4-aafe8e48d503/Miyagi-2003-Detection%20and%20Treatment%20of%20Faults.pdf. Acesso em: 18 nov. 2024.
APA
Martínez Riascos, L. A., Cozman, F. G., & Miyagi, P. E. (2003). Detection and treatment of faults in automated machines based on Petri Nets and bayesian networks. In ISIE'2003. Piscataway: IEEE. Recuperado de https://repositorio.usp.br/directbitstream/9ef66148-2379-4edd-b2b4-aafe8e48d503/Miyagi-2003-Detection%20and%20Treatment%20of%20Faults.pdf
NLM
Martínez Riascos LA, Cozman FG, Miyagi PE. Detection and treatment of faults in automated machines based on Petri Nets and bayesian networks [Internet]. ISIE'2003. 2003 ;[citado 2024 nov. 18 ] Available from: https://repositorio.usp.br/directbitstream/9ef66148-2379-4edd-b2b4-aafe8e48d503/Miyagi-2003-Detection%20and%20Treatment%20of%20Faults.pdf
Vancouver
Martínez Riascos LA, Cozman FG, Miyagi PE. Detection and treatment of faults in automated machines based on Petri Nets and bayesian networks [Internet]. ISIE'2003. 2003 ;[citado 2024 nov. 18 ] Available from: https://repositorio.usp.br/directbitstream/9ef66148-2379-4edd-b2b4-aafe8e48d503/Miyagi-2003-Detection%20and%20Treatment%20of%20Faults.pdf
Trabalho de evento
Open distributed supervisory system design using Petri nets (2003)
Bastidas Gustin, Gladys Deifan; Junqueira, Fabrício ; Miyagi, Paulo Eigi
Fonte: ISIE'2003. Nome do evento: IEEE International Symposium on Industrial Electronics. Unidade: EP
Assuntos: SISTEMAS DISTRIBUÍDOS, REDES DE PETRI, PROGRAMAÇÃO ORIENTADA A OBJETOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BASTIDAS GUSTIN, Gladys Deifan e JUNQUEIRA, Fabrício e MIYAGI, Paulo Eigi. Open distributed supervisory system design using Petri nets. 2003, Anais.. Piscataway: IEEE, 2003. Disponível em: https://repositorio.usp.br/directbitstream/879950cc-15b0-443f-a1fd-63422b732b3c/Miyagi-2003-Open%20distributed%20supervisory%20system%20design.pdf. Acesso em: 18 nov. 2024.
APA
Bastidas Gustin, G. D., Junqueira, F., & Miyagi, P. E. (2003). Open distributed supervisory system design using Petri nets. In ISIE'2003. Piscataway: IEEE. Recuperado de https://repositorio.usp.br/directbitstream/879950cc-15b0-443f-a1fd-63422b732b3c/Miyagi-2003-Open%20distributed%20supervisory%20system%20design.pdf
NLM
Bastidas Gustin GD, Junqueira F, Miyagi PE. Open distributed supervisory system design using Petri nets [Internet]. ISIE'2003. 2003 ;[citado 2024 nov. 18 ] Available from: https://repositorio.usp.br/directbitstream/879950cc-15b0-443f-a1fd-63422b732b3c/Miyagi-2003-Open%20distributed%20supervisory%20system%20design.pdf
Vancouver
Bastidas Gustin GD, Junqueira F, Miyagi PE. Open distributed supervisory system design using Petri nets [Internet]. ISIE'2003. 2003 ;[citado 2024 nov. 18 ] Available from: https://repositorio.usp.br/directbitstream/879950cc-15b0-443f-a1fd-63422b732b3c/Miyagi-2003-Open%20distributed%20supervisory%20system%20design.pdf
Trabalho de evento
Petri Net's execution algorithm for applications in manufacturing systems control (2003)
Alves, Gustavo Ribeiro; Costa, João Dias da; Armellini, Fabiano; Miyagi, Paulo Eigi ; Santos Filho, Diolino Jose dos
Fonte: ISIE'2003. Nome do evento: IEEE International Symposium on Industrial Electronics. Unidade: EP
Assuntos: REDES DE PETRI, SISTEMAS DE MANUFATURAS, ALGORITMOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ALVES, Gustavo Ribeiro et al. Petri Net's execution algorithm for applications in manufacturing systems control. 2003, Anais.. Piscataway: IEEE, 2003. Disponível em: https://repositorio.usp.br/directbitstream/3eeb3710-a9fa-4ad3-b73c-00a9d0b03701/Miyagi-2003-Petri%20Net%E2%80%99s%20execution%20algorithm%20for%20applications.pdf. Acesso em: 18 nov. 2024.
APA
Alves, G. R., Costa, J. D. da, Armellini, F., Miyagi, P. E., & Santos Filho, D. J. dos. (2003). Petri Net's execution algorithm for applications in manufacturing systems control. In ISIE'2003. Piscataway: IEEE. Recuperado de https://repositorio.usp.br/directbitstream/3eeb3710-a9fa-4ad3-b73c-00a9d0b03701/Miyagi-2003-Petri%20Net%E2%80%99s%20execution%20algorithm%20for%20applications.pdf
NLM
Alves GR, Costa JD da, Armellini F, Miyagi PE, Santos Filho DJ dos. Petri Net's execution algorithm for applications in manufacturing systems control [Internet]. ISIE'2003. 2003 ;[citado 2024 nov. 18 ] Available from: https://repositorio.usp.br/directbitstream/3eeb3710-a9fa-4ad3-b73c-00a9d0b03701/Miyagi-2003-Petri%20Net%E2%80%99s%20execution%20algorithm%20for%20applications.pdf
Vancouver
Alves GR, Costa JD da, Armellini F, Miyagi PE, Santos Filho DJ dos. Petri Net's execution algorithm for applications in manufacturing systems control [Internet]. ISIE'2003. 2003 ;[citado 2024 nov. 18 ] Available from: https://repositorio.usp.br/directbitstream/3eeb3710-a9fa-4ad3-b73c-00a9d0b03701/Miyagi-2003-Petri%20Net%E2%80%99s%20execution%20algorithm%20for%20applications.pdf
Trabalho de evento
Apport düne approche à objets fondée sur les réseaux de Petri à l'analyse des systémes hybrides (2002)
Villani, Emília ; Pascal, J. C.; Miyagi, Paulo Eigi ; Valette, R.
Fonte: CIFA 2002 : annales. Nome do evento: Conference Internationale Francophone d'Automatique. Unidade: EP
Assunto: REDES DE PETRI
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
VILLANI, Emília et al. Apport düne approche à objets fondée sur les réseaux de Petri à l'analyse des systémes hybrides. 2002, Anais.. Nantes: IEEE, 2002. Disponível em: https://repositorio.usp.br/directbitstream/01cf2562-5006-4ef3-bc3a-3d951bf14d58/Miyagi-2002-Apport%20d%C3%BCne%20approche%20%C3%A0%20objets%20fond%C3%A9e%20sur%20les%20r%C3%A9seaux.pdf. Acesso em: 18 nov. 2024.
APA
Villani, E., Pascal, J. C., Miyagi, P. E., & Valette, R. (2002). Apport düne approche à objets fondée sur les réseaux de Petri à l'analyse des systémes hybrides. In CIFA 2002 : annales. Nantes: IEEE. Recuperado de https://repositorio.usp.br/directbitstream/01cf2562-5006-4ef3-bc3a-3d951bf14d58/Miyagi-2002-Apport%20d%C3%BCne%20approche%20%C3%A0%20objets%20fond%C3%A9e%20sur%20les%20r%C3%A9seaux.pdf
NLM
Villani E, Pascal JC, Miyagi PE, Valette R. Apport düne approche à objets fondée sur les réseaux de Petri à l'analyse des systémes hybrides [Internet]. CIFA 2002 : annales. 2002 ;[citado 2024 nov. 18 ] Available from: https://repositorio.usp.br/directbitstream/01cf2562-5006-4ef3-bc3a-3d951bf14d58/Miyagi-2002-Apport%20d%C3%BCne%20approche%20%C3%A0%20objets%20fond%C3%A9e%20sur%20les%20r%C3%A9seaux.pdf
Vancouver
Villani E, Pascal JC, Miyagi PE, Valette R. Apport düne approche à objets fondée sur les réseaux de Petri à l'analyse des systémes hybrides [Internet]. CIFA 2002 : annales. 2002 ;[citado 2024 nov. 18 ] Available from: https://repositorio.usp.br/directbitstream/01cf2562-5006-4ef3-bc3a-3d951bf14d58/Miyagi-2002-Apport%20d%C3%BCne%20approche%20%C3%A0%20objets%20fond%C3%A9e%20sur%20les%20r%C3%A9seaux.pdf
Trabalho de evento
Modeling of hybrid supervisory systems using UML and Petri Nets (2001)
Miyagi, Paulo Eigi ; Villani, Emília ; Maruyama, Newton
Fonte: Proceedings. Nome do evento: IEEE Internacional Conference on Emerging Technologies and Factory Automation. Unidade: EP
Assuntos: REDES DE PETRI, MODELOS MATEMÁTICOS, SISTEMAS DE CONTROLE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MIYAGI, Paulo Eigi e VILLANI, Emília e MARUYAMA, Newton. Modeling of hybrid supervisory systems using UML and Petri Nets. 2001, Anais.. Piscataway: IEEE, 2001. Disponível em: https://doi.org/10.1109/ETFA.2001.997681. Acesso em: 18 nov. 2024.
APA
Miyagi, P. E., Villani, E., & Maruyama, N. (2001). Modeling of hybrid supervisory systems using UML and Petri Nets. In Proceedings. Piscataway: IEEE. doi:10.1109/ETFA.2001.997681
NLM
Miyagi PE, Villani E, Maruyama N. Modeling of hybrid supervisory systems using UML and Petri Nets [Internet]. Proceedings. 2001 ;[citado 2024 nov. 18 ] Available from: https://doi.org/10.1109/ETFA.2001.997681
Vancouver
Miyagi PE, Villani E, Maruyama N. Modeling of hybrid supervisory systems using UML and Petri Nets [Internet]. Proceedings. 2001 ;[citado 2024 nov. 18 ] Available from: https://doi.org/10.1109/ETFA.2001.997681
Trabalho de evento
Supervisor system for detection and treatment of failures in balanced automation systems using Petri Nets (2001)
Martínez Riascos, Luis Alberto; Miyagi, Paulo Eigi
Fonte: IEEE SMC 2001: proceedings. Nome do evento: IEEE International Conference on Systems, Man and Cybernetics. Unidade: EP
Assunto: REDES DE PETRI
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARTÍNEZ RIASCOS, Luis Alberto e MIYAGI, Paulo Eigi. Supervisor system for detection and treatment of failures in balanced automation systems using Petri Nets. 2001, Anais.. Piscataway: IEEE, 2001. Disponível em: https://doi.org/10.1109/ICSMC.2001.972938. Acesso em: 18 nov. 2024.
APA
Martínez Riascos, L. A., & Miyagi, P. E. (2001). Supervisor system for detection and treatment of failures in balanced automation systems using Petri Nets. In IEEE SMC 2001: proceedings. Piscataway: IEEE. doi:10.1109/ICSMC.2001.972938
NLM
Martínez Riascos LA, Miyagi PE. Supervisor system for detection and treatment of failures in balanced automation systems using Petri Nets [Internet]. IEEE SMC 2001: proceedings. 2001 ;[citado 2024 nov. 18 ] Available from: https://doi.org/10.1109/ICSMC.2001.972938
Vancouver
Martínez Riascos LA, Miyagi PE. Supervisor system for detection and treatment of failures in balanced automation systems using Petri Nets [Internet]. IEEE SMC 2001: proceedings. 2001 ;[citado 2024 nov. 18 ] Available from: https://doi.org/10.1109/ICSMC.2001.972938
Trabalho de evento
Hierarchical programming of sequential control systems by Mark Flow Graph (1999)
Takahashi, Koji; Hasegawa, Kensuke; Miyagi, Paulo Eigi
Fonte: Proceedings. Nome do evento: IEEE International Conference on Emerging Technologies and Factory Automation. Unidade: EP
Assuntos: MÉTODOS NUMÉRICOS DE OTIMIZAÇÃO, REDES DE PETRI
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
TAKAHASHI, Koji e HASEGAWA, Kensuke e MIYAGI, Paulo Eigi. Hierarchical programming of sequential control systems by Mark Flow Graph. 1999, Anais.. Piscataway: IEEE, 1999. Disponível em: https://doi.org/10.1109/ETFA.1999.813138. Acesso em: 18 nov. 2024.
APA
Takahashi, K., Hasegawa, K., & Miyagi, P. E. (1999). Hierarchical programming of sequential control systems by Mark Flow Graph. In Proceedings. Piscataway: IEEE. doi:10.1109/ETFA.1999.813138
NLM
Takahashi K, Hasegawa K, Miyagi PE. Hierarchical programming of sequential control systems by Mark Flow Graph [Internet]. Proceedings. 1999 ;[citado 2024 nov. 18 ] Available from: https://doi.org/10.1109/ETFA.1999.813138
Vancouver
Takahashi K, Hasegawa K, Miyagi PE. Hierarchical programming of sequential control systems by Mark Flow Graph [Internet]. Proceedings. 1999 ;[citado 2024 nov. 18 ] Available from: https://doi.org/10.1109/ETFA.1999.813138

Unidades USP

ReP

Filtros

Autores

Autores USP

Ano de publicação

Assuntos

Título da fonte

Nome do evento