Technische Samenvatting: Tracking door Ontkoppelingssingulariteiten via Homotopie-continuatie

1. Probleemstelling

Input–output feedback linearisatie is een standaardtechniek voor trackingcontrole in nietlineaire systemen met een goed gedefinieerde relatieve graad. Echter, deze methode faalt bij ontkoppelingssingulariteiten (decoupling singularities), gedefinieerd als de locus waar de ontkoppelingsmatrix $\Lambda(x)$ haar rang verliest (d.w.z. $\det \Lambda(x) = 0$). Op deze punten gaat de relatieve graad verloren, wordt de lineaire control law $u = \Lambda^{-1}(v - a)$ onbegrensd, en is traject-tracking doorgaans onmogelijk zonder schakelstrategieën of benaderingen.

Bestaande benaderingen, zoals damped least squares (DLS), ruilen trackingnauwkeurigheid in voor begrensdheid nabij singulariteiten, maar introduceren fouten in reguliere regio's en missen een rigoureus criterium voor de vraag of een specifieke singulariteit doorkruist kan worden. Andere methoden vertrouwen op vooraf geplande trajecten of dynamische reciprociteitsvoorwaarden voor specifieke mechanische systemen (bijv. Type-2 parallelle mechanismen), maar bieden geen algemeen, verenigd kader voor willekeurige vierkante control-affine systemen.

Dit artikel behandelt het probleem van het tracken van een referentietraject door geïsoleerde ontkoppelingssingulariteiten met begrensde controle-inspanning, zonder dat casusanalyse of het schakelen tussen verschillende control laws vereist is.

2. Methodologie

De voorgestelde methode herformuleert het traject-trackingprobleem als een real-time booglengte-homotopie-continuatie. In plaats van de singular ontkoppelingsmatrix $\Lambda(x)$ direct te inverteren, legt de controller het trackingprobleem in een één-parameter familie van vergelijkingen en lost de toestandsnelheid en een homotopie-parameter simultaan op.

Kernmechanisme

1. Geaugmenteerde Jacobiaan: De methode vervangt de singuliere ontkoppelingsmatrix $\Lambda(x)$ door een geaugmenteerde matrix $A = [\Lambda(x) \mid b]$, waarbij $b$ een homotopie-richtingsvector is gedefinieerd als $b(t) = h(x_0) - y^*(t)$ (het verschil tussen de anker-toestand en de referentie).
2. Least-Norm Oplossing: De controle-input $u$ en de snelheid van de homotie-parameter $\dot{\mu}$ worden berekend als de least-norm (Moore–Penrose) oplossing van het lineaire systeem:
   $$A \begin{bmatrix} u \\ \dot{\mu} \end{bmatrix} = -B$$
   waarbij $B$ de drift en referentie-trackingfouten representeert.
3. Transversaliteitsvoorwaarde: De methode steunt op een transversaliteitsvoorwaarde: $w^T b \neq 0$, waarbij $w$ een vector is in de linker nulruimte van $\Lambda(x)$. Deze voorwaarde zorgt ervoor dat de homotopie-richting $b$ een niet-nul component heeft langs de oncontroleerbare modus, waardoor de geaugmenteerde matrix $A$ volledige rij-rang behoudt, zelfs wanneer $\Lambda(x)$ met één graad aan rang verliest.
4. Oriëntatie en Gedrag: De controller bevat een scalaire gain $k$ en een vergrendelfout (locking error) $e = t - \mu$. Het gedrag bij een singulariteit (specifiek een Whitney fold) wordt bepa wordt bepaald door de oriëntatie van de kernel-vector $\hat{n}$ van $A$:
   • Reflectie ($\rho \geq 0$): De controller houdt de homotie-parameter monotoon. Bij een fold "glijdt" de toestand langs de singuliere set en reflecteert terug naar de binnenkomende tak. Dit is het standaard, stabiele gedrag.
   • Doorkruising (Continuïteit): De controller behoudt de continue tangentiële richting van de oplossingscurve. Dit stelt de toestand in staat om de singulariteit te doorkruisen naar de tegenovergestelde tak, hoewel dit kan leiden tot grotere transiënten en een tijdelijk verlies van parameter-vergrendeling.

Extensies

• Dynamische Systemen: Voor dynamische control-affine systemen is de methode direct toepasbaar op de ontkoppelingsmatrix $\Lambda(x) = Dh(x)g(x)$. Begrensdheid van de volledige toestand wordt gegarandeerd indien het systeem minimum-fase is (interne zero-dynamica is stabiel).
• Willekeurige Relatieve Graad: Voor systemen met een relatieve graad $r > 1$, gebruikt de methode een gefilterde-foutreductie. Een gefilterde trackingfout $\sigma$ wordt gedefinieerd zodat het systeem verschijnt als een systeem met relatieve graad één, waardoor dezelfde augmentatiestrategie kan worden toegepast.

3. Belangrijkste Bijdragen

Het artikel levert vijf primaire theoretische en praktische bijdragen:

