Obtenga beneficios adicionales
Aún no tiene una suscripción a Virtual Pro?
Para acceder a este contenido se requiere una suscripción
Obtenga beneficios adicionales
Aún no tiene una suscripción a Virtual Pro?
Para acceder a este contenido se requiere una suscripción
Un sistema de pluma suspendida en una etapa es un sistema automático de estiba orquestado por el PLC (controlador lógico programable). La seguridad y la recuperación de fallos son dos propiedades importantes. En este documento, analizamos y verificamos formalmente el sistema de pluma. Adoptamos el autómata híbrido para modelar el sistema de pluma. La alcanzabilidad hacia adelante se utiliza para verificar las propiedades con los estados alcanzables. También presentamos un estudio de caso para ilustrar la viabilidad de la verificación propuesta.
Esta es una versión de prueba de citación de documentos de la Biblioteca Virtual Pro. Puede contener errores. Lo invitamos a consultar los manuales de citación de las respectivas fuentes.
Artículo:
El problema del cumpleaños, una generalización
Artículo:
Sobre un sistema de evolución degenerado asociado con el estado crítico de frijol para superconductores de Tipo II.
Artículo:
Estudio de problemas inversos para ciencias aplicadas
Artículo:
Pricing de activos en equilibrio y opciones bajo el modelo de difusión con saltos y volatilidad estocástica.
Artículo:
Investigación Numérica sobre el Efecto de los Números de Mach de Entrada en las Características de Combustión de un Combustor Supersónico Típico Basado en Cavidades
Virtual Pro es un portal virtual de formación, investigación y comunicación especializado en procesos industriales.
� 2021, Virtual Pro �, una marca de Grupo INGCO. Todos los derechos reservados
