Observability of Singular Systems with Commensurate Time-Delays and Neutral terms

International audienceThis paper deals with the observability problem of a sort of singular systems with commensurate time-delays in the trajectories of the system, in the time derivative of the trajectories (neutral terms), and in the output system. By using a recursive algorithm, sufficient conditions (easy testable) are proposed for guaranteeing the backward and the algebraic observability of the system. This condition implies that the trajectories of the system can be reconstructed by using the actual and past values of the system output

Unknown Input Functional Observability of Descriptor Systems with Neutral and Distributed Delay Effects

International audienceIn this paper a general class of linear systems with time-delays is considered, which includes linear classical systems, linear systems with commensurate delays, neutral systems and singular systems with delays. After given a formal definition of functional backward observability (BO), an easily testable condition is found. The fulfillment of the obtained condition allows for the reconstruction of the trajectories of the system under consideration using the actual and past values of the system output and some of its derivatives. The methodology we follow consists in an iterative algorithm based upon the classical Silverman algorithm used for inversion of linear systems. By using basic module theory we manage to prove that the proposed algorithm is convergent. A direct application of studying functional observability is that a condition can be derived for systems with distributed delays also, we do this as a case of study. The obtained results are illustrated by two examples, one is merely academic but illustrates clearly the kind of systems which the proposed methodology works for and the other is a practical system with distributed delays

ディスクリプタ形式で表現される多項式ファジィシステムに対する安定化制御系設計

電気通信大学202

Verkopplungsbasierte Methoden zum Regler- und Beobachterentwurf für nichtlineare Deskriptorsysteme

Bei der modularen Modellbildung dynamischer Systeme entsteht direkt und intuitiv eine differential-algebraische Beschreibungsform. In der regelungstechnischen Literatur wird diese meist als Deskriptorsystem bezeichnet. Die Interpretation eines nichtlinearen Deskriptorsystems als spezielles Verkopplungsproblem bildet die Grundlage für die in der vorliegenden Arbeit hergeleiteten Methoden. Dafür wird der aus der Zustandsraummethodik bekannte Verkopplungsentwurf genutzt, um für ein Deskriptorsystem ein verkoppeltes Zustandssystem zu berechnen. Dieses verkoppelte Zustandssystem existiert für alle regulären Deskriptorsysteme, insbesondere auch für solche mit differenzierendem Verhalten, und ist geeignet, die Lösung des Deskriptorsystems zu reproduzieren. Die verkoppelte Zustandsraumdarstellung stellt außerdem die Basis sowohl für Regler- als auch Beobachterentwürfe dar, wobei die besondere Herausforderung darin besteht, die Regler und Beobachter auf das Deskriptorsystem zu übertragen und vor allem immer ein geregeltes Deskriptorsystem zu erzeugen, welches regulär ist. Auf diesem Weg lassen sich für Zustandssysteme bekannte Methoden auf nichtlineare Deskriptorsysteme überführen. Unter der Angabe neuer notwendiger und hinreichender Bedingungen können Deskriptorsysteme sowohl statisch als auch dynamisch entkoppelt werden, unabhängig davon, ob sie differenzierendes Verhalten besitzen. Die Untersuchung der Entkopplungsregelung führt darüber hinaus auf neue invariante Kennzahlen für Deskriptorsysteme, den maximalen Differenzordnungen. Daneben wird die Nulldynamik eines Deskriptorsystems allgemein definiert, wodurch Aussagen über eine stabile Entkopplung möglich sind. Die exakte Deskriptorlinearisierung überführt ein Deskriptorsystem durch Deskriptorrückführung und Koordinatentransformation in ein lineares Deskriptorsystem. Für die Berechnungen sind im Allgemeinen partielle Differentialgleichungen zu lösen. Die in einem Sonderfall mögliche analytische Lösung kann dagegen direkt angegeben werden. Mit einem zeitvarianten Verkopplungsregler gelingt es außerdem, einen Riccatiregler für lineare, zeitvariante Deskriptorsysteme zu entwerfen. Neben dem Reglerentwurf für Deskriptorsysteme ist das verkoppelte Zustandssystem auch für die Definition und Überprüfung der Beobachtbarkeit geeignet. Der Beobachterentwurf für ein Deskriptorsystem führt im Allgemeinen auf ein dynamisches System, welches wieder ein Deskriptorsystem ist. Existiert ein Beobachter in Zustandsdarstellung, so wird das Deskriptorsystem als kausal beobachtbar bezeichnet. Für die kausale Beobachtbarkeit werden nicht nur neue notwendige und hinreichende Bedingungen hergeleitet, sondern auch ein Methode, die den Entwurf immer in einen Zustandsbeobachterentwurf für ein beobachtbares Zustandssystem überführt. Alle neuen Methoden werden außerdem auf lineare Deskriptorsysteme angewandt. Gerade die dort mögliche Transformation in den Laplacebereich ermöglicht ein einfacheres Verständnis der Ergebnisse. Die praktische Anwendbarkeit der theoretischen Methoden zeigen die Beispielsysteme am Ende der Arbeit. Die neuen Verfahren werden sowohl an Simulationsbeispielen als auch an einem realen Versuchsstand implementiert und validiert