• Aucun résultat trouvé

• 1. General result:

N/A
N/A
Protected

Academic year: 2021

Partager "• 1. General result:"

Copied!
2
0
0

Texte intégral

(1)

Observability:

Contents

• 1. General result:

• 2. Proof:

• 3. Duality:

1. General result:

A linear continuous-time time-invariant system: ˙ x = Ax + Bu, y = Cx + Du is observable iff: from the observation of y([t

0

, t

f

]) for a given final time t

f

, it is possible possible to determine the initial value of the state x(t

0

).

Let n be the system order (x ∈ IR

n

). The observability property depends only on matrices A and C. In the sequel, we will consider the pair (A, C) instead of the 4 matrices (A, B, C, D) of the system.

The pair (A, C) is observable iff:

rank(O) = n with: O =

 C CA CA

2

.. . CA

n−1

 .

O is called the observability matrix .

2. Proof:

Let us consider the first n − 1 time-derivative of the free (u(t) = 0, ∀ t) response of the output y(t):

y = Cx

˙

y = C x ˙ = CAx

¨ y = C¨ x = CA

2

x .. .

d

n−1

y

dt

n−1

= C d

n−1

x

dt

n−1

= CA

n−1

x or:

 y y ˙ y ¨ .. .

dn−1y dtn−1

=

 C CA CA

2

.. . CA

n−1

| {z }

O

x .

1

(2)

In the (non-restrictive) single output case (y(t) → y(t)), O is a n × n matrix.

Thus, at any time t ∈ [t

0

, t

f

], on can determine x(t) from ˙ y, ¨ y, · · ·,

ddtn−1n−1y

iff rank(O) = n:

x(t) = O

−1

 y

˙ y

¨ y .. .

dn−1y dtn−1

and x(t

0

) = e

A(t0−t)

x(t) •

Remark: in this approach, it is assumed that one can derive y(t) at any time t in [t

0

, t

f

] using perfect non causal derivators (i.e.: knowing the whole trajectory y([t

0

, t

f

])). In a real-time implementation, we must keep in mind that such a perfect derivation is not realizable.

3. Duality:

The dual system G

d

(s) of the primal system G

p

(s) defined by the 4 state-space matrices A, B, C, D also noted:

G

p

(s) ≡

A B C D

is:

G

d

(s) ≡

A B C D

T

=

A

T

C

T

B

T

D

T

.

The controllablity (resp. observability) conditions can be converted into observ- ability (resp. controllabiity) conditions by changing the pair (A, B) by the pair (A

T

, C

T

) (resp (A, C) by (A

T

, B

T

)).

2

Références

Documents relatifs

We exhibit a pseudogroup of smooth local transformations of the real line, which is compactly generated, but not realizable as the holonomy pseudogroup of a foliation of codimension

Abstract— In this paper, a distributed observer is presented to estimate the state of a linear time-invariant plant in finite-time in each observer node. The design is based on

Next, by using a property that holds the contingent derivative in checking local uniqueness, we prove a new result, characterizing local observability in terms of sequences..

An infinitesimal increase of the volume ∆v brings an increase in p int , so that the piston moves until another equilibrium point with a bigger volume. On the other hand, a

White, Structural identifiability analysis of some highly structured families of state space models using differential algebra, J.. Martcheva , An introduction to

It is well-known that exact observability for an (autonomous) wave equation implies observability for the associates Schr¨ odinger equation, see e.g.. An inspection of the proof

Then, we present an algebraic Jacobian matrix which is de- rived from the theory of K¨ ahler differentials and used in the local algebraic observability test.. In the second part

Left: the estimated solutions of equation (14), with piecewise constant parameter c in the case of estimated output’s