State-Space Modelling and Analysis

Sintesi Tecnica: Modellazione e Analisi dello Spazio degli Stati

Definizione del Problema
La scienza del controllo è identificata come una pietra angolare della civiltà moderna, tuttavia la sua applicazione pratica richiede un fondamento metodologico rigoroso che vada oltre le considerazioni hardware, software o economiche. Il documento affronta la necessità di un approccio sistematico alla Modellazione e Analisi dello Spazio degli Stati, un aspetto centrale della Teoria del Controllo Avanzato. Mentre il controllo classico (dominante durante la metà del XX secolo) si basa sull'analisi nel dominio $s$ ed è generalmente limitato a problemi a singolo ingresso-singolo uscita (SISO), il controllo moderno utilizza l'analisi dello spazio degli stati per gestire sistemi complessi a variabili multiple (MIMO). Il documento mira a colmare il divario tra i framework matematici teorici e le applicazioni ingegneristiche pratiche, fornendo un trattamento unificato di modellazione, analisi della stabilità e controllabilità per diversi sistemi dinamici.

Metodologia
Il documento impiega un approccio matematico strutturato, progredendo dalle equazioni differenziali di stato non lineari alle approssimazioni lineari, e infine all'analisi di stabilità e controllabilità.

1. Modellazione dello Spazio degli Stati:

   • Formulazione Non Lineare: La dinamica di vari sistemi è inizialmente modellata utilizzando equazioni differenziali di stato non lineari generiche della forma $\dot{x} = f(x, u)$. Applicazioni specifiche includono:
     • Pendoli Invertiti: Pendoli invertiti singoli e doppi su carrelli, derivando complesse equazioni non lineari che coinvolgono funzioni trigonometriche di angoli e accelerazioni.
     • Veicoli Autonomi: Navigazione di veicoli a bassa velocità (modello cinematico di bicicletta) e alta velocità (modello dinamico di bicicletta che incorpora la rigidezza di deriva dello pneumatico e gli angoli di side-slip) .
     • Motociclette/Biciclette: Modellazione della dinamica laterale e verticale (rollio), evidenziando l'accoppiamento tra sterzata e bilanciamento.
   • Linearizzazione: Per i sistemi che operano vicino a un punto di equilibrio (ad esempio, piccoli angoli), le equazioni non lineari vengono linearizzate per formare la rappresentazione standard dello spazio degli stati lineare: $\dot{x} = Ax + Bu$.

2. Sistemi Auto-Evolutivi e Feedback:

   • Il documento definisce i sistemi a ciclo chiuso come sistemi auto-evolutivi (autonomi) in cui l'ingresso di controllo $u$ è una funzione dello stato $x$ (ovvero $u = g(x)$), risultando in $\dot{x} = f_c(x)$.
   • Stabilisce che la stabilità di un sistema auto-evolutivo lineare è determinata dagli autovalori della matrice di transizione di stato $A_c$.

3. Analisi della Stabilità:

   • Sistemi Lineari: La stabilità è valutata tramite il criterio degli autovalori (tutti gli autovalori devono avere parti reali negative). Il documento collega questo al criterio di Routh-Hurwitz per determinare la posizione delle radici senza il calcolo esplicito degli autovalori.
   • Sistemi Non Lineari: Viene introdotta la strategia di Lyapunov. La stabilità è dimostrata trovando una funzione scalare $V(x)$ che sia definita positiva con una derivata temporale definita negativa (o semi-definita).
   • Equazioni Matriciali: Il documento dettaglia l'equazione di Lyapunov ($PX + X^TP = Y$) e l'equazione di Riccati (in tre formalismi: $P A + A^T P - P B R^{-1} B^T P + Q = 0$, ecc.). Fornisce algoritmi iterativi e metodi di matrice Hamiltoniana per risolvere queste equazioni, collegandoli al controllo ottimo e alla verifica della stabilità.

