IROPS-hersteladviseur · Augmentatielaag

Wanneer een storm een hub aan de grond houdt, levert StormCrew in seconden een legaal crewherstelplan.

Injecteer een storm, zie de uitstralingsradius over het netwerk cascaderen, en krijg een Part 117- en CBA-legaal herstelplan in ongeveer een tiende van een seconde, waar de handmatige scramble een onderbouwde 4 tot 12 uur duurt. Illegale zetten worden in code weggemaskeerd, zodat ze niet kunnen bestaan, en wanneer de dag slecht genoeg is escaleert de adviseur naar een mens in plaats van massale annuleringen automatisch goed te keuren.

~0.11 s

Hersteltijd, dit scenario met seed

vs. onderbouwde 4 tot 12 u handmatig (research.md)

0 illegaal

Part 117 + CBA vanuit de constructie

Unit-geteste invariant, 3 van 3 tests slagen

52 van 53

Vluchten opnieuw bemand (98%)

Scenario met seed, live-appuitvoer

Een uitvoerbare demo, geen uitrol. Het netwerk, de bemanningen en de verstoring zijn synthetisch en geseed, en elk cijfer op deze pagina wordt geproduceerd door de draaiende engine.

Bij een meltdown is de vijand een handmatige scramble van 4 tot 12 uur

De solver was nooit het probleem. Snelheid, legaliteit en zichtbaarheid wel.

Wanneer irregular operations toeslaan en een storm een hub aan de grond houdt, moet het operations control center de cascade van stroomafwaartse vluchten die zojuist hun bemanning verloren opnieuw bemannen. Vandaag is veel daarvan een handmatige scramble die een onderbouwde 4 tot 12 uur duurt (research.md), uitgevoerd onder twee harde beperkingen die geen ruimte laten voor een fout: FAA Part 117-dienst- en rustlimieten, en de vakbonds-CBA per luchtvaartmaatschappij.

Als u het verkeerd doet, strandt u passagiers en annuleert u vluchten. Sinds de DOT-autorestitutieregel in oktober 2024 van kracht werd, wordt elke cascadevertraging van 3-uur-plus ook een automatische financiële klap. De schaal is niet hypothetisch: IROPS kost de sector ongeveer $60B per jaar (IATA), en de Southwest-meltdown van december 2022 liep op tot grofweg $1.2B met ongeveer 16,900 annuleringen en rond de 2 miljoen gestrande passagiers.

De ongemakkelijke waarheid is dat geen van dit wordt opgelost door een slimmere objectieffunctie. Het herstel van de luchtvaartmaatschappij is te traag om ertoe te doen in het venster dat ertoe doet, te riskant omdat één enkele Part 117- of CBA-overtreding een compliance-incident is, en te opaak omdat de uitstralingsradius niet zichtbaar is totdat vluchten al worden geannuleerd. Dat zijn operationele problemen rond een solver, geen solverproblemen.

StormCrew-dienstrooster van de bemanning nadat een storm de DEN-hub aan de grond houdt, met de uitstralingsradius van 53 stroomafwaartse vluchten die hun bemanning verloren, in amber gemarkeerd over de netwerktijdlijn, en de status-pill die IROPS toont. — Injecteer de storm en de uitstralingsradius verschijnt meteen: 53 stroomafwaartse vluchten die hun bemanning verloren, de cascade die legacy-tools te laat zien.

Hoe het werkt: maskeer de illegale zetten, en laat daarna een echte solver kiezen

Deterministische code neemt elke beslissing die ertoe doet. De optionele LLM vertelt alleen, en zit volledig buiten de beslissingskern.

Uitstralingsradius via graafbereikbaarheid

Het vroeg op de dag aan de grond houden van de drukste hub start de cascade. De uitstralingsradius is de aan de grond gehouden vluchten plus de stroomafwaartse vluchten op één hop die hun bemanning verliezen, berekend via graafbereikbaarheid over de rotatie. In het scenario met seed zijn dat 53 vluchten over een netwerk van 112 vluchten, 10 stations en 96 bemanningen in dienst. Die set is wat hersteld moet worden, zichtbaar gemaakt voordat het bijt in plaats van erna.

Generatie van legale diensten via actiemaskering

Part 117 (maximale dienstperiode 780 minuten, maximale vliegtijd 480 minuten, minimale sit 30 minuten) en een voorbeeld-CBA (maximaal 4 segmenten) worden afgedwongen op generatietijd. Alleen legale hersteldiensten, inclusief deadhead-herpositioneringen, worden ooit kandidaatkolommen. Een illegale toewijzing kan niet worden geproduceerd, dus kan ze niet worden gekozen. Dit is het hele idee achter de legaliteitsgarantie: dwing het af vanuit de constructie, niet door het achteraf te beboeten.

