Planificación de trayectorias basada en verificación de modelos

Planificación de trayectorias basada en verificación de modelos

Detalles Bibliográficos
Autor principal:	Fernández García, Pablo
Otras Contribuciones:	Bárcenas Patiño, Ismael Everardo (Asesor)
Formato:	Tesis de licenciatura
Lenguaje:	Español
Publicado:	2022
Materias:	Ciencias Físico-Matemáticas e Ingenierías
Acceso en línea:	https://hdl.handle.net/20.500.14330/TES01000824872 http://132.248.9.195/ptd2022/mayo/0824872/Index.html

Ejemplares similares

Planificacion de trayectorias continuas : aplicaciones a ciclos de maquinado
por: Lunes Flores, José Leonides
Publicado: (2006)

Especificación, verificación y cálculo de estrategias en juegos no cooperativos usando verificación de modelos
por: Góngora Luna, Pedro Arturo
Publicado: (2014)

Verificación de modelos para lógica híbrida de tiempo ramificado
por: Vázquez Sandoval, Itzel
Publicado: (2009)

Verificacion del supuesto de normalidad en el modelo de regresion lineal
por: Aguilar Castellanos, Araceli, et al.
Publicado: (1996)

Verificación automática de hechos utilizando un modelo de aprendizaje profundo interpretable
por: Casillas Pérez Soto, Luis Ramón
Publicado: (2021)

Trayectoria laboral
por: Vara Solorio, Enrique
Publicado: (2006)

Trayectorias rugosas
por: Esquivel Calzada, Salvador César
Publicado: (2019)

Verificación de algoritmos concurrentes
por: Sandoval Grajeda, Israel
Publicado: (2016)

Diseno y aplicacion de modelos de simulacion : verificacion y lenguajes de simulacion
por: Barcena Arriola, Jaime Enrique
Publicado: (0000)

Modelo baroclinico para la prediccion de trayectorias de sistemas tropicales (huracanes, tormentas y depresiones tropicales)
por: Fuentes Hurtado, José Pablo
Publicado: (1997)

Modelos matematicos para el calculo de la trayectoria en pozos direccionales
por: Vega Ibarra, Mario Alberto, et al.
Publicado: (1978)

Verificación formal en lógica modal
por: Prieto Larios, Estefanía
Publicado: (2018)

Analisis de trayectorias
por: Iglesias Molina, Jacinta Celia
Publicado: (1954)

Verificacion de dispensarios de combustible
por: Gil Hernandez, Simon Israel
Publicado: (2007)

Continuidad de trayectorias de un proceso estocastico
por: Fernandez Moran, Jesus
Publicado: (1984)

Verificación formal de árboles rojinegros
por: Hernández Chiapa, David Felipe
Publicado: (2021)

Desarrollo, implementación y verificación de un modelo de un BWR para análisis de transitorios de licenciamiento
por: Membrillo García, Omar Eli
Publicado: (2016)

Existencia de trayectorias geodesicas
por: Espinosa Hurtado, Kenya Veronica
Publicado: (2006)

Verificacion fisica de obras hidraulicas : auditoria
por: Luna Garduno, Francisco
Publicado: (1977)

Nucleos por trayectorias monocromaticas
por: Delgado Escalante, Pietra Adriana
Publicado: (2007)

Verificación formal del zipper relacional simétrico
por: Galicia Mendoza, Fernando Abigail
Publicado: (2018)

Verificacion de un modelo de tercera generacion para estimar oleaje en la vertiente atlantica mexicana
por: Perez Romero, Dulce Maria
Publicado: (2005)

Verificacion objetiva de campañas de estimulacion de lluvia
por: Calderon García, Juan José
Publicado: (2001)

Modelo dinamico sectorial para la planificacion del desarrollo en Mexico
por: Negrete Reynoso, Carlos
Publicado: (1977)

Planeación de trayectorias de un robot bípedo con un modelo parametrizado carro mesa
por: Merino Morales, María Fernanda
Publicado: (2016)

Funcionamiento hidraulico de vertedores de abanico : verificacion experimental
por: Calderon Fernandez, Martha Lorena
Publicado: (1976)

Sistema de control de verificacion de predios
por: Ramirez Ney, Victoria
Publicado: (2001)

Control y verificacion de calidad de concreto
por: Santiago del Castillo, Antonio
Publicado: (1979)

Verificación a estaciones de servicio de combustible
por: Torres Hernández, Rogelio
Publicado: (2009)

Conjeturas de particiones de trayectorias
por: Velasco Hernández, Paul Rey
Publicado: (2015)

Verificacion de modelos numericos a superficie libre con tecnicas de visualizacion de alta velocidad
por: Robles López, José Isidro
Publicado: (1995)

Tablas modelo de mortalidad basadas en la experiencia Mexicana
por: Rocha Miller, Nora Patricia
Publicado: (1980)

Los huracanes y su trayectoria
por: Cordoba Lobo, Victor M.
Publicado: (2003)

Modelo computacional para la generación automatizada de escritura basada en el modelo engagement-reflection
por: Guerrero Román, Carlos Iván
Publicado: (2018)

Verificación de la linealizabilidad en tiempo de ejecución
por: Rodríguez Jiménez, Gilde Valeria
Publicado: (2022)

Verificación del perfil indestructible en rompeolas de enrocamiento
por: Armenta Aguilar, Carlos Alberto
Publicado: (2012)

Relaciones de indeterminación en trayectorias autosimilares
por: Ceceña Álvarez, Héctor
Publicado: (2008)

Trayectorias hamiltonianas en gráficas de Cayley
por: Santiago Arguello, Anahy
Publicado: (2014)

Reconstruccion de una maquina de laboratorio para verificacion de ruedas fullface
por: Farjat Esquivel, Roberto Yamil, et al.
Publicado: (2002)

Verificación formal del cálculo λSF en Coq
por: Torres Ruiz, Mateo Alberto
Publicado: (2019)