4. Analisi della Controllabilità:

   • Il documento definisce la controllabilità come la capacità di guidare un sistema da qualsiasi stato iniziale a qualsiasi stato desiderato.
   • Introduce la Matrice di Controllabilità ($C_{A,B} = [B, AB, \dots, A^{n-1}B]$) e stabilisce che un sistema lineare è controllabile se e solo se questa matrice ha rango pieno.

Contributi Chiave e Risultati

• Framework di Modellazione Unificato: Il documento fornisce derivazioni esplicite per le equazioni differenziali di stato di sistemi complessi, inclusi il pendolo invertito doppio (varianti a singolo ingresso e multi-ingresso), veicoli autonomi (tenendo conto del side-slip dello pneumatico ad alte velocità) e motociclette (incorporando la dinamica di rollio).
• Verifica della Stabilità:
  • Dimostra che il controllo laterale P per veicoli autonomi a bassa velocità è intrinsecamente instabile utilizzando il criterio di Routh-Hurwitz, indipendentemente dal guadagno proporzionale $P$.
  • Verifica la stabilità di un pendolo smorzato e di un disco rotante utilizzando funzioni di Lyapunov e analisi degli autovalori.
  • Dimostra la stabilità di un disco rotante sotto controllo P utilizzando la disuguaglianza di Lyapunov ($PA_c + A_c^T P < 0$).
• Validazione della Controllabilità:
  • Conferma che il pendolo invertito doppio è controllabile (sotto assunzioni lineari), contrastando lo scetticismo intuitivo sulla sua fattibilità.
  • Conferma la controllabilità del controllo laterale di veicoli autonomi a bassa velocità.
• Soluzioni Algoritmiche: Il documento presenta algoritmi specifici e frammenti di codice MATLAB per:
  • Risolvere le equazioni di Lyapunov tramite vettorizzazione.
  • Risolvere iterativamente le equazioni di Riccati per trovare matrici di guadagno stabilizzanti.
  • Calcolare le matrici di controllabilità in modo simbolico.
• Unificazione Teorica: Dimostra esplicitamente l'equivalenza tra la modellazione dello spazio degli stati lineare e la modellazione del sistema tramite trasformate di Laplace, mostrando che il polinomio caratteristico della matrice di stato $A$ è identico al denominatore della funzione di trasferimento del sistema.

Significato
Il documento si pone come un capitolo fondamentale (Capitolo 1) di un'opera più ampia su "Teoria del Controllo Avanzato per Applicazioni Pratiche". La sua importanza risiede in:

1. Applicabilità Pratica: Sottolinea che la teoria del controllo non è mera matematica astratta, ma è profondamente radicata in applicazioni pratiche, offrendo una fusione di "sapere perché" e "sapere come".
2. Rigore Metodologico: Fornisce una metodologia sistematica e passo dopo passo per passare dalle descrizioni fisiche dei sistemi alla modellazione dello spazio degli stati, alla linearizzazione e ai rigorosi controlli di stabilità/controllabilità.
3. Valore Educativo: Attraverso l'elaborazione di esempi complessi come il pendolo invertito doppio e la dinamica dei veicoli ad alta velocità, illustra come gli strumenti teorici (Lyapunov, Routh-Hurwitz, matrici di controllabilità) possano risolvere i dubbi sulla fattibilità del controllo di sistemi intrinsecamente instabili o complessi.
4. Fondamento per il Controllo Avanzato: Il documento funge da prerequisito per la comprensione di argomenti più avanzati (come il controllo ottimo e il controllo robusto) stabilendo i necessari formalismi matematici (equazioni di Riccati, controllabilità) richiesti da tali campi.

L'autore mantiene un tono modesto, osservando che, sebbene l'analisi teorica sia indispensabile, essa integra piuttosto che sostituire l'esperienza pratica, e che i modelli forniti sono approssimazioni adatte a specifici regimi operativi (ad esempio, bassa velocità vs alta velocità, equilibrio vs grandi deviazioni).