Finite State Machines
Mostrando 1-12 de 19 artigos, teses e dissertações.
-
1. FSM-Based Test Case Generation Methods Applied to Test the Communication Software on Board the ITASAT University Satellite: A Case Study
ABSTRACT: The software in satellite applications has become increasingly larger, more complex and more integrated, so its verification and validation require exploration of new approaches. In this paper we present a Model-Based Testing (MBT) approach applied to the Communication Module of the ITASAT-1 university satellite. The models are Finite State Machine
J. Aerosp. Technol. Manag.. Publicado em: 2014-12
-
2. NeuroFSM: aprendizado de Autômatos Finitos através do uso de Redes Neurais Artificiais aplicadas à robôs móveis e veículos autônomos / NeuroFSM: finite state machines learning using artificial neural networks applied to mobile robots and autonomous vehicles
A navegação autônoma é uma tarefa fundamental na robótica móvel. Para que esta tarefa seja realizada corretamente é necessário um sistema inteligente de controle e navegação associado ao sistema sensorial. Este projeto apresenta o desenvolvimento de um sistema de controle para a navegação de veículos e robôs móveis autônomos. A abordagem util
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 23/07/2012
-
3. Modelagem e simulação de agentes com aspectos cognitivos para avaliação de comportamento social. / Modeling and simulation of agents with congnitive aspects to evaluate social behavior.
This work was developed considering concepts of four research areas: computer science, cognitive science, information science and social communication. The main contribution here is to define minimally cognitive agents who actively participate in dynamic of information flow interfering on the messages received and are being affected by them. The model consid
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 12/05/2011
-
4. Dynamic modeling of transverse flux permanent magnet generator for wind turbines
The transverse flux permanent magnet machines have become an interesting possibility for offshore wind turbines. These machines have the highest relation between electrical torque and weight of active materials. The pole pair modular construction could eliminate or lower the gear ratio used in conventional wind turbines. This paper presents a dynamic model o
Journal of Microwaves, Optoelectronics and Electromagnetic Applications. Publicado em: 2011-06
-
5. Test case generation for space area systems using test criteria for finite state machines / Geração de casos de teste para sistemas da área espacial usando critérios de teste para máquinas de estados finitos
Test case generation based on Finite State Machines (FSM) has been addressed for quite some time. Model-Based Testing has drawn attention from researchers and practitioners in test area. Several test criteria have been proposed in the literature in order to validate systems built according to some modeling formal technique, for example, the FSM. Through MEF
Publicado em: 2010
-
6. Geração automática de casos de testes para máquinas de estados finitos / Automatic test case generation for finite state machines
Métodos formais são amplamente utilizados para modelar especificações e gerar casos de testes, imprescindíveis para validação de sistemas críticos. As Máquinas de Estados Finitos (MEFs) compõem um dos formalismos adotados, com várias aplicações em testes de sistemas aéreos e espaciais, além de sistemas médicos, entre vários outros. O objetiv
Publicado em: 2010
-
7. An approach to incompletely specified finite state machine minimization / Uma estratégia para a minimização de máquinas de estados finitos parciais
Finite State Machines are largely used on Software Engineering to model systems specifications. In these models, designers may inadvertently include redundant states, i.e., states which exhibit the same input/output behavior. The absence of such states brings benefits to the modeling activities, reducing the complexity and taking less physical resources on i
Publicado em: 2009
-
8. Modeling and implementation of supervisory control systems based on state machines with outputs / Modelagem e implementação de sistemas de controle supervisório baseados em máquinas de estados com saídas
Este trabalho apresenta uma nova metodologia para a modelagem de sistemas de controle supervisório baseados em máquinas de estados com saídas, obtidas a partir dos autômatos que representam os supervisores encontrados com o uso da Teoria de Controle Supervisório (TCS) de Sistemas a Eventos Discretos (SEDs). Procedimentos como este são úteis para criar
Publicado em: 2009
-
9. Minimização de conjuntos de casos de teste para máquinas de estados finitos / Teste suite minimization for finite state machines
THE Model-based testing aims at generating test suites from formal specifications, such as Finite State Machines. Test suites can be obtained either from classical test derivation methods or from some ad-hoc approach. It is desirable to produce a test suite which detects all possible faults of an implementation and has small size, so that its application can
Publicado em: 2008
-
10. Formal verification of systems modeled as finite state machines. / Verificação formal de sistemas modelados em estados finitos.
Este trabalho reflete os esforcos realizados no estudo das principais técnicas automaticas de verificacao de sistemas que podem ser modelados em Maquinas de Estados Finitas, em particular as que normalmente se enquadram dentro da denominacao de model checking (verificacao de modelos). De modo a permitir ao leitor uma compreensao das vantagens e desvantagens
Publicado em: 2006
-
11. Alguns aspectos de tratamento de dependências de contexto em linguagem natural empregando tecnologia adaptativa. / Some aspects on natural language context dependencies handling using adaptive technology.
Since low-complexity language formalisms are too weak to handle NL, stronger formalisms are required, most of them resource demanding, hard to use or unpractical. Structured pushdown automata are excellent to represent regular and context-free aspects on NLs by allowing them to be split into regular layer (implemented as finite-state machines) and a context-
Publicado em: 2006
-
12. Um Controlador de Tráfego Ferroviário Adaptável Simulado com Máquinas de Estado Finitas / A Controller of Simulated Adaptable Railroad Traffic with Finite Machines of State
This thesis deals with implementation of a railway control interlocking simulator whose functional requirements can be adaptive, that is, modified, complemented or same redefined, through an approach based on Finite State Machines. Depending on its requirements, a controller of rail traffic can assume simple or critics characteristics in terms of safety or f
Publicado em: 2004