This unique book provides a bridge between digital control theory and vehicle guidance and control practice. It presents practical techniques of digital redesign and direct discrete-time design suitable for a real-time implementation of controllers and guidance laws at multiple rates and with and computational techniques. The theory of digital control is given as theorems, lemmas, and propositions. The design of the digital guidance and control systems is illustrated by means of step-by-step procedures, algorithms, and case studies. The systems proposed are applied to realistic models of unmanned systems and missiles, and digital implementation.

A comprehensive treatment of the analysis and design of discrete-time control systems which provides a gradual development of the theory by emphasizing basic concepts and avoiding highly mathematical arguments. The text features comprehensive treatment of pole placement, state observer design, and quadratic optimal control.

This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also provides general frameworks for abstraction, analysis, and control of more general models. The book is self-contained, and while some mathematical knowledge is necessary, readers are not expected to have a background in formal methods or control theory. It rigorously defines concepts from formal methods, such as transition systems, temporal logics, model checking and synthesis. It then links these to the infinite state dynamical systems through abstractions that are intuitive and only require basic convex-analysis and control-theory terminology, which is provided in the appendix. Several examples and illustrations help readers understand and visualize the concepts introduced throughout the book.

This book covers a wide spectrum of systems such as linear and nonlinear multivariable systems as well as control problems such as disturbance, uncertainty and time-delays. The purpose of this book is to provide researchers and practitioners a manual for the design and application of advanced discrete-time controllers. The book presents six different control approaches depending on the type of system and control problem. The first and second approaches are based on Sliding Mode control (SMC) theory and are intended for linear systems with exogenous disturbances. The third and fourth approaches are based on adaptive control theory and are aimed at linear/nonlinear systems with periodically varying parametric uncertainty or systems with input delay. The fifth approach is based on Iterative learning control (ILC) theory and is aimed at uncertain linear/nonlinear systems with repeatable tasks and the final approach is based on fuzzy logic control (FLC) and is intended for highly uncertain systems with heuristic control knowledge. Detailed numerical examples are provided in each chapter to illustrate the design procedure for each control method. A number of practical control applications are also presented to show the problem solving process and effectiveness with the advanced discrete-time control approaches introduced in this book.

Discrete-Time Inverse Optimal Control for Nonlinear Systems proposes a novel inverse optimal control scheme for stabilization and trajectory tracking of discrete-time nonlinear systems. This avoids the need to solve the associated Hamilton-Jacobi-Bellman equation and minimizes a cost functional, resulting in a more efficient controller. Design More Efficient Controllers for Stabilization and Trajectory Tracking of Discrete-Time Nonlinear Systems The book presents two approaches for controller synthesis: the first based on passivity theory and the second on a control Lyapunov function (CLF). The synthesized discrete-time optimal controller can be directly implemented in real-time systems. The book also proposes the use of recurrent neural networks to model discrete-time nonlinear systems. Combined with the inverse optimal control approach, such models constitute a powerful tool to deal with uncertainties such as unmodeled dynamics and disturbances. Learn from Simulations and an In-Depth Case Study The authors include a variety of simulations to illustrate the effectiveness of the synthesized controllers for stabilization and trajectory tracking of discrete-time nonlinear systems. An in-depth case study applies the control schemes to glycemic control in patients with type 1 diabetes mellitus, to calculate the adequate insulin delivery rate required to prevent hyperglycemia and hypoglycemia levels. The discrete-time optimal and robust control techniques proposed can be used in a range of industrial applications, from aerospace and energy to biomedical and electromechanical systems. Highlighting optimal and efficient control algorithms, this is a valuable resource for researchers, engineers, and students working in nonlinear system control.

This book helps students, researchers, and practicing engineers to understand the theoretical framework of control and system theory for discrete-time stochastic systems so that they can then apply its principles to their own stochastic control systems and to the solution of control, filtering, and realization problems for such systems. Applications of the theory in the book include the control of ships, shock absorbers, traffic and communications networks, and power systems with fluctuating power flows. The focus of the book is a stochastic control system defined for a spectrum of probability distributions including Bernoulli, finite, Poisson, beta, gamma, and Gaussian distributions. The concepts of observability and controllability of a stochastic control system are defined and characterized. Each output process considered is, with respect to conditions, represented by a stochastic system called a stochastic realization. The existence of a control law is related to stochastic controllability while the existence of a filter system is related to stochastic observability. Stochastic control with partial observations is based on the existence of a stochastic realization of the filtration of the observed process.​