Een echte CBC-solver kiest de min-cost legale set-partition

De engine is een echte MIP-solver (CBC via PuLP), geen wrapper. Hij selecteert de min-cost legale set-partition over de kandidaatdiensten: dek elke open vlucht precies één keer, gebruik elke bemanning hoogstens één keer, begrensd in kloktijd. In het scenario met seed lost hij een probleem van 1,815 binaire variabelen en 115 beperkingen op tot OPTIMAL. Wij maken de engine bekend en claimen niet hem te verslaan.

Schaduwvergelijking, daarna een escalatiepoort

Het plan wordt gescoord tegen de niets-doen-baseline op een gedeeld kostenmodel: hersteltijd versus het handmatige anker, vermeden annuleringen, en vermeden DOT-autorestitutieblootstelling. Als het herstel meer zou annuleren dan de auto-approve-drempel van 15 procent, springt de status naar ESCALATE en is menselijke goedkeuring vereist. Als de solver geen haalbaar legaal herstel vindt binnen het tijdsbudget, escaleert hij eveneens in plaats van te doen alsof.

Elke aanbeveling wordt verzegeld in een ondertekende recovery_plan.json: de verstoring, het gekozen plan met elke bemanning en vlucht, de Part 117- en CBA-clausule per actie gecontroleerd tegen het plafond, de herstelkloktijd, en de besparingen versus de handmatige baseline. Het is het dossier van het operations control center waarom dit herstel werd aanbevolen. Een optionele plan-copilot (standaard Claude, provider verwisselbaar, of een lokale brug zonder sleutel) legt het plan uit in gewone taal en onthoudt zich zonder sleutel. Het deterministische masker, de solver en de escalatiepoort beslissen. De copilot vertelt alleen.

StormCrew-oplosfase die toont hoe de CBC-engine een min-cost set-partition selecteert over 1,815 binaire variabelen en 115 beperkingen, OPTIMAL teruggeeft met 35 gekozen kolommen en een tabel van gekozen hersteldiensten per bemanning, vluchten en legs. — De CBC-oplosfase: 1,815 binaire variabelen, 115 beperkingen, OPTIMAL. De solver wordt bekendgemaakt als de engine, niet geclaimd te worden verslagen.

De ondertekende recovery_plan.json die StormCrew exporteert, met de adviseur en engine CBC, hub, uitstralingsradius 53, status RECOVERED, de noot over de legaliteitsgarantie, de Part 117- en CBA-regelgevingslimieten, herstelseconden 0.12, en scenariobesparingen. — De ondertekende recovery_plan.json is het auditartefact: de gecontroleerde regelgevingslimieten, de hersteltijd en de besparingen, allemaal in één exporteerbaar dossier.

Twee runs van dezelfde storm met seed: herstel, daarna escalatie

Elk cijfer hieronder is de echte uitvoer van de draaiende engine op één synthetisch netwerk met seed.

De normale storm herstelt. De adviseur somt 1,762 legale hersteldiensten op (52 daarvan deadhead-herpositioneringen) plus 53 annuleringsfallbacks, zodat CBC een min-cost set-partition van 1,815 variabelen en 115 beperkingen tot OPTIMAL oplost en status RECOVERED teruggeeft in ongeveer 0.11 seconden. Hij bemant 52 van 53 vluchten opnieuw (98 procent) met 34 bemanningen (25 lijn plus 9 reserve) en 1 annulering. De legaliteitspoort leest 52 van 52 diensten legaal, 0 CBA-overtredingen en 0 illegaal, geverifieerd na de solve. Schaduwvergeleken met het annuleren van alle 53 vermijdt dit scenario 52 annuleringen en ongeveer $2.37M aan DOT-restitutieblootstelling, beide gelabeld als illustratief voor dit scenario.

StormCrew RECOVERED-resultaatmodal: legaal herstel gepubliceerd in 0.12 seconden tegen een handmatige baseline van 4 tot 12 uur, een legaliteitspoort die 52 van 52 diensten legaal en 0 overtredingen leest, 52 vermeden annuleringen, $2367k vermeden DOT-restitutie beide gelabeld als illustratief, 52 vluchten opnieuw bemand, en 98 procent van de radius hersteld. — Het RECOVERED-resultaat: 52 van 52 diensten legaal, 0 overtredingen, en een auto-approve-poort die binnen de drempel blijft. De dollar- en annuleringscijfers zijn gelabeld als illustratief voor dit scenario.

Het ernstige event escaleert. Zet severe aan en slechts ongeveer 30 procent van de bemanningen blijft over. CBC geeft nog steeds een legaal plan terug in ongeveer 0.05 seconden, en het is nog steeds 0 illegaal, met herstel van 33 van 53 vluchten (62 procent van de radius). Maar het zou 20 van 53 vluchten annuleren (38 procent), boven de auto-approve-drempel van 15 procent, dus springt de status naar ESCALATE en is menselijke goedkeuring vereist. Het plan wordt nog steeds getoond en gemarkeerd voor de controller. Het wordt alleen niet automatisch goedgekeurd. Dit is het deel dat de meeste autonome pitches overslaan: weten wanneer de juiste zet is om een slechte dag niet af te stempelen.

