Reachability Analysis for Design Optimization

Titolo: Analisi di Raggiungibilità per l'Ottimizzazione del Progetto (Design Optimization)

1. Il Problema

Nel progetto di aeromobili di nuova generazione, le considerazioni di controllo sono fondamentali per garantire che le nuove piattaforme aeree possano eseguire le manovre richieste. Tuttavia, nella pratica attuale dell'ottimizzazione multidisciplinare del progetto (MDO), i concetti avanzati di controllo vengono spesso trascurati nelle fasi iniziali e riservati a stadi successivi di analisi. Questo compromesso semplifica la procedura di progettazione, ma rischia di portare a design non ottimali per la missione specifica.
Il problema centrale affrontato è come integrare efficacemente l'analisi di raggiungibilità (reachability analysis) nel processo di ottimizzazione del progetto. L'obiettivo è definire metriche che permettano di valutare le capacità di manovra dell'aeromobile in modo "agnostico rispetto al controllore" (controller-agnostic), senza vincolare la successiva sintesi del controllore di feedback, ma tenendo conto dei limiti fisici degli attuatori (input vincolati).

2. Metodologia

Gli autori propongono un approccio basato sull'analisi degli insiemi raggiungibili per sistemi lineari con input a magnitudine limitata (norma $L_\infty$). La metodologia si articola in due approcci principali:

• Caratterizzazione Esatta per Sistemi Planari:
  Per sistemi lineari tempo-invarianti (LTI) con un singolo ingresso, piano (2D) e con autovalori reali e distinti, gli autori investigano i confini degli insiemi raggiungibili.

  • Dimostrano che i punti "esposti" (exposed points) del bordo dell'insieme raggiungibile sono raggiunti da segnali di controllo saturi (che assumono valori massimi o minimi) che commutano al massimo una volta.
  • Derivano una rappresentazione parametrica esatta del bordo dell'insieme raggiungibile utilizzando funzioni definite da integrali della matrice di transizione dello stato.

• Approssimazione tramite Norme $L_p$:
  Poiché la caratterizzazione esatta è limitata a sistemi specifici, per sistemi lineari generali si propone di approssimare l'insieme raggiungibile sotto vincolo $L_\infty$ (magnitudine limitata) utilizzando insiemi raggiungibili sotto vincolo $L_p$ (con $p$ finito e grande).

  • Vengono derivati i controlli ottimali per il problema di minimizzazione della norma $L_p$ utilizzando il Principio del Minimo di Pontryagin.
  • Viene proposta una metodologia numerica per approssimare l'insieme raggiungibile $L_p$ campionando le condizioni iniziali del vettore costo (costate vector $\lambda(0)$) e simulando le traiettorie.
  • Viene stabilita una condizione sufficiente per identificare un sottoinsieme interno dell'insieme raggiungibile $L_p$ imponendo un vincolo sulla norma del vettore costo iniziale, riducendo così il costo computazionale.

3. Contributi Chiave

1. Caratterizzazione del Bordo: Fornitura di una caratterizzazione esatta e parametrica del bordo degli insiemi raggiungibili $L_\infty$ per sistemi planari a singolo ingresso con autovalori reali distinti.
2. Approssimazione $L_p \to L_\infty$: Sviluppo di un metodo numerico che sfrutta la convergenza delle norme $L_p$ verso $L_\infty$ per approssimare gli insiemi raggiungibili con vincoli di magnitudine, rendendo il problema trattabile per sistemi generali.
3. Controllo Ottimo $L_p$: Derivazione formale dei controlli ottimali per sistemi lineari con vincoli sulla norma $L_p$ e presentazione di un algoritmo numerico per la loro valutazione.
4. Integrazione nell'Ottimizzazione del Progetto: Dimostrazione pratica dell'incorporazione di queste metriche di raggiungibilità in un problema di ottimizzazione del progetto di un aeromobile altamente manovrabile.

4. Risultati

Gli autori applicano la metodologia all'ottimizzazione del progetto di un aeromobile, variando l'apertura alare ($b$) e la corda alare ($c$) per massimizzare la manovrabilità. Vengono presentati due casi di studio:

• Caso 1 (Metrica $L_2$): Utilizzo della traccia della Gramiana di raggiungibilità come vincolo. Per ottenere un aumento del 10% nella traccia (e quindi nelle dimensioni medie dell'insieme raggiungibile), è stato necessario aumentare il perimetro dell'ala del 33%.
• Caso 2 (Metrica $L_6$ come approssimazione di $L_\infty$): Utilizzo del volume dell'insieme raggiungibile $L_6$ come vincolo. Questo approccio, che approssima meglio i vincoli fisici reali (saturazione degli attuatori), ha mostrato che un aumento del 10% nel volume dell'insieme raggiungibile richiede solo un aumento dello 0,8% del perimetro dell'ala.

Questi risultati evidenziano come l'uso di metriche basate su norme diverse ($L_2$ vs $L_p$ con $p$ alto) porti a soluzioni di progetto significativamente diverse, con l'approccio $L_p$ che offre una valutazione più realistica delle capacità di manovra sotto vincoli di saturazione.

5. Significato e Implicazioni

Il lavoro è significativo perché colma il divario tra l'analisi di raggiungibilità (spesso usata per la verifica di sicurezza) e l'ottimizzazione multidisciplinare del progetto (MDO).

• Efficienza Computazionale: Offre metodi per valutare le capacità di manovra senza dover risolvere equazioni differenziali alle derivate parziali complesse (come quelle di Hamilton-Jacobi per sistemi non lineari) o simulare infinite traiettorie casuali.
• Progettazione Realistica: Permette di integrare i limiti fisici degli attuatori (saturazione) direttamente nel processo di progettazione, evitando di creare aeromobili che, pur essendo ottimali dal punto di vista strutturale o aerodinamico, non possono eseguire le manovre richieste a causa di limitazioni di controllo non considerate.
• Flessibilità: L'approccio è "agnostico rispetto al controllore", il che significa che le metriche di progetto non dipendono da una specifica strategia di controllo implementata, rendendo il design più robusto e adattabile a diverse architetture di controllo future.

In conclusione, il paper dimostra che l'analisi di raggiungibilità, se opportunamente approssimata e caratterizzata, può diventare uno strumento potente e computazionalmente efficiente per guidare l'ottimizzazione del progetto di sistemi dinamici complessi come gli aeromobili.