área de pesquisa
- A SUPERVISORY CONTROL-BASED NAVIGATION ARCHITECTURE FOR AUTONOMOUS ROBOTS IN INDUSTRY 4.0 ENVIRONMENTS
- Abstraction of the Supervisory Control Solution to Deal With Planning Problems in Manufacturing Systems
- Abstrações de Supervisores Localmente Modulares para a Aplicação na Solução de Problemas de Planejamento
- Adinan de Souza
- Algoritmos com complexidade polinomial para verificação da observabilidade e normalidade de linguagens regulares
- Analysis and Control for Resilience of Discrete Event Systems: Fault Diagnosis, Opacity and Cyber Security
- Análise e aplicações em redes de Petri temporais : uma abordagem via álgebra intervalar
- Aspectos computacionais associados à implementação de algoritmos para sistemas a eventos discretos
- Christiano Henrique Rezende
- Ciência da Automação
- Codiagnosability of networked discrete event systems with timing structure
- Codiagnosability of Networked Discrete Event Systems with Timing Structure
- Codiagnosability of Networked DIscrete-Event Systems subject to communication delays and intermittent loss of observation
- Comparative analysis of related notions of robust diagnosability of Discrete-Event Systems
- Control of Discrete Event Systems Subject to Cyber Attacks
- CONTROLE SUPERVISORIO ROBUSTO DE SISTEMAS A EVENTOS DISCRETOS SUJEITOS A PERDAS INTERMITENTES DE OBSERVAÇÃO
- Controle Supervisório de Sistemas a Eventos Discretos: Uma Abordagem por Modelo Condição/Evento
- Controle Supervisório Hierárquico Baseado em Interface Aplicado à Validação da Lógica de Controle de uma Plataforma de Manufatura Integrada por Computador
- Coordenação em Sistemas Multi-Robôs utilizando Métodos baseados em Autômatos
- Desenvolvimento de uma arquitetura de navegação deliberativa para robôs móveis utilizando a teoria de controle supervisório.
- Diagnosability of modular discrete event systems with unobservable common events
- DIAGNOSE DE FALHAS DE SISTEMAS A EVENTOS DISCRETOS COM TRANSIÇÕES PONDERADAS
- Diagnose robusta de sistemas a eventos discretos
- Diagnose Robusta de Sistemas a Eventos Discretos sujeitos à Perda Permanente de Sensores
- Diagnoser reduction of Discrete Event Systems
- Discrete-event systems subject to unknown sensor attacks
- Disjunctive fault prediction of decentralized discrete event systems: Verification, predictor design and K-copredictability
- Eduardo Alves Portela Santos
- Enforcing current-state opacity through shuffle and deletions of event observations
- ENFORCING CURRENT-STATE OPACITY THROUGH SHUFFLE IN EVENT OBSERVATIONS
- Escalonamento Ótimo de Um Sistema Flexível de Manufatura Com Controle Supervisório
- Estudo e desenvolvimento de técnicas de controle para grafos de eventos temporizados
- Francisco de Assis Carvalho da Silva Neto
- Gideon Villar Leandro
- Guilherme Gomes da Silva
- Hugo Jerzy Bravo Cipriano
- Identificação e Controle de Sistemas a Eventos Discretos na Álgebra (MAX,+).
- Igor cohen calixto
- Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches
- João Carlos dos Santos Basilio
- Lilian Kawakami Carvalho
- Lucas Vinicius Ribeiro Alves
- Lógica Modal Aplicada à Verificação de Sistemas a Eventos Discretos.
- Mainara Cristina Lorencena
- Mapeamento de sensores para diagnose de falhas de sistemas a eventos discretos: uma abordagem inspirada na especificação de linguagens.
- Marcos Vinícius Silva Alves
- Modelagem e Controle da Coordenação do Tráfego Urbano Atráves de Formalismos para Sistemas a Eventos Discretos e Híbridos
- Modelagem e síntese para coordenação de sistemas multi-robôs baseada numa estrutura de jogo
- New approaches to fault prediction and opacity enforcement of discrete-event systems
- Online diagnosis of discrete event systems modeled by labeled Petri nets using labeled priority Petri nets
- Online fault diagnosis for smart machines embedded in Industry 4.0 manufacturing systems: A labeled Petri net-based approach
- Opacity of discrete event systems modeled by a class of timed automata
- Otimização do tempo de vida de uma rede de sensores sem fio baseado em autômatos celulares de aprendizagem
- Planejamento da Produção em Sistemas a Eventos Discretos - Análise Lógica e Temporal
- Predictability of Discrete-Event Systems with Cycles of States Connected with Unobservable Events
- Public bicycle sharing systems control and performance evaluation: A Petri net-based approach
- Reduction of Diagnosers for Discrete-Event Systems
- Ricardo Yassushi Inamasu
- Robust decentralized diagnosability of networked discrete event systems against DoS and deception attacks
- Robust supervisory control of discrete event systems against intermittent loss of observations
- State Estimation and Detectability of Networked Discrete Event Systems With Multi-Channel Communication Networks
- SUPERVISORY CONTROL OF NETWORKED DISCRETE EVENT SYSTEMS WITH TIMING STRUCTURE
- Supervisory Control of Networked Discrete Event Systems With Timing Structure
- Síntese de Supervisores em Sistemas a Eventos Discretos Utilizando Redes de Petri Coloridas
- Tatiana Renata Garcia
- Um modelo em redes de petri para determinação de estratégias de balanceamento de sistemas públicos de compartilhamento de bicicletas
- Uma abordagem baseada na teoria de controle supervisório para controle de redes de regulação gênica