Buscar
Mostrando ítems 1-10 de 350
Solução exata de problemas de escalonamento determinísticos por meio de verificação simbólica de modelos
(Universidade Federal de Minas GeraisUFMG, 2002-08-30)
Verificação formal na indústria
(Universidade Federal de Minas GeraisUFMG, 2016-02-29)
Formal Methods is a group of system design techniques that use mathematics formalism to assist specification, development and verification steps. The approach can reduce specifications ambiguities and inconsistences, provide ...
Verificação de projetos de controle de veículos aéreos autônomos
(Universidade Federal de Minas GeraisBrasilICX - DEPARTAMENTO DE CIÊNCIA DA COMPUTAÇÃOPrograma de Pós-Graduação em Ciência da ComputaçãoUFMG, 2020-11-26)
Flight systems formal checking became necessary once automatic control systems became widely applied, as they are complex, interdisciplinary and have highly dependent
components. Failures are resposible from financial to ...
Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Engenharia ElétricaAutomação e Sistemas; Engenharia de Computação; Telecomunicações, 2005-09-02)
Verificação formal de planos para agentes autônomos e sistemas multiagentes: um estudo de caso aplicado ao futebol de robôs
(Instituto de MatemáticaPrograma de Pós-graduação em MecatrônicaUFBAbrasil, 2017-02-07)
Os Agentes Autônomos – AA e os Sistemas Multiagentes – SMA realizam suas tarefas
baseados num planejamento e a sua complexidade vai depender de qual ambiente esteja
envolvido, principalmente quando este ambiente é dinâmico ...