Asesor de recuperación IROPS · Capa de aumentación

Cuando una tormenta deja en tierra un hub, StormCrew devuelve un plan de recuperación de tripulación legal en segundos.

Inyecte una tormenta, observe cómo el radio de impacto se propaga en cascada por la red y obtenga un plan de recuperación legal según Part 117 y CBA en aproximadamente una décima de segundo, frente a las 4 a 12 horas documentadas que tarda la reorganización manual de emergencia. Los movimientos ilegales se enmascaran en el código, de modo que no pueden existir, y cuando el día es lo bastante malo el asesor escala a un humano en lugar de autoaprobar cancelaciones masivas.

~0.11 s

Tiempo de recuperación, este escenario sembrado

frente a 4 a 12 h manuales documentadas (research.md)

0 ilegales

Part 117 + CBA por construcción

Invariante con pruebas unitarias, 3 de 3 pruebas superadas

52 de 53

Vuelos con tripulación reasignada (98%)

Escenario sembrado, salida de la aplicación en vivo

Una demo ejecutable, no un despliegue. La red, las tripulaciones y la disrupción son sintéticas y sembradas, y cada cifra de esta página la produce el motor en ejecución.

En un colapso, el enemigo es una reorganización manual de emergencia de 4 a 12 horas

El solver nunca fue el problema. Lo eran la velocidad, la legalidad y la visibilidad.

Cuando las operaciones irregulares golpean y una tormenta deja en tierra un hub, el centro de control de operaciones tiene que reasignar tripulación a la cascada de vuelos posteriores que acaban de perder la suya. Hoy gran parte de eso es una reorganización manual de emergencia que dura unas 4 a 12 horas documentadas (research.md), bajo dos restricciones duras que no dejan margen de error: los límites de servicio y descanso de FAA Part 117, y los convenios colectivos sindicales (CBA) por aerolínea.

Si se equivoca, deja pasajeros varados y cancela vuelos. Desde que la norma de reembolso automático del DOT entró en vigor en octubre de 2024, cada retraso en cascada de 3 horas o más también se convierte en un golpe financiero automático. La escala no es hipotética: IROPS cuesta a la industria unos $60B al año (IATA), y el colapso de Southwest de diciembre de 2022 rondó los $1.2B, con unas 16,900 cancelaciones y alrededor de 2 millones de pasajeros varados.

La verdad incómoda es que nada de esto se arregla con una función objetivo más inteligente. La recuperación de la aerolínea es demasiado lenta para importar en la ventana que importa, demasiado arriesgada porque una sola infracción de Part 117 o de CBA es un evento de cumplimiento, y demasiado opaca porque el radio de impacto no es visible hasta que los vuelos ya se están cancelando. Esos son problemas operativos en torno a un solver, no problemas del solver.

Roster de servicio de tripulación de StormCrew después de que una tormenta deja en tierra el hub DEN, con el radio de impacto de 53 vuelos posteriores que perdieron su tripulación resaltado en ámbar a lo largo de la línea de tiempo de la red y el indicador de estado mostrando IROPS. — Inyecte la tormenta y el radio de impacto aparece de inmediato: 53 vuelos posteriores que perdieron su tripulación, la cascada que las herramientas heredadas ven demasiado tarde.

Cómo funciona: enmascare los movimientos ilegales y deje que un solver real elija

El código determinista toma todas las decisiones que importan. El LLM opcional solo narra, y se sitúa por completo fuera del núcleo de decisión.

Radio de impacto por alcanzabilidad en grafo

Dejar en tierra el hub más ocupado a primera hora del día inicia la cascada. El radio de impacto son los vuelos inmovilizados más los vuelos posteriores a un salto que pierden su tripulación, calculado por alcanzabilidad en grafo sobre la rotación. En el escenario sembrado son 53 vuelos en una red de 112 vuelos, 10 estaciones y 96 tripulaciones en servicio. Ese conjunto es lo que hay que recuperar, visible antes de que muerda y no después.

Generación de servicio legal por enmascaramiento de acciones

Part 117 (período máximo de servicio 780 minutos, tiempo de vuelo máximo 480 minutos, sit mínimo 30 minutos) y un CBA de muestra (máximo 4 segmentos) se aplican en el momento de la generación. Solo los servicios de recuperación legales, incluidos los reposicionamientos en deadhead, llegan a ser columnas candidatas. Una asignación ilegal no puede producirse, así que no puede elegirse. Esa es toda la idea detrás de la garantía de legalidad: imponerla por construcción, no penalizarla a posteriori.

