Weight Certificates for Convex Multi-Objective MPC: Geometric Characterization, $\ell^1$ Construction, and $\ell^2$ Foreclosure

Resumo Técnico: Certificados de Pesos para MPC Multiobjetivo Convexo

Enunciado do Problema
Livros de regras de condução automatizada tipicamente classificam as violações de regras lexicograficamente, priorizando a segurança sobre a conformidade legal, e a legalidade sobre o conforto. Implementar essa hierarquia em Controle Preditivo de Modelo (MPC) tradicionalmente requer uma cascata de $L+1$ problemas de otimização sequenciais por ciclo de controle, o que é computacionalmente proibitivo para operações de alta frequência (10–100 Hz). Uma alternativa comum é a escalonamento por soma ponderada, que colapsa a hierarquia em um único problema de otimização ao atribuir pesos $w_1 \gg w_2 \gg \dots \gg w_L$. No entanto, as condições teóricas sob as quais uma única soma ponderada reproduz exatamente o ótimo lexicográfico não estão bem caracterizadas, e o heurístico padrão de "grande razão" ($w_1 \gg w_2$) é frequentemente aplicado sem justificativa geométrica. Este artigo investiga as condições geométricas sob as quais uma única resolução de soma ponderada é equivalente à cascata lexicográfica exata para programas com ordem de prioridade convexos e analisa a persistência de tais pesos no controle de horizonte recorrente.

Metodologia
Os autores formulam o problema usando um mapa de alcance $\Phi(z)$ que mapeia trajetórias para um vetor de custos de violação e um objetivo de desempenho. Eles definem a "imagem superior" deste mapa e caracterizam o conjunto de pesos que recuperam o ótimo lexicográfico como a fatia de desempenho unitário do cone normal externo no ponto lexicográfico.

A análise distingue dois regimes de penalidade:

1. Penalidades $\ell_1$ (Hinge): Os autores provam que, sob penalidades $\ell_1$, o conjunto de pesos equivalentes forma uma região poliédrica. Eles derivam uma construção explícita para esta região usando um sistema KKT escalonado, onde variáveis de subgradiente escalonadas $\beta_{i,j} = w_i \alpha_{i,j}$ permitem que as restrições de peso sejam expressas como desigualdades lineares. Isso permite a computação de um "centro de Chebyshev" de peso com uma margem certificada via um único programa linear.
2. Penalidades $\ell_2$ (Squared-Hinge): O artigo demonstra um resultado de "impossibilidade de conclusão" (foreclosure): se o multiplicador limitante para uma restrição ativa for diferente de zero, nenhum peso finito pode reproduzir exatamente o ótimo lexicográfico. Em vez disso, as violações decaem assintoticamente como $O(1/w)$ ou $O(1/w^2)$, o que significa que a equivalência exata é impossível para pesos finitos neste regime.

Para abordar a natureza dinâmica do controle de horizonte recorrente, os autores definem uma região de equivalência robusta como a interseção de regiões de equivalência pontuais através de múltiplas instâncias de decisão. Eles avaliam a persistência de pesos calibrados em logs de condução não utilizados na calibração, medindo quanto tempo um único peso permanece válido antes que o conjunto ativo de restrições mude.

Principais Contribuições

• Caracterização Geométrica: O artigo estabelece que a equivalência exata é uma questão de pertinência geométrica. Um vetor de pesos é equivalente se, e somente se, o vetor aumentado $(w, 1)$ suporta a imagem superior do mapa de alcance no ponto lexicográfico.
• Calibração Construtiva de $\ell_1$: Fornece uma descrição poliédrica computável do conjunto de pesos admissíveis para penalidades $\ell_1$. Isso permite a calibração offline de pesos que são garantidos para reproduzir a solução lexicográfica para uma instância convexa específica, incluindo uma margem de robustez certificada.
• Resultado de Impossibilidade de $\ell_2$: Prova que, para penalidades de dobrado de hinge (squared-hinge), a exatidão por peso finito é impossibilitada sempre que o multiplicador limitante for diferente de zero, contrastando fortemente com o caso $\ell_1$.
• Análise de Persistência: O estudo formaliza e mede a "persistência do certificado", encontrando que, no controle de horizonte recorrente, a interseção das regiões de equivalência ao longo de um episódio é tipicamente vazia. A vida útil mediana de um certificado válido é frequentemente de apenas um intervalo de amostragem (ou zero ciclos subsequentes), impulsionada pela rotatividade do conjunto ativo.