This comprehensive introduction to the estimation and control of dynamic stochastic systems provides complete derivations of key results. The second edition includes improved and updated material, and a new presentation of polynomial control and new derivation of linear-quadratic-Gaussian control.

The book presents recent advances in the theory of neural control for discrete-time nonlinear systems with multiple inputs and multiple outputs. The simulation results that appear in each chapter include rigorous mathematical analyses, based on the Lyapunov approach, to establish its properties. The book contains two sections: the first focuses on the analyses of control techniques; the second is dedicated to illustrating results of real-time applications. It also provides solutions for the output trajectory tracking problem of unknown nonlinear systems based on sliding modes and inverse optimal control scheme. "This book on Discrete-time Recurrent Neural Control is unique in the literature, with new knowledge and information about the new technique of recurrent neural control especially for discrete-time systems. The book is well organized and clearly presented. It will be welcome by a wide range of researchers in science and engineering, especially graduate students and junior researchers who want to learn the new notion of recurrent neural control. I believe it will have a good market. It is an excellent book after all." — Guanrong Chen, City University of Hong Kong "This book includes very relevant topics, about neural control. In these days, Artificial Neural Networks have been recovering their relevance and well-stablished importance, this due to its great capacity to process big amounts of data. Artificial Neural Networks development always is related to technological advancements; therefore, it is not a surprise that now we are being witnesses of this new era in Artificial Neural Networks, however most of the developments in this research area only focuses on applicability of the proposed schemes. However, Edgar N. Sanchez author of this book does not lose focus and include both important applications as well as a deep theoretical analysis of Artificial Neural Networks to control discrete-time nonlinear systems. It is important to remark that first, the considered Artificial Neural Networks are development in discrete-time this simplify its implementation in real-time; secondly, the proposed applications ranging from modelling of unknown discrete-time on linear systems to control electrical machines with an emphasize to renewable energy systems. However, its applications are not limited to these kind of systems, due to their theoretical foundation it can be applicable to a large class of nonlinear systems. All of these is supported by the solid research done by the author." — Alma Y. Alanis, University of Guadalajara, Mexico "This book discusses in detail; how neural networks can be used for optimal as well as robust control design. Design of neural network controllers for real time applications such as induction motors, boost converters, inverted pendulum and doubly fed induction generators has also been carried out which gives the book an edge over other similar titles. This book will be an asset for the novice to the experienced ones." — Rajesh Joseph Abraham, Indian Institute of Space Science & Technology, Thiruvananthapuram, India

Intelligent systems are a hallmark of modern feedback control systems. But as these systems mature, we have come to expect higher levels of performance in speed and accuracy in the face of severe nonlinearities, disturbances, unforeseen dynamics, and unstructured uncertainties. Artificial neural networks offer a combination of adaptability, parallel processing, and learning capabilities that outperform other intelligent control methods in more complex systems. Borrowing from Biology Examining neurocontroller design in discrete-time for the first time, Neural Network Control of Nonlinear Discrete-Time Systems presents powerful modern control techniques based on the parallelism and adaptive capabilities of biological nervous systems. At every step, the author derives rigorous stability proofs and presents simulation examples to demonstrate the concepts. Progressive Development After an introduction to neural networks, dynamical systems, control of nonlinear systems, and feedback linearization, the book builds systematically from actuator nonlinearities and strict feedback in nonlinear systems to nonstrict feedback, system identification, model reference adaptive control, and novel optimal control using the Hamilton-Jacobi-Bellman formulation. The author concludes by developing a framework for implementing intelligent control in actual industrial systems using embedded hardware. Neural Network Control of Nonlinear Discrete-Time Systems fosters an understanding of neural network controllers and explains how to build them using detailed derivations, stability analysis, and computer simulations.