• Método de resolução de deadlocks no controle de produção de sistemas de manufatura automatizados utilizando redes de Petri coloridas 

      Souza, Wesley Willy Oliveira de (Universidade Federal de São Carlos, UFSCar, Programa de Pós-Graduação em Ciência da Computação - PPGCC, , 01/07/2011)
      Resources sharing is one of the main characteristics of Automated Manufacturing Systems (SMA), this characteristic can be a synonym of advantages but on the other hand it may lead to the problem of deadlock. Several papers ...
    • Redução automatizada de redes de petri baseada em algoritmos genéticos 

      Bevilaqua, André (Universidade Federal de São Carlos, UFSCar, Programa de Pós-Graduação em Ciência da Computação - PPGCC, , 26/06/2014)
      Petri Net (PN) is a graphical mathematical tool used to create models that provide a formal specification of systems, creating the possibility of running behavior analysis and property verification. PN models can be used ...
    • Sistema multiagente para controle de veículos autônomos 

      Branisso, Lucas Binhardi (Universidade Federal de São Carlos, UFSCar, Programa de Pós-Graduação em Ciência da Computação - PPGCC, , 10/06/2014)
      Vehicle fleets are an important component in several applications, moving materials and people. Examples include material handling in warehouses, factories and port terminals, people transportation as in taxi fleets and ...
    • Estudo de uma técnica para o tratamento de dead-times em operações de rastreamento de objetos por servovisão 

      Saqui, Diego (Universidade Federal de São Carlos, UFSCar, Programa de Pós-Graduação em Ciência da Computação - PPGCC, , 22/05/2014)
      Visual servoing is a technique that uses computer vision to acquire visual information (by camera) and a control system with closed loop circuit to control robots. One typical application of visual servoing is tracking ...
    • Uma abordagem ACO para a programação reativa da produção 

      Fonseca, Marcos Abraão de Souza (Universidade Federal de São Carlos, UFSCar, Programa de Pós-Graduação em Ciência da Computação - PPGCC, , 28/06/2010)
      In the context of automated manufacturing systems, combinatorial optimization problems, such as determining the production schedule, have been focused in many studies due to the high degree of complexity to their resolution. ...
    • Modelagem de sistemas de manufatura usando Redes de Petri Coloridas Fuzzy focando a solução de conflitos 

      Sgavioli, Mayra (Universidade Federal de São Carlos, UFSCar, Programa de Pós-Graduação em Ciência da Computação - PPGCC, , 29/06/2010)
      A Flexible Manufacturing System is a production system where more than one event can occur simultaneously in parallel, asynchronously or concurrently. These are designed to meet the needs of the market, demand for improved ...
    • Criação de filtros de imagens através da utilização de programação genética 

      Simões, Lucas Pauli (Universidade Federal de São Carlos, UFSCar, Programa de Pós-Graduação em Ciência da Computação - PPGCC, , 03/06/2013)
      The techniques of computer vision have been used more and more by the industries in order to aid the automation of their processes; however, the implementation of computer vision techniques has several difficulties according ...
    • Método para otimização de rotas na agricultura 

      Förster Junior, Alfred (Universidade Federal de São Carlos, UFSCar, Programa de Pós-Graduação em Ciência da Computação - PPGCC, Câmpus São Carlos, 20/02/2019)
      This paper presents a method that seeks to minimize the distance traveled during maneuvers at the headland and thus spending on fuel and soil compaction. It resembles the problem capacitive vehicle routing problem, which ...