Un solver CBC real elige la partición de conjuntos legal de coste mínimo

El motor es un solver MIP real (CBC vía PuLP), no un envoltorio. Selecciona la partición de conjuntos legal de coste mínimo sobre los servicios candidatos: cubrir cada vuelo abierto exactamente una vez, usar cada tripulación como máximo una vez, acotado por tiempo de reloj. En el escenario sembrado resuelve un problema de 1,815 variables binarias y 115 restricciones hasta OPTIMAL. Revelamos el motor y no pretendemos superarlo.

Comparación en sombra y luego una puerta de escalado

El plan se puntúa contra la línea base de no hacer nada con un modelo de coste compartido: tiempo de recuperación frente al ancla manual, cancelaciones evitadas y exposición a reembolsos automáticos del DOT evitada. Si la recuperación cancelara más del umbral de autoaprobación del 15 por ciento, el estado pasa a ESCALATE y se exige el visto bueno humano. Si el solver no encuentra una recuperación legal factible en el presupuesto de tiempo, también escala en lugar de fingir.

Cada recomendación queda sellada en un recovery_plan.json firmado: la disrupción, el plan elegido con cada tripulación y vuelo, la cláusula de Part 117 y CBA comprobada por acción contra su techo, el tiempo de reloj de la recuperación y el ahorro frente a la línea base manual. Es el registro del centro de control de operaciones de por qué se recomendó esta recuperación. Un copiloto de plan opcional (Claude por defecto, con proveedor intercambiable, o un puente local sin clave) explica el plan en lenguaje llano y se abstiene si no hay clave. El enmascaramiento determinista, el solver y la puerta de escalado deciden. El copiloto solo narra.

Etapa de resolución de StormCrew mostrando el motor CBC seleccionando una partición de conjuntos de coste mínimo sobre 1,815 variables binarias y 115 restricciones, devolviendo OPTIMAL con 35 columnas elegidas y una tabla de servicios de recuperación elegidos por tripulación, vuelos y tramos. — La etapa de resolución CBC: 1,815 variables binarias, 115 restricciones, OPTIMAL. El solver se revela como el motor; no se afirma superarlo.

El recovery_plan.json firmado exportado por StormCrew, mostrando el asesor y el motor CBC, el hub, radio de impacto 53, estado RECOVERED, la nota de garantía de legalidad, los límites regulatorios de Part 117 y CBA, segundos de recuperación 0.12 y el ahorro del escenario. — El recovery_plan.json firmado es el artefacto de auditoría: los límites regulatorios comprobados, el tiempo de recuperación y el ahorro, todo en un registro exportable.

Dos ejecuciones de la misma tormenta sembrada: recuperar y luego escalar

Cada cifra de abajo es la salida real del motor en ejecución sobre una red sintética sembrada.

La tormenta normal se recupera. El asesor enumera 1,762 servicios de recuperación legales (52 de ellos reposicionamientos en deadhead) más 53 alternativas de cancelación, de modo que CBC resuelve una partición de conjuntos de coste mínimo de 1,815 variables y 115 restricciones hasta OPTIMAL y devuelve el estado RECOVERED en unos 0.11 segundos. Reasigna tripulación a 52 de 53 vuelos (98 por ciento) con 34 tripulaciones (25 de línea más 9 de reserva) y 1 cancelación. La puerta de legalidad lee 52 de 52 servicios legales, 0 infracciones de CBA y 0 ilegales, verificada después de la resolución. Comparado en sombra contra cancelar los 53, este escenario evita 52 cancelaciones y unos $2.37M de exposición a reembolsos del DOT, ambos etiquetados como ilustrativos de este escenario.

Modal de resultado RECOVERED de StormCrew: recuperación legal publicada en 0.12 segundos frente a una línea base manual de 4 a 12 horas, una puerta de legalidad que lee 52 de 52 servicios legales y 0 infracciones, 52 cancelaciones evitadas, $2367k de reembolso DOT evitados ambos etiquetados como ilustrativos, 52 vuelos con tripulación reasignada y 98 por ciento del radio recuperado. — El resultado RECOVERED: 52 de 52 servicios legales, 0 infracciones y una puerta de autoaprobación que se mantiene dentro del umbral. Las cifras en dólares y de cancelaciones están etiquetadas como ilustrativas de este escenario.

