Spațiul de stat

De la Wikipedia, enciclopedia liberă.
Salt la navigare Salt la căutare

În statistică și fizica matematică , în special în mecanica rațională și în teoria sistemelor dinamice , o reprezentare în spațiul de stare , cunoscută și sub numele de reprezentare în spațiul de fază , este o descriere a unui sistem dinamic în care se face referire specială la starea variabilelor de sistemul, care formează un spațiu vectorial în care este reprezentat. Dimensiunea spațiului vectorial menționat mai sus este egală cu dublul numărului de grade de libertate al sistemului; invers, un spațiu vectorial având o dimensiune egală cu numărul de grade de libertate va putea lua în considerare doar starea sistemului într-un singur moment.

Spațiu de configurare

Având în vedere un sistem dinamic cu grade de libertate, spațiul vectorial generat de coordonatele generalizate se numește spațiul de configurare , în cadrul căruia sunt determinate univoc toate pozițiile unui sistem. În mecanica rațională, prin spațiu de configurație se înțelege de obicei o varietate care poate fi diferențiată în spațiul de coordonate generalizat, numit varietate de configurație .

Starea sau spațiul de fază

Se numește spațiul de stare sau spațiul de fază al unui sistem cu grade de libertate spațiul ale cărui puncte reprezintă în mod univoc toate și numai stările posibile ale sistemului. Prin urmare, este reprezentarea grafică a spațiului de stare și are o dimensiune egală cu . În general, în mecanica rațională, spațiul stărilor este o varietate diferențiată, a cărei dimensiune este de două ori numărul de grade de libertate a sistemului, în plus, poate fi definit ca pachetul cotangent al spațiului de configurare. În spațiul de fază, evoluția unui sistem dinamic discret apare ca o succesiune de puncte, în timp ce dacă sistemul dinamic este continuu, acesta poate fi reprezentat printr-o curbă continuă.

Alegerea coordonatelor [1] utilizate pentru a genera spațiul de fază este crucială în caracterizarea sistemului, în special a unor cantități fundamentale ale acestuia, cum ar fi, de exemplu, energia și ecuațiile sale de mișcare.

Exemple

  • În mecanica lagrangiană, spațiul de stare este definit ca spațiul coordonatelor lagrangiene , adică perechile , unde sunt vitezele conjugate cu coordonatele generalizate . Funcția care caracterizează dinamica sistemului este Lagrangianul :
Ecuațiile mișcării, obținute pornind de la principiul celei mai mici acțiuni, sunt ecuațiile Euler-Lagrange :
Ecuațiile mișcării sunt obținute prin rescrierea ecuațiilor Euler-Lagrange cu noile coordonate, sub forma ecuațiilor lui Hamilton :
  • Formulările lagrangiene și hamiltoniene nu sunt singurele posibile: Edward John Routh a propus o abordare hibridă între cele două formulări tradiționale ale mecanicii raționale. Dat fiind un sistem mecanic cu grade de libertate, al căror spațiu de configurare este generat de coordonatele generalizate , unde la momentele conjugate respective sunt asociate , în timp ce la se asociază vitezele generalizate respective . [2] [3] Prin urmare, spațiul de fază luat în considerare va avea coordonatele routhiene ca generatoare , care permit definirea funcției routhiene ca transformare Legendre a Lagrangianului, într-un mod complet analog cu ceea ce se întâmplă pentru Hamiltonian în coordonate hamiltoniene:
Deoarece coordonatele routhiene sunt un set de coordonate canonice , ele permit ecuațiilor Hamilton să își păstreze forma, dar, în același timp, ecuațiile Euler-Lagrange sunt valabile și pentru ele:
În general, utilizarea coordonatelor routhiene este deosebit de avantajoasă pentru sistemele în care apar coordonate ciclice .

În mecanica clasică , spațiul de fază reprezintă de obicei toate pozițiile posibile, viteza și impulsul oricărui punct material . De exemplu, spațiul de stare al unui pendul simplu cu masă este un cilindru : există un grad de libertate pentru variabila unghiulară care identifică poziția și care se deplasează pe un cerc și un grad de libertate pentru viteză și impuls, care a priori poate varia de-a lungul unei linii nelimitate .

Sisteme dinamice

Un sistem dinamic generic poate fi scris ca:

unde este sunt variabilele de stare și termenul este intrarea, care este omisă în cazul în care doriți să analizați răspunsul liber al sistemului. Prima ecuație se numește ecuația de stare , în timp ce a doua este ecuația de ieșire, unde ieșirea este notată cu . De sine este o combinație liniară a stărilor de intrare, adică este liniară și finit-dimensională, ecuația diferențială care o definește este scrisă frecvent în formă matricială , iar caracteristicile sale pot fi analizate prin funcția de transfer .

