Search
Now showing items 1-10 of 32
Diagnóstico distribuido de faltas en sistemas de eventos discretos utilizando modelos reducidos
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2005)
Micro-simulación de tráfico urbano basada en sistemas de agentes móviles
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2005)
Representación de una fórmula de lógica temporal lineal proposicional como un autómata de Búchi generalizado etiquetado
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2005)
Estudio y aplicación de nuevas técnicas para verificación modular de sistemas de eventos discretos
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2005)
Lenguaje para animación de criaturas virtuales
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2005)
Herramientas de modelado basado en autómatas para el desarrollo de controladores lógicos y estrategia de aplicación a sistemas de proceso
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2005)
Control adaptable predictivo para el arranque del generador de vapor de una unidad termoeléctrica
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2005)
Estabilización global de un sistema difuso continuo Takagi-Sugeno por medio de su modelo discreto
(Tesis (D.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2005)
Control robusto por redes neuronales de un sistema electro-hidráulico
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2005)
Observabilidad de sistemas lineales conmutados
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2005)