Resultados Experimentais
Os autores avaliaram sua abordagem usando o simulador nuPlan-mini com um livro de regras de 25 regras em 11 classes de cenários elegíveis para calibração.

• Calibração de Pesos: Em 9 de 11 classes elegíveis, os pesos calibrados exibiram componentes de nível quase iguais (ex: razões de 1:1:1 ou 2:1:1), contradizendo o heurístico de implantação de razão 100:10:1. O heurístico foi considerado como violando a condição de equivalência ao atribuir magnitudes que eram pequenas demais para os níveis de menor prioridade em relação aos requisitos geométricos.
• Desempenho em Malha Fechada: Uma estratégia de implantação "guardada" (guarded), que utiliza um peso calibrado com um monitor de tempo de execução para acionar um fallback de cascata ao detectar uma incompatibilidade de conformidade, mostrou-se promissora. Em 9 de 11 cenários, essa abordagem guardada dominou o Pareto lexicográfico da referência de cascata total; no entanto, os autores explicitamente rotulam este resultado como exploratório e não confirmatório devido a correções de múltiplos testes de hipóteses (ajuste de alfa de Bonferroni). Eles o caracterizam como uma observação forte de geração de hipóteses, em vez de uma conclusão estatisticamente validada.
• Fidelidade ao Nível de Evento: A calibração melhorou significamente a precisão ao nível de evento para violações do nível legal (dobrando a precisão de 0,232 para 0,463) em comparação com o peso heurístico, embora a contagem de dominância total contra o heurístico não tenha sido estatisticamente significativa.
• Tempo de Vida do Certificado: Medições empíricas confirmaram a fragilidade teórica da persistência. A vida útil mediana do certificado foi de um intervalo de 2,5 segundos em amostragem grosseira e zero ciclos subsequentes em amostragem densa (0,1s). A validade estava fortemente correlacionada com a estabilidade do conjunto ativo.

Significância e Alegações
O artigo alega fornecer a primeira caracterização geométrica rigorosa de quando uma única resolução de soma ponderada de MPC pode substituir uma cascata lexicográfica exata. Argumenta-se que o heurístico padrão de "grande razão" responde à pergunta errada; a prioridade é determinada pela pertinência em uma fatia específica do cone normal, não pela magnitude da separação de pesos.

Os autores enfatizam que suas descobertas são limitadas ao benchmark de simulação (nuPlan-mini) e não constituem uma garantia de prevenção de colisões ou conformidade regulatória em implantações no mundo real. Eles posicionam o trabalho como um refinamento de pesquisas anteriores (especificamente W-SQP), fornecendo o refinamento teórico ausente para garantias lexicográficas de $\ell_1$ e demonstrando que o regime de penalidade quadrática usado em algumas implantações é teoricamente incapaz de alcançar equivalência exata com pesos finitos.

A principal contribuição prática é uma arquitetura de "resolução ponderada monitorada": um sistema que utiliza um peso geometricamente certificado para eficiência, mas inclui um monitor leve para detectar quando o certificado expira (devido a mudanças no conjunto ativo), acionando o fallback para a cascata exata apenas quando necessário. Esta abordagem visa equilibrar a eficiência computacional com a conformidade estrita ao livro de regras, reconhecendo que um único peso estático não pode cobrir validamente todo um episódio de condução.