00.Preface.TOC
.pdfii
A Mathematical Approach
to Classical Control
Single-input, single-output, time-invariant, continuous time, finite-dimensional, deterministic, linear systems
Andrew D. Lewis
January–April 2003
This version: 22/10/2004
This version: 22/10/2004
Preface
The purpose of this preface is two-fold: (1) to discuss the philosophy of the approach taken, as it is nonstandard for an introductory course; (2) to discuss the content of the book.
The philosophy
Since this book takes an untraditional approach to introductory control, it is worth outlining why I have taken the approach I have.
The goals Clearly a new text in classical control needs to have some justification for its appearance, as there are already a large number of texts on the market, and these satisfy the demands made by a typical introductory course in feedback control. The approach in this book is not typical. The idea here is to develop control theory, at an introductory classical level, as a rigorous subject. This is di erent, note, from presenting the mathematics needed to understand control theory. One will often hear things like, “Classical control is merely an application of complex variable theory,” or “Linear control is merely an application of linear algebra.” While it is true that these parts of control theory do rely on the asserted branches of mathematics, control theory is such an e ective blend of many branches of mathematics that to categorise it as a subset of one is a disservice. The subject of control theory, even at an introductory level, has a mathematical life of its own, and it is this life that is being exhibited here.
The main benefit of such an approach is that not just the mathematics behind the subject, but the subject itself can be treated rigorously. The problems of control theory, and these are actual practical problems, often have precise mathematical statements, and the intent in this book is to give these wherever possible. The result is that a student will be able to understand simple problems in a larger context. For some, at least, this is useful. It also makes it possible to consider challenging control problems that cannot really be considered in an exclusively ad hoc treatment. It would seem that many classical control texts were written based upon the standard of control practice in, say, the early 1960’s. This practice, well laid out in the texts of Truxal [1955] and Horowitz [1963], had reached a point where, for the problems to which it was applicable, it was “finished.” This was expressed in one early paper as follows: “The present state of the art is such that it is safe to assume that, for linear single-loop feedback systems, almost no analysis or design problems of any consequence remain.” Such statements are seldom prophetic. Indeed, much has been done since the date of publication of the cited paper (1961), even for linear single-loop systems. Now we have means for handling problems that would be almost impossible to treat using the ad hoc methods of classical design. And the methods all rely on a firm grasp of not just the mathematics behind control theory, but the mathematics of the subject itself. This is the reason for this book.
The mathematical approach With the above as backdrop, this book is provided for students who can be relied upon to have a satisfactory background in linear algebra, differential equations (including the matrix exponential), basic complex analysis, and some
iv
transform theory. The appendices contain a quick overview of necessary background material, so that an instructor or a student can determine whether the book is useful.
Apart from the above pedagogical concerns, I have also tried to write the book with an eye towards its being a useful reference. In the book, I have tried to prove as many statements as possible; even many that are not commonly proved, but often stated. I do this not because I feel that all of these proofs should be delivered in lectures—I certainly do not do this myself. Rather, my objectives here are scholarly. I do not feel that such lofty goals clash with the rather more pedantic concerns of getting students to come to grips with basic material. Students who find the course challenging may safely omit consideration of the more technical proofs, provided that they understand the concepts behind the results. More curious students, however, are rewarded by having for reference proofs that can be di cult to find in the literature. Moreover, this approach has, in my experience, a pedagogical byproduct. If one teaches an introductory course in a manner not completely “method oriented,” natural questions will arise in the presentation. For example, if one even gets around to posing the problem of finding a controller that stabilises a given plant in a unity gain feedback loop, the natural question arises as to whether such controllers exist. The answer is a rmative, but the determination of this answer is nontrivial. A traditional approach to classical control masks the existence of the question, never mind providing the answer. Again, the advantage of the approach taken here, at least for the curious student, is that the answer to this more basic question may be found alongside the more standard ad hoc methods for controller design.
The rˆole of control design A word needs to be said about control design. Greater emphasis is being placed on engineering design in the engineering undergraduate curriculum, and this is a by all means an appropriate tendency. When teaching a control course, one faces a decision relative to design content. Should the design be integrated into the course at every stage, or should it be separated from the analysis parts of the course? In this book, the trend in engineering education is being bucked, and the latter course is taken. Indeed, care has been taken to explicitly separate the book into three parts, with the design part coming last. One can justly argue that this is a mistake, but it is the approach I have decided upon, and it seems to work. My rationale for adopting the approach I do is that in control, there is very simply a lot of analysis to learn before one can do design in a fulfilling way. Thus I get all the tools in place before design is undertaken in the latter stages of the book.
How to use the book It is not possible to cover all of the topics in this book in a single term; at least it is not advisable to attempt this. However, it is quite easy to break the contents of the book into two courses, one at an introductory level, and another dealing with advanced topics. Because this division is not readily made on a chapter-by-chapter basis, it is perhaps worth suggesting two possible courses that can be taught from this book.
An introductory course for students with no control background might contain roughly the following material:
1.Chapter 1;
2.Chapter 2, possibly omitting details about zero dynamics (Section 2.3.3), and going lightly on some of the proofs in Section 2.3;
3.Chapter 3, certainly going lightly on the proofs in Section 3.3;
4.Chapter 4, probably omitting Bode’s Gain/Phase Theorem (Section 4.4.2) and perhaps material about plant uncertainty models (Section 4.5);
v
5.Chapter 5, omitting many of the details of signal and system norms in Section 5.3, omitting Liapunov stability (Section 5.4), and omitting the proofs of the Routh/Hurwitz criteria;
6.Chapter 6, going lightly, perhaps, on the detailed account of signal flow graphs in Sections 6.1 and 6.2, and covering as much of the material in Section 6.4 as deemed appropriate; the material in Section 6.5 may form the core of the discussion about feedback in a more traditional course;1
7.Chapter 7, probably omitting robust stability (Section 7.3);
8.Chapter 8;
9.maybe some of the material in Chapter 9, if the instructor is so inclined;
10.Chapter 11, although I rarely say much about root-locus in the course I teach;
11.Chapter 12, omitting Section 12.3 if robustness has not been covered in the earlier material;
12.perhaps some of the advanced PID synthesis methods of Chapter 13.
When I teach the introductory course, it is o ered with a companion lab class. The lab course follows the lecture course in content, although it is somewhat more “down to earth.” Labs start out with the objective of getting students familiar with the ideas introduced in lectures, and by the end of the course, students are putting into practice these ideas to design controllers.
A more advanced course, having as prerequisite the material from the basic course, could be structured as follows:
1.thorough treatment of material in Chapter 2;
2.ditto for Chapter 3;
3.Bode’s Gain/Phase Theorem (Section 4.4.2) and uncertainty models (Section 4.5);
4.thorough treatment of signal and system norms from Section 5.3, proofs of Routh/Hurwitz criteria if one is so inclined, and Liapunov methods for stability (Section 5.4);
5.static state feedback, static output feedback, and dynamic output feedback (Section 6.4);
6.robust stability (Section 7.3);
7.design limitations in Chapter 9;
8.robust performance (Section 9.3);
9.Chapter 10, maybe omitting Section 10.4 on strong stabilisation;
10.basic loop shaping using robustness criterion (Section 12.3);
11.perhaps the advanced synthesis methods of Chapter 13;
12.Chapter 14;
13.Chapter 15.
1Of course, someone teaching a traditional course is unlikely to be using this book.
vi
The content
In Chapter 1 we engage in a loose discourse on ideas of a control theoretic nature. The value of feedback is introduced via a simple DC servo motor example using proportional feedback. Modelling and linearisation are also discussed in this chapter. From here, the book breaks up into three parts (plus appendices), with the presentation taking a rather less loose form.
Part I. System representations and their properties Linear systems are typically represented in one of three ways: in the time domain using state space methods (Chapter 2); in the Laplace transform domain using transfer functions (Chapter 3); and in the frequency domain using the frequency response (Chapter 4). These representations are all related in one way or another, and there exist vocal proponents of one or the other representation. I do not get involved in any discussion over which representation is “best,” but treat each with equal importance (as near as I can), pointing out the innate similarities shared by the three models.
As is clear from the book’s subtitle, the treatment is single-input, single-output (SISO), with a very few exceptions, all of them occurring near the beginning of Chapter 2. The focus on SISO systems allows students to have in mind simple models. MIMO generalisations of the results in the book typically fall into one of two categories, trivial and very di cult. The former will cause no di culty, and the latter serve to make the treatment more di cult than is feasible in an introductory text. References are given to advanced material.
Specialised topics in this part of the book include a detailed description of zero dynamics in both the state space and the transfer function representations. This material, along with the discussion of the properties of the transfer function in Section 3.3, have a rather technical nature. However, the essential ideas can be easily grasped independent of a comprehension of the proofs. Another specialised topic is a full account of Bode’s Gain/Phase Theorem in Section 4.4.2. This is an interesting theorem; however, time does not normally permit me to cover it in an introductory course.
A good understanding of the material in this first part of the book makes the remainder of the book somewhat more easily digestible. It has been my experience that students find this first material the most di cult.
Part II. System analysis Armed with a thorough understanding of the three representations of a linear system, the student is next guided through methods for analysing such systems. The first concern in such a discussion should be, and here is, stability. A control design cannot be considered in any way successful unless it has certain stability properties. Stability for control systems has an ingredient that separates it from stability for simple dynamical systems. In control, one is often presented with a system that is nominally unstable, and it is desired to stabilise it using feedback. Thus feedback is another central factor in our discussion of control systems analysis. We are rather more systematic about this than is the norm. The discussion of signal flow graphs in Sections Section 6.1 and 6.2 is quite detailed, and some of this detail can be skimmed. However, the special notion of stability for interconnected systems, here called IBIBO stability, is important, and the notation associated with it appears throughout the remainder of the book. The Nyquist criterion for IBIBO stability is an important part of classical control. Indeed, in Section 7.3 the ideas of the Nyquist plot motivate our discussion of robust stability. A final topic in control systems analysis is
vii |
viii |
performance, and this is covered in two chapters, 8 and 9, the latter being concerned with limitations on performance that arise due to features of the plant.
The latter of the two chapters on performance contains some specialised material concerning limitations on controller design that are covered in the excellent text of Seron, Braslavsky, and Goodwin [1997]. Also in this chapter is presented the “robust performance problem,” whose solution comprises Chapter 15. Thus Chapter 9 should certainly be thought of as one of special topics, not likely to be covered in detail in a first course.
Part III. Controller design The final part of the text proper is a collection of control design schemes. We have tried to present this material in as systematic a manner as possible. This gives some emphasis to the fact that in modern linear control, there are well-developed design methods based on a solid mathematical foundation. That said, an attempt has been made to point out that there will always be an element of “artistry” to a good control design. While an out of the box controller using some of the methods we present may be a good starting point, a good control designer can always improve on such a design using their experience as a guide. This sort of material is di cult to teach, of course. However, an attempt has been made to give su cient attention to this matter.
This part of the book starts o with a discussion of the stabilisation problem.
Part IV. Background and addenda There are appendices reviewing relevant material in linear algebra, the matrix exponential, complex variables, and transforms. It is expected that students will have seen all of the material in these appendices, but they can look here to refamiliarise themselves with some basic concepts.
What is not in the book The major omission of the book is discrete time ideas. These are quite important in our digital age. However, students familiar with the continuous time ideas presented here will have no di culty understanding their discrete time analogues. That said, it should be understood that an important feature in control is missing with the omission of digital control, and that instructors may wish to insert material of this nature.
This book is in its third go around. The version this year is significantly expanded from previous years, so there are apt to be many errors. If you find an error, no matter how small, let me know !
Andrew D. Lewis
Department of Mathematics & Statistics Queen’s University
Kingston, ON K7L 3N6, Canada andrew@mast.queensu.ca
(613) 533-2395 22/10/2004
This version: 22/10/2004
Table of Contents
1 An introduction to linear control theory |
1 |
||
1.1 |
Some control theoretic terminology . . . . . . . . . . . . . . . . . . . . . . . |
1 |
|
1.2 |
An introductory example . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
2 |
|
1.3 |
Linear di erential equations for physical devices . . . . . . . . . . . . . . . . |
7 |
|
|
1.3.1 |
Mechanical gadgets . . . . . . . . . . . . . . . . . . . . . . . . . . . |
7 |
|
1.3.2 |
Electrical gadgets . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
10 |
|
1.3.3 |
Electro-mechanical gadgets . . . . . . . . . . . . . . . . . . . . . . . |
11 |
1.4 |
Linearisation at equilibrium points . . . . . . . . . . . . . . . . . . . . . . . |
12 |
|
1.5 |
What you are expected to know . . . . . . . . . . . . . . . . . . . . . . . . . |
13 |
|
1.6 |
Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
14 |
I System representations and their properties |
21 |
||
2 State-space representations (the time-domain) |
23 |
||
2.1 |
Properties of finite-dimensional, time-invariant linear control systems . . . . |
24 |
|
2.2 |
Obtaining linearised equations for nonlinear input/output systems . . . . . |
31 |
|
2.3 |
Input/output response versus state behaviour . . . . . . . . . . . . . . . . . |
33 |
|
|
2.3.1 Bad behaviour due to lack of observability . . . . . . . . . . . . . . . |
33 |
|
|
2.3.2 Bad behaviour due to lack of controllability . . . . . . . . . . . . . . |
38 |
|
|
2.3.3 Bad behaviour due to unstable zero dynamics . . . . . . . . . . . . . |
43 |
|
|
2.3.4 A summary of what we have said in this section . . . . . . . . . . . . |
47 |
|
2.4 |
The impulse response . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
48 |
|
|
2.4.1 The impulse response for causal systems . . . . . . . . . . . . . . . . |
48 |
|
|
2.4.2 The impulse response for anticausal systems . . . . . . . . . . . . . . |
53 |
|
2.5 |
Canonical forms for SISO systems . . . . . . . . . . . . . . . . . . . . . . . |
54 |
|
|
2.5.1 |
Controller canonical form . . . . . . . . . . . . . . . . . . . . . . . . |
55 |
|
2.5.2 |
Observer canonical form . . . . . . . . . . . . . . . . . . . . . . . . . |
57 |
|
2.5.3 Canonical forms for uncontrollable and/or unobservable systems . . . |
59 |
|
2.6 |
Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
61 |
|
3 Transfer functions (the s-domain) |
75 |
||
3.1 |
Block diagram algebra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
76 |
|
3.2 |
The transfer function for a SISO linear system . . . . . . . . . . . . . . . . |
78 |
|
3.3 |
Properties of the transfer function for SISO linear systems . . . . . . . . . . |
80 |
|
|
3.3.1 Controllability and the transfer function . . . . . . . . . . . . . . . . |
81 |
|
|
3.3.2 Observability and the transfer function . . . . . . . . . . . . . . . . . |
85 |
|
|
3.3.3 Zero dynamics and the transfer function . . . . . . . . . . . . . . . . |
87 |
|
3.4 |
Transfer functions presented in input/output form . . . . . . . . . . . . . . |
90 |
|
3.5 |
The connection between the transfer function and the impulse response . . . |
95 |
|
|
3.5.1 Properties of the causal impulse response . . . . . . . . . . . . . . . |
95 |
|
|
3.5.2 |
Things anticausal . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
98 |
x
3.6 The matter of computing outputs . . . . . . . . . . . . . . . . . . . . . . . . 98
3.6.1Computing outputs for SISO linear systems in input/output form
using the right causal Laplace transform . . . . . . . . . . . . . . . . 99
3.6.2Computing outputs for SISO linear systems in input/output form
using the left causal Laplace transform . . . . . . . . . . . . . . . . . 101
3.6.3Computing outputs for SISO linear systems in input/output form
using the causal impulse response . . . . . . . . . . . . . . . . . . . . 102 3.6.4 Computing outputs for SISO linear systems . . . . . . . . . . . . . . 105 3.6.5 Formulae for impulse, step, and ramp responses . . . . . . . . . . . . 108 3.7 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
4 Frequency response (the frequency domain) |
119 |
||
4.1 |
The frequency response of SISO linear systems . . . . . . . . . . . |
. . . . . 119 |
|
4.2 |
The frequency response for systems in input/output form . . . . . |
. . . . . 122 |
|
4.3 |
Graphical representations of the frequency response . . . . . . . . . |
. . . . . 124 |
|
|
4.3.1 |
The Bode plot . . . . . . . . . . . . . . . . . . . . . . . . . |
. . . . . 124 |
|
4.3.2 A quick and dirty plotting method for Bode plots . . . . . . |
. . . . . 129 |
|
|
4.3.3 The polar frequency response plot . . . . . . . . . . . . . . |
. . . . . 135 |
|
4.4 |
Properties of the frequency response . . . . . . . . . . . . . . . . . |
. . . . . 135 |
|
|
4.4.1 Time-domain behaviour reflected in the frequency response |
. . . . . 135 |
|
|
4.4.2 |
Bode’s Gain/Phase Theorem . . . . . . . . . . . . . . . . . |
. . . . . 138 |
4.5 |
Uncertainly in system models . . . . . . . . . . . . . . . . . . . . . |
. . . . . 145 |
|
|
4.5.1 Structured and unstructured uncertainty . . . . . . . . . . . |
. . . . . 146 |
|
|
4.5.2 |
Unstructured uncertainty models . . . . . . . . . . . . . . . |
. . . . . 147 |
4.6 |
Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
. . . . . 150 |
II System analysis |
159 |
||
5 Stability of control systems |
161 |
||
5.1 |
Internal stability . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
162 |
|
5.2 |
Input/output stability . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
165 |
|
|
5.2.1 BIBO stability of SISO linear systems . . . . . . . . . . . . . . . . . |
165 |
|
|
5.2.2 BIBO stability of SISO linear systems in input/output form . . . . . |
168 |
|
5.3 |
Norm interpretations of BIBO stability . . . . . . . . . . . . . . . . . . . . . |
170 |
|
|
5.3.1 |
Signal norms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
170 |
|
5.3.2 Hardy spaces and transfer function norms . . . . . . . . . . . . . . . |
172 |
|
|
5.3.3 Stability interpretations of norms . . . . . . . . . . . . . . . . . . . . |
174 |
|
5.4 |
Liapunov methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
180 |
|
|
5.4.1 |
Background and terminology . . . . . . . . . . . . . . . . . . . . . . |
180 |
|
5.4.2 Liapunov functions for linear systems . . . . . . . . . . . . . . . . . |
182 |
|
5.5 |
Identifying polynomials with roots in C− . . . . . . . . . . . . . . . . . . . . |
189 |
|
|
5.5.1 |
The Routh criterion . . . . . . . . . . . . . . . . . . . . . . . . . . . |
189 |
|
5.5.2 |
The Hurwitz criterion . . . . . . . . . . . . . . . . . . . . . . . . . . |
193 |
|
5.5.3 |
The Hermite criterion . . . . . . . . . . . . . . . . . . . . . . . . . . |
195 |
|
5.5.4 |
The Li´enard-Chipart criterion . . . . . . . . . . . . . . . . . . . . . . |
199 |
|
5.5.5 |
Kharitonov’s test . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
200 |
5.6 |
Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
203 |
|
|
|
xi |
6 Interconnections and feedback |
211 |
||
6.1 |
Signal flow graphs . . . . . . . . . . . . . . . . . . . . . . . . . . . |
. . . . . 212 |
|
|
6.1.1 |
Definitions and examples . . . . . . . . . . . . . . . . . . . |
. . . . . 212 |
|
6.1.2 Signal flow graphs and systems of equations . . . . . . . . . |
. . . . . 215 |
|
|
6.1.3 Subgraphs, paths, and loops . . . . . . . . . . . . . . . . . . |
. . . . . 218 |
|
|
6.1.4 Cofactors and the determinants . . . . . . . . . . . . . . . . |
. . . . . 219 |
|
|
6.1.5 |
Mason’s Rule . . . . . . . . . . . . . . . . . . . . . . . . . . |
. . . . . 223 |
|
6.1.6 Sensitivity, return di erence, and loop transmittance . . . . |
. . . . . 226 |
|
6.2 |
Interconnected SISO linear systems . . . . . . . . . . . . . . . . . . |
. . . . . 229 |
|
|
6.2.1 Definitions and basic properties . . . . . . . . . . . . . . . . |
. . . . . 230 |
|
|
6.2.2 |
Well-posedness . . . . . . . . . . . . . . . . . . . . . . . . . |
. . . . . 233 |
|
6.2.3 Stability for interconnected systems . . . . . . . . . . . . . |
. . . . . 235 |
|
6.3 |
Feedback for input/output systems with a single feedback loop . . |
. . . . . 244 |
|
|
6.3.1 Open-loop versus closed-loop control . . . . . . . . . . . . . |
. . . . . 244 |
|
|
6.3.2 Unity gain feedback loops . . . . . . . . . . . . . . . . . . . |
. . . . . 247 |
|
|
6.3.3 Well-posedness and stability of single-loop interconnections |
. . . . . 248 |
|
6.4 |
Feedback for SISO linear systems . . . . . . . . . . . . . . . . . . . |
. . . . . 250 |
|
|
6.4.1 Static state feedback for SISO linear systems . . . . . . . . |
. . . . . 250 |
|
|
6.4.2 Static output feedback for SISO linear systems . . . . . . . |
. . . . . 255 |
|
|
6.4.3 Dynamic output feedback for SISO linear systems . . . . . . |
. . . . . 258 |
|
6.5 |
The PID control law . . . . . . . . . . . . . . . . . . . . . . . . . . |
. . . . . 261 |
|
|
6.5.1 |
Proportional control . . . . . . . . . . . . . . . . . . . . . . |
. . . . . 263 |
|
6.5.2 |
Derivative control . . . . . . . . . . . . . . . . . . . . . . . |
. . . . . 263 |
|
6.5.3 |
Integral control . . . . . . . . . . . . . . . . . . . . . . . . . |
. . . . . 264 |
|
6.5.4 Characteristics of the PID control law . . . . . . . . . . . . |
. . . . . 264 |
|
6.6 |
Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
. . . . . 269 |
|
7 Frequency domain methods for stability |
279 |
||
7.1 |
The Nyquist criterion . . . . . . . . . . . . . . . . . . . . . . . . . |
. . . . . 279 |
|
|
7.1.1 The Principle of the Argument . . . . . . . . . . . . . . . . |
. . . . . 279 |
|
|
7.1.2 The Nyquist criterion for single-loop interconnections . . . . |
. . . . . 281 |
|
7.2 |
The relationship between the Nyquist contour and the Bode plot . |
. . . . . 293 |
7.2.1Capturing the essential features of the Nyquist contour from the Bode
plot . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 293 7.2.2 Stability margins . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 294 7.3 Robust stability . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 303 7.3.1 Multiplicative uncertainty . . . . . . . . . . . . . . . . . . . . . . . . 304 7.3.2 Additive uncertainty . . . . . . . . . . . . . . . . . . . . . . . . . . . 308
7.4 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 311
8 Performance of control systems |
317 |
||
8.1 |
Time-domain performance specifications . . . . . . . . . . . . . . . . . . . . |
318 |
|
8.2 |
Performance for some classes of transfer functions . . . . . . . . . . . . . . . |
320 |
|
|
8.2.1 |
Simple first-order systems . . . . . . . . . . . . . . . . . . . . . . . . |
320 |
|
8.2.2 |
Simple second-order systems . . . . . . . . . . . . . . . . . . . . . . |
321 |
|
8.2.3 The addition of zeros and more poles to second-order systems . . . . |
326 |
|
|
8.2.4 |
Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
327 |
8.3 |
Steady-state error . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
328 |
xii
|
8.3.1 System type for SISO linear system in input/output form . . . . . . |
329 |
|
|
8.3.2 System type for unity feedback closed-loop systems . . . . . . . . . . |
333 |
|
|
8.3.3 |
Error indices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
336 |
|
8.3.4 The internal model principle . . . . . . . . . . . . . . . . . . . . . . |
336 |
|
8.4 |
Disturbance rejection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
336 |
|
8.5 |
The sensitivity function . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
342 |
|
|
8.5.1 Basic properties of the sensitivity function . . . . . . . . . . . . . . . |
343 |
|
|
8.5.2 |
Quantitative performance measures . . . . . . . . . . . . . . . . . . . |
344 |
8.6 |
Frequency-domain performance specifications . . . . . . . . . . . . . . . . . |
346 |
|
|
8.6.1 |
Natural frequency-domain specifications . . . . . . . . . . . . . . . . |
346 |
8.6.2Turning time-domain specifications into frequency-domain specifications350
8.7 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 350
9 Design limitations for feedback control |
361 |
||
9.1 |
Performance restrictions in the time-domain for general systems . . . . . . . |
361 |
|
9.2 |
Performance restrictions in the frequency domain for general systems . . . . |
368 |
|
|
9.2.1 |
Bode integral formulae . . . . . . . . . . . . . . . . . . . . . . . . . . |
369 |
|
9.2.2 |
Bandwidth constraints . . . . . . . . . . . . . . . . . . . . . . . . . . |
374 |
|
9.2.3 |
The waterbed e ect . . . . . . . . . . . . . . . . . . . . . . . . . . . |
375 |
|
9.2.4 |
Poisson integral formulae . . . . . . . . . . . . . . . . . . . . . . . . |
377 |
9.3 |
The robust performance problem . . . . . . . . . . . . . . . . . . . . . . . . |
381 |
|
|
9.3.1 Performance objectives in terms of sensitivity and transfer functions |
382 |
|
|
9.3.2 Nominal and robust performance . . . . . . . . . . . . . . . . . . . . |
385 |
|
9.4 |
Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
392 |
III |
Controller design |
395 |
||
10 |
Stabilisation and state estimation |
397 |
||
|
10.1 |
Stabilisability and detectability . . . . . . . . . . . . . . . . . . . . . . . . . |
398 |
|
|
|
10.1.1 |
Stabilisability . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
398 |
|
|
10.1.2 |
Detectablilty . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
400 |
|
|
10.1.3 |
Transfer function characterisations of stabilisability and detectability |
403 |
|
10.2 |
Methods for constructing stabilising control laws . . . . . . . . . . . . . . . |
405 |
|
|
|
10.2.1 |
Stabilising static state feedback controllers . . . . . . . . . . . . . . . |
406 |
|
|
10.2.2 |
Stabilising static output feedback controllers . . . . . . . . . . . . . |
408 |
|
|
10.2.3 |
Stabilising dynamic output feedback controllers . . . . . . . . . . . . |
416 |
|
10.3 |
Parameterisation of stabilising dynamic output feedback controllers . . . . . |
420 |
|
|
|
10.3.1 |
More facts about RH∞+ . . . . . . . . . . . . . . . . . . . . . . . . . |
421 |
|
|
10.3.2 |
The Youla parameterisation . . . . . . . . . . . . . . . . . . . . . . . |
423 |
|
10.4 |
Strongly stabilising controllers . . . . . . . . . . . . . . . . . . . . . . . . . |
429 |
|
|
10.5 |
State estimation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
429 |
|
|
|
10.5.1 |
Observers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
429 |
|
|
10.5.2 |
Luenberger observers . . . . . . . . . . . . . . . . . . . . . . . . . . . |
431 |
|
|
10.5.3 Static state feedback, Luenberger observers, and dynamic output feed- |
|
|
|
|
|
back . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
433 |
|
10.6 |
Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
438 |
|
|
|
|
xiii |
11 |
Ad hoc methods I: The root-locus method |
447 |
||
|
11.1 |
The root-locus problem, and its rˆole in control . . . . . . . . . . . . . . . . |
448 |
|
|
|
11.1.1 |
A collection of problems in control . . . . . . . . . . . . . . . . . . . |
448 |
|
|
11.1.2 |
Definitions and general properties . . . . . . . . . . . . . . . . . . . |
449 |
|
11.2 |
Properties of the root-locus . . . . . . . . . . . . . . . . . . . . . . . . . . . |
451 |
|
|
|
11.2.1 |
A rigorous discussion of the root-locus . . . . . . . . . . . . . . . . . |
451 |
|
|
11.2.2 |
The graphical method of Evans . . . . . . . . . . . . . . . . . . . . . |
460 |
|
11.3 |
Design based on the root-locus . . . . . . . . . . . . . . . . . . . . . . . . . |
461 |
|
|
|
11.3.1 |
Location of closed-loop poles using root-locus . . . . . . . . . . . . . |
461 |
|
|
11.3.2 |
Root sensitivity in root-locus . . . . . . . . . . . . . . . . . . . . . . |
462 |
|
11.4 |
The relationship between the root-locus and the Nyquist contour . . . . . . |
463 |
|
|
|
11.4.1 |
The symmetry between gain and frequency . . . . . . . . . . . . . . |
463 |
|
|
11.4.2 |
The characteristic gain and the characteristic frequency functions . . |
465 |
12 |
Ad hoc methods II: Simple frequency response methods for controller |
|||
|
design |
|
469 |
|
|
12.1 |
Compensation in the frequency domain . . . . . . . . . . . . . . . . . . . . |
469 |
|
|
|
12.1.1 |
Lead and lag compensation . . . . . . . . . . . . . . . . . . . . . . . |
470 |
|
|
12.1.2 |
PID compensation in the frequency domain . . . . . . . . . . . . . . |
473 |
|
12.2 |
Design using controllers of predetermined form . . . . . . . . . . . . . . . . |
475 |
|
|
|
12.2.1 |
Using the Nyquist plot to choose a gain . . . . . . . . . . . . . . . . |
476 |
|
|
12.2.2 |
A design methodology using lead and integrator compensation . . . . |
477 |
|
|
12.2.3 |
A design methodology using PID compensation . . . . . . . . . . . . |
483 |
|
|
12.2.4 |
A discussion of design methodologies . . . . . . . . . . . . . . . . . . |
486 |
|
12.3 |
Design with open controller form . . . . . . . . . . . . . . . . . . . . . . . . |
488 |
|
|
12.4 |
Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
488 |
|
13 |
Advanced synthesis, including PID synthesis |
493 |
||
|
13.1 |
Ziegler-Nichols tuning for PID controllers . . . . . . . . . . . . . . . . . . . |
493 |
|
|
|
13.1.1 |
First method . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
494 |
|
|
13.1.2 |
Second method . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
494 |
|
|
13.1.3 |
An application of Ziegler-Nicols tuning . . . . . . . . . . . . . . . . . |
496 |
|
13.2 |
Synthesis using pole placement . . . . . . . . . . . . . . . . . . . . . . . . . |
500 |
|
|
|
13.2.1 |
Pole placement using polynomials . . . . . . . . . . . . . . . . . . . |
500 |
|
|
13.2.2 |
Enforcing design considerations . . . . . . . . . . . . . . . . . . . . . |
507 |
|
|
13.2.3 |
Achievable poles using PID control . . . . . . . . . . . . . . . . . . . |
513 |
|
13.3 |
Two controller configurations . . . . . . . . . . . . . . . . . . . . . . . . . . |
516 |
|
|
|
13.3.1 |
Implementable transfer functions . . . . . . . . . . . . . . . . . . . . |
517 |
|
|
13.3.2 |
Implementations that meet design considerations . . . . . . . . . . . |
521 |
|
13.4 |
Synthesis using controller parameterisation . . . . . . . . . . . . . . . . . . |
521 |
|
|
|
13.4.1 |
Properties of the Youla parameterisation . . . . . . . . . . . . . . . . |
521 |
|
13.5 |
Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
522 |
|
14 |
An introduction to H2 optimal control |
525 |
||
|
14.1 |
Problems in optimal control and optimal state estimation . . . . . . . . . . |
526 |
|
|
|
14.1.1 |
Optimal feedback . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
526 |
|
|
14.1.2 |
Optimal state estimation . . . . . . . . . . . . . . . . . . . . . . . . |
528 |
|
14.2 |
Tools for H2 optimisation . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
530 |
xiv |
|
|
|
|
14.2.1 |
An additive factorisation for rational functions . . . . . . . . . . . . |
531 |
|
14.2.2 |
The inner-outer factorisation of a rational function . . . . . . . . . . |
531 |
|
14.2.3 |
Spectral factorisation for polynomials . . . . . . . . . . . . . . . . . |
532 |
|
14.2.4 |
Spectral factorisation for rational functions . . . . . . . . . . . . . . |
535 |
|
14.2.5 |
A class of path independent integrals . . . . . . . . . . . . . . . . . . |
536 |
|
14.2.6 |
H2 model matching . . . . . . . . . . . . . . . . . . . . . . . . . . . |
539 |
14.3 |
Solutions of optimal control and state estimation problems . . . . . . . . . . |
541 |
|
|
14.3.1 |
Optimal control results . . . . . . . . . . . . . . . . . . . . . . . . . |
541 |
|
14.3.2 |
Relationship with the Riccati equation . . . . . . . . . . . . . . . . . |
544 |
|
14.3.3 |
Optimal state estimation results . . . . . . . . . . . . . . . . . . . . |
548 |
14.4 |
The linear quadratic Gaussian controller . . . . . . . . . . . . . . . . . . . . |
550 |
|
|
14.4.1 |
LQR and pole placement . . . . . . . . . . . . . . . . . . . . . . . . |
550 |
|
14.4.2 |
Frequency domain interpretations . . . . . . . . . . . . . . . . . . . . |
550 |
|
14.4.3 |
H2 model matching and LQG . . . . . . . . . . . . . . . . . . . . . . |
550 |
14.5 |
Stability margins for optimal feedback . . . . . . . . . . . . . . . . . . . . . |
550 |
|
|
14.5.1 |
Stability margins for LQR . . . . . . . . . . . . . . . . . . . . . . . . |
551 |
|
14.5.2 |
Stability margins for LQG . . . . . . . . . . . . . . . . . . . . . . . . |
553 |
14.6 |
Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
553 |
|
15 An introduction to H∞ control theory |
557 |
||
15.1 |
Reduction of robust performance problem to model matching problem . . . |
558 |
|
|
15.1.1 |
A modified robust performance problem . . . . . . . . . . . . . . . . |
558 |
|
15.1.2 |
Algorithm for reduction to model matching problem . . . . . . . . . |
560 |
|
15.1.3 |
Proof that reduction procedure works . . . . . . . . . . . . . . . . . |
562 |
15.2 |
Optimal model matching I. Nevanlinna-Pick theory . . . . . . . . . . . . . . |
566 |
|
|
15.2.1 |
Pick’s theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
566 |
|
15.2.2 |
An inductive algorithm for solving the interpolation problem . . . . |
568 |
|
15.2.3 |
Relationship to the model matching problem . . . . . . . . . . . . . |
570 |
15.3 |
Optimal model matching II. Nehari’s Theorem . . . . . . . . . . . . . . . . |
570 |
|
|
15.3.1 |
Hankel operators in the frequency-domain . . . . . . . . . . . . . . . |
571 |
|
15.3.2 |
Hankel operators in the time-domain . . . . . . . . . . . . . . . . . . |
573 |
|
15.3.3 |
Hankel singular values and Schmidt pairs . . . . . . . . . . . . . . . |
576 |
|
15.3.4 |
Nehari’s Theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
578 |
|
15.3.5 |
Relationship to the model matching problem . . . . . . . . . . . . . |
580 |
15.4 |
A robust performance example . . . . . . . . . . . . . . . . . . . . . . . . . |
580 |
|
15.5 |
Other problems involving H∞ methods . . . . . . . . . . . . . . . . . . . . . |
580 |
IV |
Background material |
583 |
|
A |
Linear algebra |
585 |
|
|
A.1 |
Vector spaces and subspaces . . . . . . . . . . . . . . . . . . . . . . . . . . . |
585 |
|
A.2 |
Linear independence and bases . . . . . . . . . . . . . . . . . . . . . . . . . |
586 |
|
A.3 |
Matrices and linear maps . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
587 |
|
|
A.3.1 Matrices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
587 |
|
|
A.3.2 Some useful matrix lemmas . . . . . . . . . . . . . . . . . . . . . . . |
589 |
|
|
A.3.3 Linear maps . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
591 |
|
A.4 |
Change of basis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
592 |
|
|
|
|
xv |
xvi |
|
A.5 |
Eigenvalues and eigenvectors . . . . . . . . . . . . . . . . . . . . . . . . . . |
593 |
|
|
|
A.6 |
Inner products . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
594 |
|
|
B |
Ordinary di erential equations |
597 |
|
||
|
B.1 |
Scalar ordinary di erential equations . . . . . . . . . . . . . . . . . . . . . . |
597 |
|
|
|
B.2 |
Systems of ordinary di erential equations . . . . . . . . . . . . . . . . . . . |
600 |
|
|
C Polynomials and rational functions |
609 |
|
|||
|
C.1 |
Polynomials . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
609 |
|
|
|
C.2 |
Rational functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
611 |
|
|
D |
Complex variable theory |
617 |
|
||
|
D.1 |
The complex plane and its subsets . . . . . . . . . . . . . . . . . . . . . . . |
617 |
|
|
|
D.2 |
Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
618 |
|
|
|
D.3 |
Integration . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
620 |
|
|
|
D.4 |
Applications of Cauchy’s Integral Theorem . . . . . . . . . . . . . . . . . . |
621 |
|
|
|
D.5 |
Algebraic functions and Riemann surfaces . . . . . . . . . . . . . . . . . . . |
623 |
|
|
E Fourier and Laplace transforms |
627 |
|
|||
|
E.1 |
Delta-functions and distributions . . . . . . . . . . . . . . . . . . . . . . . . |
627 |
|
|
|
|
E.1.1 |
Test functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
627 |
|
|
|
E.1.2 |
Distributions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
629 |
|
|
E.2 |
The Fourier transform . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
630 |
|
|
|
E.3 |
The Laplace transform . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . |
632 |
|
|
|
|
E.3.1 Laplace transforms of various flavours . . . . . . . . . . . . . . . . . |
632 |
|
|
|
|
E.3.2 Properties of the Laplace transform . . . . . . . . . . . . . . . . . . |
635 |
|
|
|
|
E.3.3 Some useful Laplace transforms . . . . . . . . . . . . . . . . . . . . . |
638 |
|