Stability Analysis and Controller Design for a Linear System with Duhem Hysteresis Nonlinearity

Sintesi Tecnica: Analisi della Stabilità e Progettazione del Controllo per un Sistema Lineare con Nonlinearità di Isteresi di Duhem

Definizione del Problema
Questo articolo affronta l'analisi della stabilità e la progettazione del controllo per le interconnessioni a feedback tra un sistema lineare e un operatore di isteresi di Duhem. L'isteresi è una nonlinearità diffusa in diversi sistemi, tra cui attuatori piezoelettrici, materiali ferromagnetici e attrito meccanico. Sebbene esistano vari modelli (ad es. Preisach, backlash, elastico-plastico), questo lavoro si concentra sull'operatore di Duhem grazie alla sua capacità di catturare dinamiche input-output (I/O) complesse. Nello specifico, gli autori investigano sistemi in cui il piano lineare e l'operatore di isteresi esibiscono dinamiche I/O di tipo antiorario (CCW) o orario (CW). La sfida principale consiste nello stabilire condizioni di stabilità e progettare controllori per questi sistemi interconnessi senza richiedere una conoscenza parametrica precisa dell'operatore di isteresi, basandosi invece sulle sue proprietà strutturali I/O.

Metodologia
Gli autori utilizzano un approccio basato sulla dissipatività, impiegando funzioni di accumulo (funzioni di Lyapunov) derivate dalle specifiche caratteristiche I/O dei sottosistemi.

1. Caratterizzazione delle Dinamiche:

   • Dinamiche CCW: Definite dalla disuguaglianza $\liminf_{T\to\infty} \int_0^T \langle \dot{y}(t), u(t) \rangle dt > -\infty$. Per gli operatori di Duhem, ciò è caratterizzato da una funzione di accumulo $H^\circleleft$ che soddisfa $\frac{d}{dt}H^\circleleft \leq \dot{y}u$.
   • Dinamiche CW: Definite dalla disuguaglianza duale $\liminf_{T\to\infty} \int_0^T y(t)^T \dot{u}(t) dt > -\infty$. Per gli operatori di Duhem, ciò è caratterizzato da una funzione di accumulo $H^\circleright$ che soddisfa $\frac{d}{dt}H^\circleright \leq y\dot{u}$.
   • Il documento esamina le condizioni sulle funzioni di Duhem $f_1$ e $f_2$ (specificamente riguardanti una funzione di anhisteresi $f_{an}$ e funzioni di transito) che garantiscono queste proprietà CCW o CW.

2. Analisi della Stabilità delle Interconnessioni:
   L'articolo analizza quattro casi distinti di interconnessione tra un sistema lineare $P$ e un operatore di Duhem $\Phi$ (riassunti nella Tabella I del testo originale):

   • Caso (a): Sia $P$ che $\Phi$ sono CCW (Feedback positivo). La stabilità è dimostrata utilizzando una funzione di Lyapunov composta che coinvolge la forma quadratica del sistema lineare e la funzione di accumulo $H^\circleleft$ di Duhem. Le condizioni dipendono dal limite di settore della funzione di anhisteresi $f_{an}$.
   • Caso (b): $P$ è CW e $\Phi$ è CCW (Feedback negativo). La stabilità è stabilita tramite Disuguaglianze Matematiche Lineari (LMI) che sono indipendenti dai parametri specifici di $\Phi$, basandosi solo sulla sua proprietà CCW.
   • Caso (c): $P$ è CCW e $\Phi$ è CW (Feedback negativo). La stabilità è dimostrata utilizzando la proprietà S-CCW del sistema lineare e la funzione di accumulo $H^\circleright$ di Duhem.
   • Caso (d): Sia $P$ che $\Phi$ sono CW (Feedback positivo). La stabilità è analizzata utilizzando rappresentazioni estese dello spazio degli stati e LMI, richiedendo limiti sulle funzioni $f_1$ e $f_2$.

3. Progettazione del Controllo:
   Sulla base dei teoremi di stabilità, gli autori propongono una metodologia di progettazione del controllo. Il controllore $C$ è progettato per garantire che il sistema in cascata (pianta + controllore) soddisfi le specifiche LMI o le condizioni algebriche richieste per il corrispondente caso di interconnessione. Ciò consente la stabilizzazione senza dover invertire l'operatore di isteresi.

Contributi Chiave e Risultati

• Condizioni di Stabilità Sufficienti: Il documento fornisce condizioni sufficienti rigorose per la stabilità di sistemi a ciclo chiuso che coinvolgono l'isteresi di Duhem. Queste condizioni sono categorizzate in base alla natura CCW/CW del piano e dell'operatore di isteresi.
• Costruzione di Lyapunov: Vengono fornite costruzioni esplicite di funzioni di Lyapunov per ciascun caso di interconnessione, combinando l'energia del sistema lineare con le funzioni di accumulo ($H^\circleleft$ o $H^\circleright$) dell'operatore di Duhem.
• Sintesi del Controllo: Viene presentato un algoritmo sistematico per progettare controllori per piante lineari con attuatori o sensori isteretici. Il metodo si basa sulla risoluzione di LMI o disuguaglianze algebriche, evitando la necessità di una modellazione precisa dell'isteresi o di una compensazione inversa.
• Validazione Numerica: I risultati teorici sono validati attraverso esempi numerici che coinvolgono un sistema massa-smorzatore-molla con attuatori isteretici sia CCW (tipo piezoelettrico) che CW (tipo attrito). Le simulazioni dimostrano che i controllori progettati stabilizzano con successo i sistemi, portando le velocità a zero e le posizioni a valori costanti.

Significato e Rivendicazioni
Gli autori affermano che questo lavoro offre un paradigma differente per il controllo di sistemi con isteresi. A differenza degli approcci tradizionali che spesso richiedono la definizione di un operatore di isteresi inverso per cancellare la nonlinearità, questo metodo sfrutta le proprietà dissipative intrinseche (CCW o CW) dell'isteresi. Di conseguenza, la progettazione del controllo non richiede informazioni precise sui parametri dell'operatore di isteresi, ma solo sulle sue dinamiche I/O qualitative. Il documento asserisce che questo approccio basato sulla dissipatività può essere esteso a piante non lineari che esibiscono dinamiche CCW, ampliando l'applicabilità dei risultati oltre i sistemi lineari. Il lavoro è motivato e si basa su risultati precedenti riguardanti l'interconnessione di sistemi a immagine negativa (negative imaginary) e sistemi CCW, estendendo tali concetti per includere le dinamiche CW e la specifica struttura dell'operatore di Duhem.