StormCrew ESCALATE TO CONTROLLER-resultaat voor de ernstige run: herstel annuleert 20 van 53 vluchten bij 38 procent, boven de auto-approve-drempel van 15 procent, dus is menselijke goedkeuring vereist. De legaliteitspoort leest nog steeds 33 van 33 diensten legaal, 0 overtredingen, 0 illegaal, met 33 vluchten opnieuw bemand en 62 procent van de radius hersteld. — De ernstige run: nog steeds legaal, nog steeds zichtbaar gemaakt, maar omgezet naar ESCALATE voor menselijke goedkeuring in plaats van 38 procent annuleringen automatisch goed te keuren.

Wat duurzaam is versus wat scenariospecifiek is

De hersteltijden, de 98 en 62 procent hersteld, de 52 vermeden annuleringen, de grofweg $2.37M vermeden restitutie, en de 1,762 legale diensten zijn allemaal cijfers van dit ene scenario met seed. De duurzame claims zijn de twee die we overal kunnen verdedigen: herstel in seconden tegen de onderbouwde handmatige benchmark van 4 tot 12 uur, en 0 illegaal vanuit de constructie, unit-getest als invariant over de tests voor uitstralingsradius, legale kolom en legale partitie (3 van 3 slagen). De scenariobesparingen vergelijken tegen een worst-case niets-doen-baseline, wat de meest gunstige framing is, dus labelen we ze illustratief in plaats van als kopclaim.

Waar StormCrew past, en wat deze demo niet doet

De koper heeft al een goede solver. De waarde is de operationele laag eromheen.

Aanpak	Hoe het een hubstorm afhandelt	Over legaliteit en de slechte dag
Handmatige OCC-scramble	Een onderbouwde 4 tot 12 uur om de cascade met de hand opnieuw te bemannen	Legaliteit gecontroleerd door vermoeide mensen onder tijdsdruk; de uitstralingsradius is niet zichtbaar totdat vluchten worden geannuleerd
Rip-and-replace-optimizerpitch	Beloft een slimmere objectieffunctie en een nieuw system of record	Legaliteit behandeld als een strafterm; lock-in-risico, en geen eerlijke escalatie wanneer herstel onmogelijk is
StormCrew (augmentatielaag)	Uitstralingsradius bij injectie; een legaal plan in seconden van een bekendgemaakte CBC-engine	Illegale zetten in code weggemaskeerd (0 illegaal, unit-getest); escaleert naar menselijke goedkeuring voorbij de drempel; ondertekend auditartefact

De eerlijke houding hier is geen schuchterheid. Wanneer de koper al een solver bezit die hij vertrouwt en geen lock-in of een onverklaarde aanbeveling kan verdragen op de slechtste dag van het jaar, is augmentatie boven vervanging de enige geloofwaardige ingang. Een legaliteitsgarantie hoort in deterministische code, afgedwongen vanuit de constructie, zodat geen keuze van solver of model die kan breken.

Wat deze demo NIET doet

Het claimt niet de solver te verslaan of beter te optimaliseren. Het gebruikt CBC als engine en maakt die bekend.
Het netwerk, de bemanningen, de verstoring en de passagiersaantallen zijn synthetisch en geseed. Er zijn geen echte luchtvaartgegevens, geen echte bemanningsdossiers en geen digitale tweeling van een echte maatschappij.
Live feeds zoals ADS-B, bemanningsposities en weer zijn een herspeelbaar bestand. De Jeppesen- en IBS-integratie is een mock-adapter. In deze versie draait geen echte integratie.
De dollar- en vluchtcijfers van het scenario zijn illustratief voor één run met seed tegen een worst-case niets-doen-baseline, geen gegarandeerde besparingen voor enige luchtvaartmaatschappij.
Een getraind GRL-beleid, een volledige digitale tweeling, multi-agentcoördinatie, autonome uitvoering, omzetgewogen kosten en een DO-178C-pad zijn allemaal uitgesteld, niet gebouwd.
Dit is een demo die het mechanisme bewijst. Het is geen uitgerolde pipeline.

Vragen die kopers stellen

Vervangt dit onze Jeppesen- of IBS-crewplanningstack?

Nee. StormCrew is een augmentatielaag die in schaduw- en adviesmodus draait boven op de solvergebaseerde planningsstack die u al bezit. Het voegt zichtbaarheid van de uitstralingsradius, een legaliteitsgarantie, herstel op secondenschaal en een escalatiepoort toe, en geeft vervolgens een ondertekend plan terug voor een controller om te accepteren. Er is geen rip-and-replace en geen lock-in, omdat de duurzame waarde de operationele laag rond een solver is, niet een nieuw system of record.