1. Kernelstructuur Lemma: Een rigoureuze karakterisering van wanneer augmentatie de rangvermindering herstelt. Het bewijst dat als de transversaliteitsvoorwaarde standhoudt, de geaugmenteerde matrix $A$ volledige rang behoudt, maar de "feedback autoriteit" (de component van de kernel-vector die overeenkomt met de homotie-parameter) exact bij de singulariteit naar nul convergeert.
2. Begrensde Doorkruisingsstelling: Een bewijs dat onder de transversaliteitsvoorwaarde de controller begrensde controle-inputs produceert, de trackingfout tijdens de doorkruising begrensd blijft (met een transiënte excursie proportioneel aan de tijd doorgebracht nabij de singulariteit), en het systeem na de doorkruising exponentieel re-lockt naar de referentie.
3. Reflectie versus Doorkruising Dichotomie: Een oplossing voor het gedrag bij generieke folds. Het artikel bewijst dat de keuze van de kernel-oriëntatie bepaalt of het systeem reflecteert (glijdt en terugkeert) of doorkruist (traverseert de $Z/2$ monodromie van de fold cover). De reflectie-casus wordt getoond als een Filippov sliding mode, terwijl doorkruising overeenkomt met het traverseren van de $Z/2$ monodromie van de fold cover.
4. Generalisatie naar Hogere Relatieve Graden: De uitbreiding van de methode naar willekeurige relatieve graden via gefilterde-foutreductie, waarbij bewezen wordt dat de begrensdheids- en re-locking eigenschappen ook voor deze systemen gelden.
5. Consistentie met Feedback Linearisatie: Een bewijs dat de controller, weg van singulariteiten, identiek is aan exacte input–output feedback linearisatie tot op een $O(1/k)$ foutterm, wat garandeert dat er geen nauwkeurigheidsverlies optreedt in reguliere werkgebieden.

4. Simulatie-resultaten en Validatie

De theorie wordt gevalideerd via numerieke simulaties op vier verschillende systemen:

• Scalair Cubisch Systeem: Een eenvoudig 1-DOF systeem met een cubische output-mapping. De controller trackt een referentie die door twee ontkoppelingssingulariteiten beweegt, waarbij begrensde controle wordt behouden waar de naïeve inversie met ordes van grootte ($10^4$) divergeert.
• 2-DOF Planair Robotarm: De controller trackt een circulaire beweging die de arm naar volledige extensie dwingt (een kinematische singulariteit).
  • Met de reflectie-oriëntatie bereikt de arm de singulariteit, glijdt langs de grens en keert terug, waarbij de gewrichtssnelheden begrensd blijven ($<3$ rad/s) vergeleken met de naïeve resolved-rate vraag ($\sim 10^7$ rad/s).
  • Met de doorkruisings-oriëntatie slaagt de arm erin om van elleboogconfiguratie te wisselen ($q_2$ van positief naar negatief), wat de mogelijkheid aantoont om van werkmodus te veranderen, zij het met grotere transiënten.
• Dynamische Relatieve-Graad-Eén en Twee Plants: Simulaties op dynamische systemen bevestigen dat de methode de control-singulariteiten afhandelt terwijl de interne toestanden begrensd blijven (door de minimum-fase aanname). De controller passeert singulariteiten met begrensde inspanning, terwijl feedback linearisatie divergeert.
• Dual-Active-Bridge (DAB) Serie Resonant Converter: Een toepassing op vermogenselektronica waarbij de stationaire karakteristiek als de output-map wordt behandend. De controller handelt twee verschillende singulariteiten af:
  • Buck/Boost Fold: Een transversale doorkruising waarbij de modulatie-parameter door een modus-transitie gaat.
  • Resonantie Singulariteit: Een reflectie bij de resonantiefrequentie waar de vermogenswinst maximaal is. De controller reflecteert natuurlijk bij de resonantiepiek, wat Zero-Voltage Switching (ZVS) behoudt en de onbegrensde frequentiecommando's voorkomt die nodig zijn bij naïeve inversie.

5. Betekenis en Claims

Het artikel claimt een singulariteits-robuuste uitbreiding van feedback linearisatie te bieden. De betekenis ligt in:

• Verenigd Kader: Het biedt een enkele formule die werkt voor zowel reguliere tracking als tracking door singulariteiten, waardoor de noodzaak voor schakellogica of casus-specifieke analyse vervalt.
• Begrensdheid zonder Nauwkeurigheidsverlies: In tegenstelling tot damped least squares, dat nauwkeurigheid inruilt voor begrensdheid, is deze methode exact (tot $O(1/k)$) in reguliere regio's en introduceert slechts begrensde transiënten bij de singulariteit.
• Geometisch Inzicht: Het verheldert de geometrische voorwaarden (transversaliteit) die nodig zijn om een singulariteit te doorkruisen en karakteriseert expliciet de afweging tussen het behouden van parameter-vergrendeling en het veranderen van oplossingsvertakkingen.
• Praktische Toepasbaarheid: De methode wordt gedemonstreerd op diverse systemen, van eenvoudige kinematische modellen tot complexe vermogenselektronica converters, en toont aan dat het zowel "crossing" als "reflection" scenario's kan afhanden, afhankelijk van de fysieke beperkingen en de gekozen oriëntatie.

De auteurs merken bescheiden op dat de methode de klasse van regelbare systemen wat betreft structurele eigenschappen niet vergroot (het vereist nog steeds een goed gedefinieerde relatieve graad en minimum-fase zero-dynamica). In plaats daarvan vergroot het de toelaatbare operationele envelop van een gegeven systeem, waardoor het trajecten kan doorlopen die anders tot controle-divergentie zouden leiden. Het artikel concludeert dat, hoewel het geen controleerbaarheid kan creëren waar deze niet bestaat, het wel een gracieuze, begrensde faalmodus biedt voor verwijderbare singulariteiten.