Dispositivos Antiderrapagem
Mostrando 1-2 de 2 artigos, teses e dissertações.
-
1. Abordagem híbrida baseada em statecharts para verificação de sistema anti-skid de aeronaves.
O objetivo desse trabalho é utilizar uma abordagem híbrida baseada nas ferramentas Simulink e Stateflow para verificar contra um conjunto de requisitos de engenharia o modelo de um sistema de controle de freios de aplicação aeronáutica do tipo anti-blocante, ou simplesmente anti-skid. Sistemas híbridos no contexto dessa tese são sistemas dinâmicos ca
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 02/06/2010
-
2. Abordagem híbrida baseada em statecharts para verificação de sistema anti-skid de aeronaves.
O objetivo desse trabalho é utilizar uma abordagem híbrida baseada nas ferramentas Simulink e Stateflow para verificar contra um conjunto de requisitos de engenharia o modelo de um sistema de controle de freios de aplicação aeronáutica do tipo anti-blocante, ou simplesmente anti-skid. Sistemas híbridos no contexto dessa tese são sistemas dinâmicos ca
Publicado em: 2010