Professional Documents
Culture Documents
N.H. Jo, H. Shim, Y.I. Son
Lecture Topics
자동화 및 DSP 연구실
State Variables
자동화 및 DSP 연구실
Inverted pendulum
State variables
State variables
: inductor current
: capacitor voltage
SS Representation from Transfer Function
자동화 및 DSP 연구실
State Transformations
자동화 및 DSP 연구실
State Transformation
How can we go from one state space realization to
another ?
New state vector z :
P : nonsingular matrix
Transformed equation
State Transformations
자동화 및 DSP 연구실
Laplace transform
Example
The linear system
BIBO Stability
Based on transfer function representation
A system is BIBO stable if system output is bounded for
all bounded inputs
Necessary and Sufficient Condition
All the transfer function poles must be in the LHP
Stability
자동화 및 DSP 연구실
Asymptotic stability
Eigenvalues = 1, -2 ⇒ unstable
BIBO stability
Pole= -2 ⇒ stable
Stability
자동화 및 DSP 연구실
Positive definiteness
A symmetric matrix M is said to be positive definite,
denoted by M >0, if x’Mx > 0 for every nonzero x
Lyapunov theorem
All eigenvalues of A have negative real parts ⇔
for any positive definite matrix N, the Lyapunov equation
Motivating exam.
Internal Stability
자동화 및 DSP 연구실
Internal stability
All signals within the feedback system should remain bounded for
all bounded inputs
All possible Transfer function between all inputs and outputs should
be stable
Only nine Transfer function between (R,D,N) and (U,Y,W) are sufficient
How to check this ?
Necessary and sufficient condition
The product of KGH has NO pole-zero cancellations in the RHP
(including jw-axis)
Transfer function (1+KGH) has NO zeros in the RHP
(including jw-axis)
Previous example revisited :
KGH has RHP pole-zero cancellation at +1 ⇒ Unstable !!
Controllability
자동화 및 DSP 연구실
Motivating example 1
Can the input u control x2 ?
Controllability
자동화 및 DSP 연구실
Definition
The system is controllable if there exists a
control u(t) that will take the state of the system from any initial
state x0 to any desired final state xf in a finite time interval
Theorem: Controllability
The system (A,B) is controllable iff the controllability matrix C
has full row rank
PBH rank test: The system (A,B) is controllable iff the matrix
has full row rank at every eigenvalue λ of A
The system (A,B) is controllable iff
K can be chosen s.t. λ (A-BK) are arbitrary
Theorem: Controllability
The system (A,B) is controllable ⇔ the controllability
Gramian
Why ?
Observability
자동화 및 DSP 연구실
Motivating example 1
Can we estimate the behavior of x1 by measuring y ?
The current passing through 2-Ω resistor always equals the current
source u
⇒ The response excited by the initial state x1 will not appear in y
⇒ The initial state x1 cannot be observed from the output
Motivating example 2
Can we estimate the behavior of x
by measuring y ?
If, u(t) = 0, ∀ t ≥ 0 ⇒ y(t) = 0, ∀ t ≥ 0
No matter what x(t) is
x(t) cannot be estimated by measuring y
Observability
자동화 및 DSP 연구실
Definition
The system
is observable if, for any x(0), there is a finite time τ such that x(0)
can be determined from u(t) and y(t) for 0 · t · τ
Roughly speaking, observability condition is required in order to
design an observer
Theorem: Observatility
The system (A,C) is observable iff the observability matrix O has full
column rank
PBH rank test: The system (A,C) is observable iff the matrix
has full column rank at every eigenvalue λ of A
Controllability, Observability
자동화 및 DSP 연구실
Theorem of duality
The pair (A,B) is controllable ⇔
The pair (AT,BT) is observable
Canonical decomposition
Kalman decomposition theorem
Controllable and observable
Controllable and unobservable
Uncontrollable and observable
Uncontrollable and unobservable
Controllability vs. Observability
Controllability: whether or not the state can be
controlled from the input
Observability: whether or not the initial state can be
observed from the output
Lack of Controllability or Observability
자동화 및 DSP 연구실
Example
Transfer function
If b1=0
The mode at 1: uncontrollable, pole 1: canceled out
If c1=0
The mode at 1: unobservable, pole 1: canceled out
If b2=0
The mode at 2: uncontrollable, pole -2: cancelled out
If c2=0
The mode at 2: unobservable, pole -2: cancelled out
Lack of either controllability or observability ⇒
pole-zero cancellation in the transfer function
Transfer function
Measuring θ alone
Unstable pole/zero cancellation (at 0)
A.S.: unstable ⇒ stabilization is NOT possible by measuring θ alone
Measuring x alone
No pole/zero cancellation
A.S.: stable ⇒ Stabilization is possible by measuring cart position x
alone
Controllable ?
: singular ⇒ unobservable
: nonsingular ⇒ observable
Example 1
Stabilizability
자동화 및 DSP 연구실
When does
Observer error go to zero ⇔ (A-LC) is a stable matrix
If (A,C) observable
⇒ L can be chosen s.t. λ (A-LC) are arbitrary
Observer Design
자동화 및 DSP 연구실
Observer Design Example
자동화 및 DSP 연구실
An observer is given by
Separation Principle
자동화 및 DSP 연구실
Characteristic Equation
Observer-based controller
Observer-based controller = Control using observers
(= Output feedback controller)
Observer-based controller can be used when full state are not available
But, No guaranteed stability margins
A simple Pendulum System
Observer
Desired observer roots: -10, -10
Observer-based controller
Observer-Based Controller
자동화 및 DSP 연구실
Observer-Based Controller
자동화 및 DSP 연구실
is stable
System type is increased (+1) ⇒ Tracking error = 0 is guaranteed (step
input)
Integral Control
자동화 및 DSP 연구실
Integral controller
Disk-drive Servomechanism
Objective
Tracking a non-decaying input (with zero SSE) such
as
step
ramp
sinusoidal input
Rejecting a non-decaying disturbance (with zero
SSE)
The key idea
including the equations satisfied by these external
signals as part of the problem formulation and
solving the problem of control in an error space
so we are assured that the error approaches zero
even if the output is following a non-decaying
command
Internal Model Principle
자동화 및 DSP 연구실
System equation
Assumption
Reference input & disturbance satisfy differential
equations of
order 2
Tracking error
Error-space
The state in error space
Overall system
Internal Model Principle
자동화 및 DSP 연구실
Control law
Disk-Drive Servomechanism
자동화 및 DSP 연구실
Controller
Internal Model Principle
자동화 및 DSP 연구실
END