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ículos:
Descomposición del operador de inversión temporal para la detección de objetivos
Artículos:
Control óptimo para una familia de sistemas en una forma novedosa de espacio de derivadas de estado con experimento en un sistema de péndulo invertido doble.
Artículos:
Soluciones casi periódicas para redes neuronales de tipo BAM de tipo neutral con retardos en escalas de tiempo.
Artículos:
Plegado de ruido en el muestreo comprimido completamente perturbado
Artículos:
Mejora de la distribución del coste de inactividad para la programación de tareas sin coste de preparación en la computación en nube
Artículos:
Comportamiento del aguacate Hass liofilizado durante la operación de rehidratación
Artículos:
Caracterización estructural de la materia orgánica de tres suelos provenientes del municipio de Aquitania-Boyacá, Colombia
Informes y Reportes:
Técnicas de recuperación de suelos contaminados
Artículos:
Una revisión de la etiopatogenia y características clínicas e histopatológicas del melanoma mucoso oral.
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
