Linear time-invariant systems, behaviors and modules (Q1986990)

This 700-plus page book provides a multifaceted introduction to linear time-invariant (LTI) systems theory, both for continuous-time and discrete-time. As stated by the authors, the book is intended ``to derive the systems theoretic and electrical engineering results, mainly taken from or inspired by the quoted textbooks, by partly new mathematical methods, in particular, by module-behavior duality; to give complete and exact proofs of all results from item \(1\) and also of all used mathematical results that go beyond the first two years of university mathematics (the latter will be recalled, but without proofs); to accompany all important results by algorithms that can be implemented in all computer algebra systems, for instance, in MAPLE.'' The book is divided into 13 chapters: 1. Introduction; 2. A Survey of the Book's Content; 3. The Language and Fundamental Properties of Behaviors; 4. Observability, Autonomy, and Controllability of Behaviors; 5. Applications of the Chinese Remainder Theorem; 6. Input/Output Behaviors; 7. Interconnections of Input/Output Behaviors; 8. The Transfer Matrix as Operator or Input/Output Map; 9. Stability via Quotient Modules; 10. Compensators; 11. Observers; 12. Canonical State Space Realizations of IO Systems via Gröbner Bases; 13. Generalized Fractional Calculus and Behaviors. Chapter 1 is an introduction of the goal and the discussed subjects of the book. Chapter 2 gives a detailed comment on the content of the book and explanations of the problems and results of LTI systems theory in the continuous-time case over the complex field \(\mathbb{C}\). Chapter 3 introduces the basic definition and properties of behaviors. The language and the mathematical framework introduced in this chapter forms the fundament for the rest of the book. In chapter 4, in terms of the behavior's trajectories and the torsion module of the system module, the authors study observability, autonomy, and controllability, which are three fundamental system properties. Chapter 5 recalls the Chinese remainder theorem (CRT) for modules and states some applications of CRT to fundamental systems of single differential and difference equations, to the primary decomposition of torsion modules and of autonomous behaviors, and to others. Chapter 6 considers the behaviors whose trajectories are decomposed into an input and an output component and their associated transfer matrices derived by module-behavior duality. Chapter 7 continues with the analysis of input and output (IO) behaviors and discusses the interconnections or networks of IO behaviors. By taking the transfer matrix of an input/output behavior as a transfer operator from input signals to output signals, the authors address some standard discrete-time and continuous-time cases in Chapter 8. Chapter 9 investigates algebraically the stability of autonomous behaviors and IO behaviors in view of localization method. Chapter 10 presents a detailed analysis of the stabilization of an unstable IO behavior (the plant) by output feedback and the compensator design, i.e., the construction of stabilizing compensators for tracking, disturbance rejection, or model matching. Chapter 11 concerns an input/output behavior: observer, which produces an estimate for the desired information via the known quantities. In Chapter 12, the authors show us how to use the Gröbner basis theory to construct the canonical observability and observer realizations of a behavior. Chapter 13 is an essential extension of the standard fractional calculus, which also tells us that the module-behavior duality can be applied to fractional or symbolic calculus and to the constructive solution of general fractional differential systems. Finally, after Chapter 13, the authors give a special note: ``The original version of the book was published with few errors in Chaps. 8 and 10. These have been corrected in the updated version.'' In my view, this book is interesting and can be helpful to students and researchers interested in LTI systems theory.