El evento severo escala. Active severe y solo queda alrededor del 30 por ciento de las tripulaciones. CBC sigue devolviendo un plan legal en unos 0.05 segundos, y sigue siendo 0 ilegales, recuperando 33 de 53 vuelos (62 por ciento del radio). Pero cancelaría 20 de 53 vuelos (38 por ciento), por encima del umbral de autoaprobación del 15 por ciento, así que el estado pasa a ESCALATE y se exige el visto bueno humano. El plan se muestra igual y se señala al controlador. Simplemente no se autoaprueba. Esta es la parte que la mayoría de las propuestas autónomas omiten: saber cuándo el movimiento correcto no es dar el visto bueno a un mal día.

Resultado ESCALATE TO CONTROLLER de StormCrew para la ejecución severa: la recuperación cancela 20 de 53 vuelos al 38 por ciento, por encima del umbral de autoaprobación del 15 por ciento, así que se exige el visto bueno humano. La puerta de legalidad sigue leyendo 33 de 33 servicios legales, 0 infracciones, 0 ilegales, con 33 vuelos con tripulación reasignada y 62 por ciento del radio recuperado. — La ejecución severa: sigue siendo legal, sigue visible, pero pasa a ESCALATE para el visto bueno humano en lugar de autoaprobar un 38 por ciento de cancelaciones.

Qué es duradero frente a qué es específico del escenario

Los tiempos de recuperación, el 98 y el 62 por ciento recuperados, las 52 cancelaciones evitadas, los aproximadamente $2.37M de reembolso evitados y los 1,762 servicios legales son todos cifras de este único escenario sembrado. Las afirmaciones duraderas son las dos que podemos defender en cualquier parte: recuperación en segundos frente al referente manual documentado de 4 a 12 horas, y 0 ilegales por construcción, con pruebas unitarias como invariante en las pruebas de radio de impacto, columna legal y partición legal (3 de 3 superadas). El ahorro del escenario se compara contra una línea base de no hacer nada en el peor caso, que es el encuadre más favorable, así que lo etiquetamos como ilustrativo y no como titular.

Dónde encaja StormCrew y qué no hace esta demo

El comprador ya posee un buen solver. El valor está en la capa operativa a su alrededor.

Enfoque	Cómo gestiona una tormenta en el hub	Sobre legalidad y el mal día
Reorganización manual del OCC	Unas 4 a 12 horas documentadas para reasignar tripulación a la cascada a mano	La legalidad la comprueban humanos cansados bajo presión de tiempo; el radio de impacto no es visible hasta que se cancelan vuelos
Propuesta de optimizador de arrancar y reemplazar	Promete una función objetivo más inteligente y un nuevo sistema de registro	La legalidad se trata como un término de penalización; riesgo de lock-in, y ningún escalado honesto cuando la recuperación es imposible
StormCrew (capa de aumentación)	Radio de impacto al inyectar; un plan legal en segundos de un motor CBC revelado	Movimientos ilegales enmascarados en el código (0 ilegales, con pruebas unitarias); escala al visto bueno humano más allá del umbral; artefacto de auditoría firmado

La postura honesta aquí no es timidez. Cuando el comprador ya posee un solver en el que confía y no puede tolerar lock-in ni una recomendación inexplicada en el peor día del año, la aumentación por encima del reemplazo es la única vía creíble. Una garantía de legalidad pertenece al código determinista, impuesta por construcción, de modo que ninguna elección de solver o modelo pueda romperla.

Qué NO hace esta demo

No afirma superar ni optimizar mejor que el solver. Usa CBC como motor y lo revela.
La red, las tripulaciones, la disrupción y los recuentos de pasajeros son sintéticos y sembrados. No hay datos de una aerolínea real, ni registros reales de tripulación, ni un gemelo digital de un transportista real.
Las alimentaciones en vivo como ADS-B, posiciones de tripulación y meteorología son un archivo reproducible. La integración con Jeppesen e IBS es un adaptador simulado. En esta versión no corre ninguna integración real.
Las cifras de dólares y vuelos del escenario son ilustrativas de una ejecución sembrada contra una línea base de no hacer nada en el peor caso, no un ahorro garantizado para ninguna aerolínea.
Una política GRL entrenada, un gemelo digital completo, coordinación multiagente, ejecución autónoma, coste ponderado por ingresos y una ruta DO-178C están todos aplazados, no construidos.
Esta es una demo que demuestra el mecanismo. No es un pipeline desplegado.

Preguntas que hacen los compradores

¿Esto sustituye nuestra pila de programación de tripulación de Jeppesen o IBS?