U zegt dat het in seconden herstelt. Claimt u onze solver te verslaan?

Nee, en daar zijn we bewust in. StormCrew gebruikt een echte MIP-solver (CBC via PuLP) als engine en maakt die bekend. We hebben een slimmere-optimizerverhaal gebenchmarkt tegen een volwassen solver en de solver won, dus veranderden we de claim in plaats van de cijfers. De duurzame claims zijn snelheid versus de handmatige scramble en 0 illegaal vanuit de constructie, niet optimizer-superioriteit.

Hoe garandeert u daadwerkelijk geen Part 117- of CBA-overtreding, en niet alleen meestal?

De legaliteitsbeperkingen worden op dienstgeneratietijd afgedwongen via actiemaskering, zodat een illegale hersteldienst nooit als kandidaat wordt aangemaakt. Part 117-dienst-, vliegtijd- en sitlimieten en het voorbeeld-CBA-segmentplafond worden toegepast voordat de solver ooit een kolom ziet, wat betekent dat een illegale toewijzing niet kan bestaan om te worden gekozen. Dit is een bewijsbare invariant, unit-getest als 0 illegaal, geen score die het model hoog probeert te houden.

Is de $2.37M aan vermeden restituties een echte besparing die we in een business case kunnen zetten?

Behandel het als illustratief voor één scenario met seed, geen gegarandeerde uitkomst. Het wordt berekend op een synthetisch netwerk door het plan van de adviseur te vergelijken met een worst-case niets-doen-baseline die de hele uitstralingsradius strandt, met een DOT-restitutiemodel van $300 per passagier. Dat is de meest gunstige framing met opzet en staat op het scherm als illustratief gelabeld. De onafhankelijk verankerde claims zijn snelheid versus de onderbouwde handmatige benchmark van 4 tot 12 uur en 0 illegaal vanuit de constructie.

Wat gebeurt er op een écht slechte dag wanneer u niet alles kunt herstellen?

Het escaleert in plaats van stilzwijgend automatisch goed te keuren. In de ernstige run met uitgeputte reserves is het plan nog steeds legaal en herstelt het nog steeds 33 van 53 vluchten, maar omdat het 38 procent zou annuleren, boven de auto-approve-drempel van 15 procent, springt de status naar ESCALATE en is menselijke goedkeuring vereist. Het plan wordt getoond en gemarkeerd in plaats van afgestempeld, en dat is het punt: weten wanneer de juiste zet is om niet automatisch goed te keuren.

Draait dit op echte luchtvaartgegevens of live feeds?

Nee. Het netwerk, de bemanningen, de verstoring en de passagiersaantallen zijn synthetisch en geseed, zonder echte luchtvaartgegevens en zonder echte bemanningsdossiers. Live feeds zoals ADS-B, bemanningsposities en weer zijn een herspeelbaar bestand, en de Jeppesen- en IBS-integratie is een mock-adapter. De legaliteitsengine en de CBC-optimizer zijn echte code, en de handmatige benchmark van 4 tot 12 uur is een extern onderbouwd anker, dus de demo is een getrouw bewijs van het mechanisme in plaats van een uitrol.

Technisch onderzoek

Het onderzoek achter deze demo — de architectuur, het verificatieontwerp en de enterprise-blueprint.

Volledige oplossing

Ontdek de Airline Crew Scheduling AI-oplossing →

Leg een legaliteitsgarantie rond de solver die u al vertrouwt

Voor VP's en directors van operations control, leads bemanningsplanning, en CIO's en ops-tech-teams van luchtvaartmaatschappijen.

Als uw team worstelt met hoe het IROPS-herstelvenster in te krimpen zonder een Part 117- of CBA-overtreding te riskeren, horen we graag hoe u erover nadenkt. Het probleem is sectorbreed en de antwoorden zullen dat ook zijn.

IROPS-herstelassessment

✓ Review van uitstralingsradius- en cascadezichtbaarheid op uw rotaties
✓ Codering van Part 117- en CBA-legaliteit op uw regels
✓ Modellering van hersteltijd en escalatiedrempel
✓ Een eerlijke lezing van waar augmentatie helpt en waar niet

Maatwerk

✓ Legaliteitsmasker dat illegale diensten onmogelijk te genereren maakt
✓ Een echte MIP-solver gekoppeld aan uw herstelbeperkingen
✓ Escalatiepoort en menselijke goedkeuring op uw drempels
✓ Ondertekend auditartefact gekoppeld aan uw ops-stack, eerst in schaduwmodus

Verbind via WhatsApp E-mail ons team