Combinând diferitele metode din domeniul frecvenței ( reprezentarea spectrală a semnalelor , metoda simbolică ) și timp , formalismul oferit de reprezentarea stării este una dintre cele mai răspândite tehnici pentru analiza sistemelor dinamice , în special a celor liniare .

În circuitele electrice , de exemplu, numărul variabilelor de stare este adesea considerat a fi același cu numărul de elemente capabile să stocheze energie, cum ar fi condensatorii și inductoarele .

Sisteme dinamice liniare

Pictogramă lupă mgx2.svg Același subiect în detaliu: Sistem dinamic liniar .

În sistemele staționare liniare, numărul minim de variabile de stare este egal cu gradul numitorului funcției de transfer după ce a fost redus la o fracție adecvată. În special, pentru teorema fundamentală a algebrei , numitorul are un număr de zerouri egal cu gradul său (polii fracției). Polii funcției de transfer sunt utilizați în general pentru a analiza stabilitatea sistemului. [4]

O reprezentare generică a domeniului de timp al unui sistem liniar dinamic cu intrări și ieșiri și variabilele de stare sunt scrise în următoarea formă: [5]

unde este este vectorul de stare, este vectorul de ieșire while este vectorul de intrare.

Matricea este "matricea dinamică", cu , matricea este "matricea de intrare", cu , matricea este "matricea de ieșire", cu , Și este „matricea directă de legătură intrare-ieșire” (în cazurile în care sistemul nu are o astfel de legătură, este o matrice nulă), cu .

Variabila de timp poate fi continuu (adică ) sau „corect” ( ), iar în acest caz este adesea indicat cu . Prin urmare, reprezentarea în spațiul de stat poate lua și formele:

  • Varianta de timp corect:

Funcție de transfer

Funcția de transfer a unui sistem LTI continuu poate fi obținută calculând transformata Laplace a:

care este:

Rezolvarea cu privire la :

de la care:

Prin înlocuire în ecuația de ieșire primesti:

De la funcția de transfer este definit ca raportul dintre ieșirea și intrarea sistemului, avem:

și înlocuind expresia anterioară a , având în vedere sistemul cu zero condiții inițiale ( ):

Matricea are dimensiune pentru . Deci, pentru fiecare intrare există, prin urmare funcții de transfer, adică una pentru fiecare ieșire.

Stabilitate

Pictogramă lupă mgx2.svg Același subiect în detaliu: teoria stabilității .

Studierea caracteristicilor de stabilitate și răspuns ale unui sistem liniar continu invariant în timp, adică liniar cu matrice care sunt constante în timp, pornind de la valorile proprii ale matricei este echivalent cu analizarea funcției sale de transfer în domeniul frecvenței . Aceasta poate fi o fracțiune și poate apărea, de exemplu, sub forma:

Numitorul funcției este egal cu polinomul caracteristic găsit calculând determinantul matricei :

Rădăcinile polinomului caracteristic corespund valorilor proprii ale , și sunt polii fracției, singularitățile în care modulul funcției de transfer este nelimitat. Stâlpii pot fi folosiți de exemplu pentru a vedea dacă sistemul este intern sau extern stabil .

Stabilitatea externă (stabilitatea BIBO) constă în limitarea ieșirii dacă intrarea este limitată. Acest lucru se întâmplă dacă polii instabili sunt anulați de zerouri în timpul calculului funcției de transfer, adică singularitățile sale sunt îndepărtabile.

Zero-urile numărătorului în schimb, ele pot fi utilizate în mod similar pentru a determina dacă sistemul este faza minimă sau nu.

Controlabilitate

Pictogramă lupă mgx2.svg Același subiect în detaliu: Controlabilitate , control automat și inginerie de control .

Controlabilitatea unui sistem implică posibilitatea, prin utilizarea unei intrări admisibile, de a-și aduce starea la orice valoare finală, începând de la orice valoare inițială și într-un timp finit. Controlabilitatea unui sistem de timp continuu LTI poate fi verificată prin condiția de accesibilitate, deoarece în aceste condiții cele două proprietăți corespund [6] :

unde rangul unei matrice este numărul maxim de rânduri sau coloane liniar independente ale unei matrice.

Observabilitate

Pictogramă lupă mgx2.svg Același subiect în detaliu: Observabilitate și observator de stat .

Observabilitatea cuantifică în ce măsură este posibilă derivarea stării sistemului pornind de la ieșirea sa. Observabilitatea și controlabilitatea unui sistem sunt matematic duale , [7] al doilea ne spune că din orice stare inițială mergem la orice stare finală și prima că din cunoașterea rezultatului putem reveni la starea inițială a sistemului .

Un sistem continuu, și în acest caz și discret, [8] LTI este observabil dacă și numai dacă

Părere

Pictogramă lupă mgx2.svg Același subiect în detaliu: Feedback .

O metodă obișnuită de descriere a feedback-ului, în limba engleză feedback, este multiplicarea ieșirii sistemului cu o matrice și intrare în sistem:

Dacă valoarea lui este negativ, există un feedback negativ .

Sistemul:

devine:

rezolvarea ecuației de ieșire pentru și intrând în ecuația de stare avem:

Avantajul acestei abordări este că valorile proprii ale poate fi controlat prin setare în mod adecvat prin descompunerea . Acest lucru este posibil dacă sistemul în buclă deschisă este controlabil sau dacă toate valorile proprii ale poate fi stabilizat.

O simplificare comună a acestui sistem presupune nimic și egală cu identitatea. În acest fel, ecuația se reduce la:

Feedback cu semnal de referință de intrare

Dacă la feedback se adaugă un semnal suplimentar:

sistemul:

devine:

rezolvarea ecuației de ieșire pentru și înlocuind ecuația de stare avem:

O simplificare comună este eliminarea termenului , care reduce ecuațiile la:

Sisteme cauzale

Descrierea spațiului de fază al mișcării haotice a unui pendul sub influența unei forțe externe.

Un sistem cauzal este descris prin propria sa funcție de transfer, adică gradul numărătorului este mai mic sau egal cu gradul numitorului și stabil. Este strict adecvat dacă gradul numărătorului este mai mic decât gradul numitorului și poate fi reprezentat ca o fracție complexă:

.

Este adesea posibil să scrieți sistemul sub forma:

.

respectiva formă canonică de controler, deoarece controlabilitatea este garantată pentru sistemul rezultat.

Scriere (dual):

.

în schimb se numește forma canonică a observatorului .

Notă

  1. ^ Trebuie amintit că coordonatele generalizate sunt o funcție a timpului, prin urmare funcțiile care depind de ele au întotdeauna o dependență implicită de timp. Dacă aceste funcții variază în funcție de timp, indiferent de coordonatele generalizate, vorbim de dependență explicită de timp.
  2. ^ Goldstein , p. 352 .
  3. ^ Landau și Lifšic , p. 134 .
  4. ^ Grasselli, Menini și Galeani , capitolul 4.7 pag. 249 .
  5. ^ Grasselli, Menini și Galeani , capitolul 2 pag. 31.
  6. ^ Grasselli, Menini și Galeani , capitolul 5 pag. 272.
  7. ^ Grasselli, Menini și Galeani , capitolul 6 pag. 364.
  8. ^ Grasselli, Menini și Galeani , capitolul 6 pag. 341.

Bibliografie

  • E. Fornasini, G. Marchesini Appunti di teoria dei sistemi, Ed progetto Padova, 2013
  • OM Grasselli, L. Menini e S. Galeani, Sistemi dinamici - Introduzione all'analisi e primi strumenti di controllo , 2008.
  • ( EN ) H. Goldstein, Classical Mechanics , 2ª ed., San Francisco, CA, Addison Wesley, 1980, pp. 352 –353, ISBN 0201029189 .
  • ( EN ) LD Landau e EM Lifšic , Mechanics , 3ª ed., Butterworth Heinemann, p. 134, ISBN 9780750628969 .
  • ( EN ) Antsaklis, PJ and Michel, AN 2007. A Linear Systems Primer , Birkhauser. ISBN 978-0-8176-4661-5 .
  • ( EN ) Chen, Chi-Tsong 1999. Linear System Theory and Design , 3rd. ed., Oxford University Press. ISBN 0-19-511777-8 .
  • ( EN ) Khalil, Hassan K. 2001 Nonlinear Systems , 3rd. ed., Prentice Hall. ISBN 0-13-067389-7 .
  • ( EN ) Nise, Norman S. 2004. Control Systems Engineering , 4th ed., John Wiley & Sons, Inc. ISBN 0-471-44577-0 .
  • ( EN ) Hinrichsen, Diederich and Pritchard, Anthony J. 2005. Mathematical Systems Theory I, Modelling, State Space Analysis, Stability and Robustness . Springer. ISBN 3-540-44125-5 .
  • ( EN ) Sontag, Eduardo D. 1999. Mathematical Control Theory: Deterministic Finite Dimensional Systems. Second Edition . Springer. ISBN 0-387-98489-5 ( available free online ).
  • ( EN ) Friedland, Bernard. 2005. Control System Design: An Introduction to State Space Methods . Dover. ISBN 0-486-44278-0 .
  • ( EN ) Zadeh, Lofti A. and Desoer, Charles A. 1979. Linear System Theory , Krieger Pub Co. ISBN 978-0-88275-809-1 .
  • ( EN ) Durbin, J. and S. Koopman (2001). Time series analysis by state space methods . Oxford University Press, Oxford.
  • ( EN ) Gerald Sussman, Structure and interpretation of classical mechanics , Cambridge, Mass, MIT Press, 2001, ISBN 0-262-19455-4 .

Voci correlate

Collegamenti esterni