No. StormCrew es una capa de aumentación que corre en modo sombra y asesor sobre la pila de planificación basada en solver que ya posee. Añade visibilidad del radio de impacto, una garantía de legalidad, recuperación a escala de segundos y una puerta de escalado, y luego entrega un plan firmado para que un controlador lo acepte. No hay arrancar y reemplazar ni lock-in, porque el valor duradero es la capa operativa en torno a un solver, no un nuevo sistema de registro.

Dicen que recupera en segundos. ¿Afirman superar nuestro solver?

No, y somos deliberados en esto. StormCrew usa un solver MIP real (CBC vía PuLP) como motor y lo revela. Contrastamos una historia de optimizador más inteligente contra un solver maduro y ganó el solver, así que cambiamos la afirmación en lugar de los números. Las afirmaciones duraderas son la velocidad frente a la reorganización manual de emergencia y 0 ilegales por construcción, no la superioridad del optimizador.

¿Cómo garantizan realmente que no haya infracción de Part 117 o de CBA, y no solo «por lo general»?

Las restricciones de legalidad se imponen en el momento de generar el servicio mediante enmascaramiento de acciones, de modo que un servicio de recuperación ilegal nunca se crea como candidato. Los límites de servicio, tiempo de vuelo y sit de Part 117 y el tope de segmentos del CBA de muestra se aplican antes de que el solver vea una columna, lo que significa que una asignación ilegal no puede existir para ser elegida. Esto es un invariante demostrable con pruebas unitarias como 0 ilegales, no una puntuación que el modelo intenta mantener alta.

¿Los $2.37M en reembolsos evitados son un ahorro real que podemos poner en un caso de negocio?

Trátelo como ilustrativo de un escenario sembrado, no como un resultado garantizado. Se calcula sobre una red sintética comparando el plan del asesor contra una línea base de no hacer nada en el peor caso que deja varado todo el radio de impacto, usando un modelo de reembolso DOT de $300 por pasajero. Ese es el encuadre más favorable por diseño y está etiquetado como ilustrativo en pantalla. Las afirmaciones ancladas de forma independiente son la velocidad frente al referente manual documentado de 4 a 12 horas y 0 ilegales por construcción.

¿Qué ocurre en un día genuinamente malo cuando no se puede recuperar todo?

Escala en lugar de autoaprobar en silencio. En la ejecución severa con las reservas agotadas, el plan sigue siendo legal y sigue recuperando 33 de 53 vuelos, pero como cancelaría el 38 por ciento, por encima del umbral de autoaprobación del 15 por ciento, el estado pasa a ESCALATE y se exige el visto bueno humano. El plan se muestra y se señala en lugar de sellarse a ciegas, que es el punto: saber cuándo el movimiento correcto no es autoaprobar.

¿Esto corre con datos reales de aerolínea o alimentaciones en vivo?

No. La red, las tripulaciones, la disrupción y los recuentos de pasajeros son sintéticos y sembrados, sin datos de una aerolínea real ni registros reales de tripulación. Las alimentaciones en vivo como ADS-B, posiciones de tripulación y meteorología son un archivo reproducible, y la integración con Jeppesen e IBS es un adaptador simulado. El motor de legalidad y el optimizador CBC son código real, y el referente manual de 4 a 12 horas es un ancla externa documentada, así que la demo es una prueba fiel del mecanismo más que un despliegue.

Investigación técnica

La investigación detrás de esta demo — la arquitectura, el diseño de verificación y el plano empresarial.

Solución completa

Explore la solución Airline Crew Scheduling AI →

Ponga una garantía de legalidad alrededor del solver en el que ya confía

Para vicepresidentes y directores de control de operaciones, responsables de planificación de tripulación y CIO y equipos de ops-tech de aerolíneas.

Si su equipo está lidiando con cómo comprimir la ventana de recuperación IROPS sin arriesgar una infracción de Part 117 o de CBA, nos gustaría de verdad oír cómo lo están pensando. El problema es de toda la industria y las respuestas también lo serán.

Evaluación de recuperación IROPS

✓ Revisión de visibilidad del radio de impacto y la cascada en sus rotaciones
✓ Codificación de legalidad Part 117 y CBA en sus reglas
✓ Modelado de tiempo de recuperación y umbral de escalado
✓ Una lectura honesta de dónde ayuda la aumentación y dónde no

Desarrollo a medida

✓ Máscara de legalidad que hace imposible generar servicios ilegales
✓ Un solver MIP real conectado a sus restricciones de recuperación
✓ Puerta de escalado y visto bueno humano en sus umbrales
✓ Artefacto de auditoría firmado conectado a su pila operativa, primero en modo sombra

Conecta por WhatsApp Envía un correo a nuestro equipo