Table of Contents
Introducción
La gestión de flotas automotriz reúne la automatización de vehículos, la logística y las operaciones para mover a las personas y los bienes de manera eficiente. El reto principal es tomar decisiones sobre qué vehículos van donde, cuando, y con qué carga -decisiones que a menudo implican opciones discretas de enteros (número de vehículos, sí/no asignaciones, secuenciación de rutas).
Entendimiento de la programación de enteros
La programación de enteros (IP) es una rama de optimización matemática donde algunas o todas las variables de decisión se limitan a ser enteros. Cuando todas las variables son enteros, se llama un programa entero puro; cuando sólo un subconjunto son enteros, es un programa de entero mixto (MIP). IP es esencial para la gestión de flotas porque muchas decisiones operativas son naturalmente discretas: no se puede asignar 2.7 vehículos a una ruta,
Por qué las variables enteros importan la gestión de la flota
La programación lineal continua (LP) supone que las variables pueden tomar cualquier valor real. Eso funciona para mezclar problemas, pero para la asignación, programación y enrutamiento, soluciones fraccionales son sin sentido. Por ejemplo, una solución LP podría sugerir el envío de 1.3 vehículos del depósito A y 0.7 vehículos del depósito B. La programación de enteros obliga al modelo a elegir números enteros, dando planes accionables.
- Variables bilinarias (0 o 1):] Se utiliza para sí/no decisiones tales como “¿El vehículo v visita ubicación i?” o “es ruta r seleccionada?”
- Variables de enteros generales: Representar cuenta como “número de vehículos asignados a la transferencia s” o “inventario mantenido en el almacén w.”
- Programación de enteros (MIP): Combina variables de entero y continuas; por ejemplo, una variable continua para el consumo de combustible junto con variables de entero para la asignación de vehículos.
Classic IP es difícil de NP en muchos casos, lo que significa que los tiempos de solución de peor caso crecen exponencialmente con el tamaño de problema. Sin embargo, los solvers modernos con algoritmos avanzados de rama y corte pueden manejar casos a gran escala para muchos problemas de flota práctica.
Componentes básicos de un modelo IP de gestión de flotas
Cada modelo de programación entero para la gestión de flotas comparte tres bloques de construcción: variables de decisión, una función objetiva y limitaciones.El arte es seleccionar la representación correcta para el problema operativo.
Variables de la decisión
Las variables de decisión traducen acciones reales en términos matemáticos. Para la gestión autónoma de flotas, las variables típicas incluyen:
- = 1 si el vehículo v viaja desde el lugar i a la ubicación j, 0 de otro modo (bario, para la enrutamiento).
- = 1 si el vehículo v está en servicio durante el intervalo de tiempo t, 0 de otro modo (bario, para la programación).
- = número de vehículos asignados a la estación base k (integer, para la asignación de depósitos).
La elección de indexación variable (por vehículo, tiempo, ubicación, tarea) afecta directamente el tamaño y la soledad del modelo. A menudo es beneficioso para la simetría agregada, por ejemplo, utilizando variables “rutas” en lugar de “edge” para reducir el número de decisiones binarias.
Función objetiva
El objetivo cuantifica lo que el operador de flotas se preocupa. Objetivos comunes incluyen:
- Minimizar la distancia total de viaje o el tiempo: reducir directamente los costos de combustible/energía y mejorar la capacidad de respuesta.
- Minimizar el costo total operativo: Incluye el desgaste, mantenimiento y gastos de conductor (si los hay).
- Maximizar el número de solicitudes recibidas:] Relevant in demand-responsive systems where some requests may be rejected.
- Utilización de los recursos: Minimiza la varianza en el uso de vehículos para evitar los vehículos ociosos y los cuellos de botella.
Los modelos multiobjetivos pueden crearse combinando varios términos con pesos, o tratando un objetivo como una limitación (por ejemplo, servir todas las solicitudes dentro de un máximo retraso, y reducir al mínimo la distancia).
Limitaciones
Las limitaciones de las familias con limitaciones clave para las flotas autónomas son:
- Conservación del flujo: Para problemas de enrutamiento, cada vehículo que entra en un lugar debe dejarlo (excepto en depósitos).
- Limitaciones de la capital: Los vehículos pueden transportar un número limitado de pasajeros o peso de carga útil.
- Ventas temporales: Cada recogida o entrega debe ocurrir dentro de un intervalo especificado (por ejemplo, entre las 2:00 PM y las 3:00 PM).
- Limitaciones de batería o rango: Los vehículos eléctricos autónomos tienen una distancia máxima antes de necesitar recarga.
- Límites de tamaño de la hoja: El número total de vehículos disponibles está fijo, o el número de vehículos desplegados por turno está obligado.
- Exclusividad de la asignación: Cada tarea se asigna a un vehículo exactamente (o a cero si la solicitud puede ser rechazada).
La formulación de restricciones suele utilizar técnicas “grandes M” para modelar las condiciones lógicas, como “si el vehículo v sirve a la ubicación i, entonces también debe servir a la ubicación j dentro de su ruta”.
Formulación de problemas de optimización de la flota común
Varios problemas canónicos aparecen repetidamente en la gestión autónoma de flotas. Entender sus formulaciones IP ayuda a los practicantes a crear modelos para su contexto específico.
Problema de la rutina de vehículos (VRP)
El VRP es la columna vertebral de muchos sistemas de optimización de flotas. Un conjunto de ubicaciones de clientes deben ser visitadas por una flota de vehículos que comienzan y terminan en depósitos. La formulación clásica utiliza variables binarias e incluye restricciones para el grado (cada cliente visitada exactamente una vez), eliminación de subtorno (para evitar ciclos desconectados), y capacidad de vehículo.
Una simple formulación de VRP de un solo depósito (sin ventanas de tiempo) parece:
min Governing v ega (i,j) c ij · x ijv
]sujeto a:
]]xia v gia j x ijv = 1 para cada cliente i (visita cada una)
]] [I x i0v = 1 para cada vehículo v (depósito de descarga] [L]
Asignación y programación
La gestión de la flota también implica asignar vehículos a turnos, tareas o estaciones de carga. El problema de la asignación minimiza el costo (por ejemplo, viaje a la ubicación inicial) sujeto a cada vehículo que recibe la mayor parte de una tarea y cada tarea que está siendo cubierta por un vehículo. Cuando las tareas tienen ventanas de tiempo y vehículos múltiples se pueden asignar a la misma tarea en secuencia (por ejemplo, para la equitación), el problema se convierte en un complejo MIP de programación con prelación y sincronización.
Ubicación del depósito y composición de la flota
Las decisiones estratégicas como dónde ubicar estaciones de carga o cuántos vehículos de cada tipo para comprar son también problemas de programación enteros. Por ejemplo, un modelo de ubicación de la instalación utiliza variables binarias para aperturas de depósitos y variables enteros para el número de vehículos asignados a cada depósito.
Reequilibrio en tiempo real
En los sistemas autónomos de conducción, los vehículos ociosos deben ser reposicionados a áreas de demanda predicha. Se trata de un problema de transporte dinámico que puede ser modelado como un flujo de coste mínimo con flujos de enteros, actualizado cada pocos minutos a medida que llegan nuevas solicitudes.
Técnicas de solución y software
Los modelos de programación enteros se resuelven utilizando una mezcla de métodos exactos y aproximados. La elección depende del tamaño del problema, el tiempo de cálculo disponible y los requisitos de calidad de solución.
Métodos de acción
- ]Branch and bound: El algoritmo exacto más común para el MIP. Particiones recursivamente la región factible en subproblemas (marca) y computes bounds to prune suboptimal branches.
- Aplanes de corte: Las desigualdades se sumaron a la relajación del LP para afianzar la región factible y acelerar la búsqueda. Los solvers modernos combinan rama y se unen con los planos de corte (branch-and-cut).
- ]Marca y precio: Se utiliza cuando el problema tiene un gran número de variables (como todas las rutas posibles en VRP).El solucionador genera nuevas variables (columnas) en la mosca utilizando un subproblema de fijación de precios.
Los principales solvers comerciales para IP son IBM ILOG CPLEX], Gurobi, y FICO Xpress. Opciones de código abierto como SCIP ampliamente ] y [FLT[8]
Métodos heurísticos y metaheuristas
Cuando los casos de problemas son demasiado grandes para métodos exactos (miles de vehículos y millones de solicitudes), los enfoques heurísticos proporcionan soluciones rápidas.
- Heurística constructiva: Construir una solución paso a paso (por ejemplo, inserción vecina más cercana para VRP).
- Búsqueda local: Mejorar una solución existente mediante pequeñas modificaciones (2-opt, reubicación, intercambio).
- Metaheuristicas: Guía la búsqueda local para escapar del optima local. Ejemplos incluyen avivamiento simulado, algoritmos genéticos, búsqueda de tabús y búsqueda de barrios grandes (LNS).
Muchas plataformas de gestión de flotas utilizan un enfoque híbrido: ejecutar un solucionador IP por un tiempo limitado para obtener una solución de alta calidad, luego aplicar heurísticas para mejorar aún más.
Aplicaciones y estudios de casos en el mundo real
Los modelos de programación de enteros se implementan en flotas automotrices autónomas en varios sectores.
Ride-Hailing (Robotaxis)
Empresas como Waymo y Cruise utilizan optimización para equiparar vehículos con pasajeros, manejar millas vacías y flotas de rebalance. Un MIP típico para el envío de robotaxi incluye restricciones de asignación (un vehículo por viaje), ventanas de tiempo, rango de baterías y una penalización para viajes rechazados. El objetivo minimiza el tiempo de espera de los pasajeros y la distancia total de viaje.
Vehículos de entrega autónoma
Nuro, Starship Technologies y Amazon Scout implementan flotas de vehículos autónomos pequeños para la entrega de última millas. Planes de programación enteros rutas y horarios para cientos de vehículos, a menudo con ventanas de entrega sensibles al tiempo y almacenamiento limitado a bordo. El VRP con ventanas de tiempo y limitaciones de capacidad es la formulación estándar.
Robots Automóviles de Almacén (AMRs)
En centros de cumplimiento, flotas de AMRs mueven estantes o paquetes entre estaciones. Las coordenadas de programación más complejas eligen y colocan tareas, evitan la congestión y los horarios de carga de baterías. Un estudio de 2020 en Annals of Operations Research describió un MIP para la asignación de tareas de robot y la enrutadura que redujo el tiempo ocio en un 18%.
Transit public y Movilidad Compartida
Los transbordadores autónomos en entornos controlados (aeropuertos, campus, comunidades de jubilación) requieren planificación de rutas y programación que se adapte a la demanda. Los modelos de programación más inteligente optimizan el número de transbordadores, su frecuencia y detienen secuencias respetando los acuerdos de nivel de servicio.
Retos y consideraciones
A pesar del poder de la programación de enteros, aplicarlo a flotas autónomas implica varios obstáculos prácticos.
Tiempo de escala y cálculo
Una flota de 500 vehículos que atienden 10.000 solicitudes diarias conduce a un MIP con decenas de millones de variables y limitaciones. La solución a la óptimaidad puede tardar horas o días. En sistemas en tiempo real, las decisiones deben tomarse en segundos. La solución es utilizar la descomposición (por ejemplo, el horizonte de rodadura basado en tiempo, el agrupamiento geográfico) o la heurística rápida con la reoptimización periódica.
Incertidumbre y estocásticaidad
Los tiempos de viaje, la demanda del cliente y la disponibilidad del vehículo no se conocen perfectamente. Los modelos de IP deterministas pueden ser suboptimales cuando las predicciones son erróneas. La programación estocástica y la optimización robusta extienden IP para manejar la incertidumbre, pero aumentan la complejidad del modelo. Muchos operadores en su lugar reaplican con frecuencia (cada 5-10 minutos) con datos actualizados.
Integración con sistemas en tiempo real
Un modelo IP es útil si puede ingerir datos en vivo de vehículos, API de tráfico y colas de solicitud. Esto requiere una arquitectura de software que alimenta el último estado en el solucionador y mapea la solución óptima de nuevo a los comandos de flota. Latency entre la solución y la ejecución debe ser mínima.
Fairness and Regulatory Constraints
Las flotas autónomas deben obedecer las leyes de tráfico, las restricciones de acceso y posiblemente los requisitos de equidad (por ejemplo, servir a barrios subsidiados).Estos pueden ser codificados como limitaciones (por ejemplo, el número mínimo de vehículos asignados a una zona) o como sanciones suaves en el objetivo.
Future Directions
La programación más intensa para las flotas autónomas sigue evolucionando a lo largo de varias fronteras.
Integración con el aprendizaje automático
Los modelos ML pueden predecir patrones de demanda, tiempos de viaje y fallas de vehículos, alimentando estas previsiones como parámetros en el modelo IP. El aprendizaje de la reforzamiento también puede aprender políticas para reequilibrar, mientras que la IP maneja las decisiones de asignación combinatorial.
Optimización dinámica y distributiva
Los modelos de IP centralizados se convierten en un obstáculo para las flotas de miles de vehículos. Los esquemas de descomposición permiten a los vehículos o zonas resolver subproblemas más pequeños que se coordinan a través de los precios (la relajación grangiana) o mediante consenso (ADMM).
Plataformas de optimización de fin a fin
Las nuevas plataformas de software combinan los solvers IP, la simulación y la visualización para permitir que los operadores de flotas construyan rápidamente, prueben y desplieguen modelos. Ambientes de código bajo y código abierto como OR-Herramientas] y la Fundación COIN-OR reducen la barrera a la entrada.
Conclusión
Desarrollar modelos de programación enteros para la gestión autónoma de la flota de vehículos es una práctica rigurosa pero gratificante. Al definir cuidadosamente variables de decisión, objetivos y limitaciones, los operadores pueden resolver problemas de enrutamiento, programación y asignación que maximicen la eficiencia y la capacidad de respuesta. Los solvers modernos y métodos heurísticos hacen posible manejar flotas grandes y reales.