In the development of optimal control, the complexity of the systems?to which it is applied?has increased significantly, becoming an issue in scientific computing. In order to carry out model-reductio
This book addresses the design of such tools for correct-by-construction synthesis of supervisors for systems and specifications represented in the discrete-event framework. The approach employed uses
H-infinity engineering continues to establish itself as a discipline of applied mathematics. As such, this extensively illustrated monograph makes a significant application of H-infinity theory to ele
The authors present the theory of symmetric (Hermitian) matrix Riccati equations and contribute to the development of the theory of non-symmetric Riccati equations as well as to certain classes of cou
This book gives an account of an ellipsoidal calculus and ellipsoidal techniques developed by the authors. The text ranges from a specially developed theory of exact set-valued solutions to the descri
