Discrete-Time Control System Design with Applications

Download Discrete-Time Control System Design with Applications PDF Online Free

Author :
Publisher : Springer Science & Business Media
ISBN 13 : 1461492904
Total Pages : 181 pages
Book Rating : 4.4/5 (614 download)

DOWNLOAD NOW!


Book Synopsis Discrete-Time Control System Design with Applications by : C.A. Rabbath

Download or read book Discrete-Time Control System Design with Applications written by C.A. Rabbath and published by Springer Science & Business Media. This book was released on 2013-12-02 with total page 181 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Discrete-time Control Systems

Download Discrete-time Control Systems PDF Online Free

Author :
Publisher : Pearson
ISBN 13 :
Total Pages : 784 pages
Book Rating : 4.3/5 (97 download)

DOWNLOAD NOW!


Book Synopsis Discrete-time Control Systems by : Katsuhiko Ogata

Download or read book Discrete-time Control Systems written by Katsuhiko Ogata and published by Pearson. This book was released on 1995 with total page 784 pages. Available in PDF, EPUB and Kindle. Book excerpt: "In-depth discussions of selected topics (such as Z transform, and pole placement when the control signal was a vector quantity) have been moved to optional Appendices. discusses in detail the theoretical background for designing control systems. offers a greatly expanded treatment of the pole placement design with minimum-order observer by means of state space approach (Ch. 6) and polynomial equations approach (Ch. 7). features a new chapter on the polynomial equations approach to the control systems design as an alternative to the design of control systems via pole placement with minimum-order observers. Includes the design of model matching control systems. emphasizes the usefulness of MATLAB for studying discrete-time control systems showing how to use MATLAB optimally to obtain numerical solutions that involve various types of vector-matrix operations, plotting response curves, and system design based on quadratic optimal control. presents many instructive examples and worked-out problems throughout the entire book."--

Real Time Control Engineering

Download Real Time Control Engineering PDF Online Free

Author :
Publisher : Springer
ISBN 13 : 9811015090
Total Pages : 192 pages
Book Rating : 4.8/5 (11 download)

DOWNLOAD NOW!


Book Synopsis Real Time Control Engineering by : Tian Seng Ng

Download or read book Real Time Control Engineering written by Tian Seng Ng and published by Springer. This book was released on 2016-06-16 with total page 192 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book covers the two broad areas of the electronics and electrical aspects of control applications, highlighting the many different types of control systems of relevance to real-life control system design. The control techniques presented are state-of-the-art. In the electronics section, readers will find essential information on microprocessor, microcontroller, mechatronics and electronics control. The low-level assembly programming language performs basic input/output control techniques as well as controlling the stepper motor and PWM dc motor. In the electrical section, the book addresses the complete elevator PLC system design, neural network plant control, load flow analysis, and process control, as well as machine vision topics. Illustrative diagrams, circuits and programming examples and algorithms help to explain the details of the system function design. Readers will find a wealth of computer control and industrial automation practices and applications for modern industries, as well as the educational sector.

Robust Control of Time-delay Systems

Download Robust Control of Time-delay Systems PDF Online Free

Author :
Publisher : Springer Science & Business Media
ISBN 13 : 1846282659
Total Pages : 243 pages
Book Rating : 4.8/5 (462 download)

DOWNLOAD NOW!


Book Synopsis Robust Control of Time-delay Systems by : Qing-Chang Zhong

Download or read book Robust Control of Time-delay Systems written by Qing-Chang Zhong and published by Springer Science & Business Media. This book was released on 2006-05-28 with total page 243 pages. Available in PDF, EPUB and Kindle. Book excerpt: Recently, there have been significant developments in robust control of time-delay systems. This volume presents a systematic treatment of robust control for such systems in the frequency domain. The emphasis is on systems with a single input or output delay, although the delay-free part of the plant can be multi-input-multi-output, in which case the delays in different channels should be the same. The author covers the whole range of H-infinity control of time-delay systems: from controller parameterization implementation; from the Nehari problem to the four-block problem; from theoretical developments to practical issues. The major tools used are similarity transformation, the chain-scattering approach and J-spectral factorization. Self-contained, "Robust Control of Time-delay Systems" will interest control theorists and mathematicians working with time-delay systems. Its methodical approach will be of value to graduates studying general robust control theory or its applications in time-delay systems.

Introduction to Time-Delay Systems

Download Introduction to Time-Delay Systems PDF Online Free

Author :
Publisher : Springer
ISBN 13 : 3319093932
Total Pages : 381 pages
Book Rating : 4.3/5 (19 download)

DOWNLOAD NOW!


Book Synopsis Introduction to Time-Delay Systems by : Emilia Fridman

Download or read book Introduction to Time-Delay Systems written by Emilia Fridman and published by Springer. This book was released on 2014-09-02 with total page 381 pages. Available in PDF, EPUB and Kindle. Book excerpt: The beginning of the 21st century can be characterized as the” time-delay boom” leading to numerous important results. The purpose of this book is two-fold, to familiarize the non-expert reader with time-delay systems and to provide a systematic treatment of modern ideas and techniques for experts. This book is based on the course ”Introduction to time-delay systems” for graduate students in Engineering and Applied Mathematics that the author taught in Tel Aviv University in 2011-2012 and 2012-2013 academic years. The sufficient background to follow most of the material are the undergraduate courses in mathematics and an introduction to control. The book leads the reader from some basic classical results on time-delay systems to recent developments on Lyapunov-based analysis and design with applications to the hot topics of sampled-data and network-based control. The objective is to provide useful tools that will allow the reader not only to apply the existing methods, but also to develop new ones. It should be of interest for researchers working in the field, for graduate students in engineering and applied mathematics, and for practicing engineers. It may also be used as a textbook for a graduate course on time-delay systems.

Discrete-time and Computer Control Systems

Download Discrete-time and Computer Control Systems PDF Online Free

Author :
Publisher : Prentice Hall
ISBN 13 :
Total Pages : 504 pages
Book Rating : 4.:/5 (318 download)

DOWNLOAD NOW!


Book Synopsis Discrete-time and Computer Control Systems by : James A. Cadzow

Download or read book Discrete-time and Computer Control Systems written by James A. Cadzow and published by Prentice Hall. This book was released on 1970 with total page 504 pages. Available in PDF, EPUB and Kindle. Book excerpt: Treats systems in which the digital computer plays a central role.

Control Systems

Download Control Systems PDF Online Free

Author :
Publisher : New Age International
ISBN 13 : 9788122411683
Total Pages : 502 pages
Book Rating : 4.4/5 (116 download)

DOWNLOAD NOW!


Book Synopsis Control Systems by : Naresh K Sinha

Download or read book Control Systems written by Naresh K Sinha and published by New Age International. This book was released on 2008 with total page 502 pages. Available in PDF, EPUB and Kindle. Book excerpt: An Introduction To Control Systems, This Book Provides The Reader With The Basic Concepts Of Control Theory As Developed Over The Years In Both The Frequency Domain And The Time Domain. The Opening Chapters Of The Book Present A Unified Treatment Of Modelling Of Dynamic Systems, The Classical Material On The Performance Of Feedback Systems Based On The Transfer Function Approach And The Stability Of Linear Systems. Further, Various Types Of Frequency Response Plots And The Compensation Of Control Systems Have Been Presented. In Particular, The Trial-And-Error Approach To The Design Of Lead Compensators, As Found In Most Textbooks, Has Been Replaced By A Direct Method Developed In The Late 1970S.Moreover, The Design Of Pole-Placement Compensators Using Transfer Functions, The Counterpart Of The Combined Observer And State Feedback Controller, Has Been Included For The First Time In A Book Appropriate For Undergraduate And Practicing Engineers. In This Third Edition The Scheme For Pole-Placement Compensation Has Been Made Consistent With That In Chapter 12. The Chapter On Digital Control, A Rapidly Developing And Popular Area Has Been Dealt With, In An Up-To-Date Manner, This Book Is An Attempt To Aid The Student Remove The Drudgery Out Of Numerical Computations, Along With Numerous Worked Examples And Drill Problems With Answers To Help The Student In Mastering The Subject.

Piecewise Affine Control: Continuous-Time, Sampled-Data, and Networked Systems

Download Piecewise Affine Control: Continuous-Time, Sampled-Data, and Networked Systems PDF Online Free

Author :
Publisher : SIAM
ISBN 13 : 1611975905
Total Pages : 224 pages
Book Rating : 4.6/5 (119 download)

DOWNLOAD NOW!


Book Synopsis Piecewise Affine Control: Continuous-Time, Sampled-Data, and Networked Systems by : Luis Rodrigues

Download or read book Piecewise Affine Control: Continuous-Time, Sampled-Data, and Networked Systems written by Luis Rodrigues and published by SIAM. This book was released on 2019-11-06 with total page 224 pages. Available in PDF, EPUB and Kindle. Book excerpt: Engineering systems operate through actuators, most of which will exhibit phenomena such as saturation or zones of no operation, commonly known as dead zones. These are examples of piecewise-affine characteristics, and they can have a considerable impact on the stability and performance of engineering systems. This book targets controller design for piecewise affine systems, fulfilling both stability and performance requirements. The authors present a unified computational methodology for the analysis and synthesis of piecewise affine controllers, taking an approach that is capable of handling sliding modes, sampled-data, and networked systems. They introduce algorithms that will be applicable to nonlinear systems approximated by piecewise affine systems, and they feature several examples from areas such as switching electronic circuits, autonomous vehicles, neural networks, and aerospace applications. Piecewise Affine Control: Continuous-Time, Sampled-Data, and Networked Systems is intended for graduate students, advanced senior undergraduate students, and researchers in academia and industry. It is also appropriate for engineers working on applications where switched linear and affine models are important.

Fundamentals of Power Electronics

Download Fundamentals of Power Electronics PDF Online Free

Author :
Publisher : Springer Nature
ISBN 13 : 3030438813
Total Pages : 1081 pages
Book Rating : 4.0/5 (34 download)

DOWNLOAD NOW!


Book Synopsis Fundamentals of Power Electronics by : Robert W. Erickson

Download or read book Fundamentals of Power Electronics written by Robert W. Erickson and published by Springer Nature. This book was released on 2020-07-14 with total page 1081 pages. Available in PDF, EPUB and Kindle. Book excerpt: Fundamentals of Power Electronics, Third Edition, is an up-to-date and authoritative text and reference book on power electronics. This new edition retains the original objective and philosophy of focusing on the fundamental principles, models, and technical requirements needed for designing practical power electronic systems while adding a wealth of new material. Improved features of this new edition include: new material on switching loss mechanisms and their modeling; wide bandgap semiconductor devices; a more rigorous treatment of averaging; explanation of the Nyquist stability criterion; incorporation of the Tan and Middlebrook model for current programmed control; a new chapter on digital control of switching converters; major new chapters on advanced techniques of design-oriented analysis including feedback and extra-element theorems; average current control; new material on input filter design; new treatment of averaged switch modeling, simulation, and indirect power; and sampling effects in DCM, CPM, and digital control. Fundamentals of Power Electronics, Third Edition, is intended for use in introductory power electronics courses and related fields for both senior undergraduates and first-year graduate students interested in converter circuits and electronics, control systems, and magnetic and power systems. It will also be an invaluable reference for professionals working in power electronics, power conversion, and analog and digital electronics.

Stability, Control, and Computation for Time-Delay Systems

Download Stability, Control, and Computation for Time-Delay Systems PDF Online Free

Author :
Publisher : SIAM
ISBN 13 : 1611973627
Total Pages : 443 pages
Book Rating : 4.6/5 (119 download)

DOWNLOAD NOW!


Book Synopsis Stability, Control, and Computation for Time-Delay Systems by : Wim Michiels

Download or read book Stability, Control, and Computation for Time-Delay Systems written by Wim Michiels and published by SIAM. This book was released on 2014-12-11 with total page 443 pages. Available in PDF, EPUB and Kindle. Book excerpt: Time delays are important components of many systems in, for instance, engineering, physics, economics, and the life sciences, because the transfer of material, energy, and information is usually not instantaneous. Time delays may appear as computation and communication lags, they model transport phenomena and heredity, and they arise as feedback delays in control loops. This monograph addresses the problem of stability analysis, stabilization, and robust fixed-order control of dynamical systems subject to delays, including both retarded- and neutral-type systems. Within the eigenvalue-based framework, an overall solution is given to the stability analysis, stabilization, and robust control design problem, using both analytical methods and numerical algorithms and applicable to a broad class of linear time-delay systems.? In this revised edition, the authors make the leap from stabilization to the design of robust and optimal controllers and from retarded-type to neutral-type delay systems, thus enlarging the scope of the book within control; include new, state-of-the-art material on numerical methods and algorithms to broaden the book?s focus and to reach additional research communities, in particular numerical linear algebra and numerical optimization; and increase the number and range of applications to better illustrate the effectiveness and generality of their approach.?

Feedback Control Theory

Download Feedback Control Theory PDF Online Free

Author :
Publisher : Courier Corporation
ISBN 13 : 0486318338
Total Pages : 264 pages
Book Rating : 4.4/5 (863 download)

DOWNLOAD NOW!


Book Synopsis Feedback Control Theory by : John C. Doyle

Download or read book Feedback Control Theory written by John C. Doyle and published by Courier Corporation. This book was released on 2013-04-09 with total page 264 pages. Available in PDF, EPUB and Kindle. Book excerpt: An excellent introduction to feedback control system design, this book offers a theoretical approach that captures the essential issues and can be applied to a wide range of practical problems. Its explorations of recent developments in the field emphasize the relationship of new procedures to classical control theory, with a focus on single input and output systems that keeps concepts accessible to students with limited backgrounds. The text is geared toward a single-semester senior course or a graduate-level class for students of electrical engineering. The opening chapters constitute a basic treatment of feedback design. Topics include a detailed formulation of the control design program, the fundamental issue of performance/stability robustness tradeoff, and the graphical design technique of loopshaping. Subsequent chapters extend the discussion of the loopshaping technique and connect it with notions of optimality. Concluding chapters examine controller design via optimization, offering a mathematical approach that is useful for multivariable systems.

Control Strategy for Time-Delay Systems

Download Control Strategy for Time-Delay Systems PDF Online Free

Author :
Publisher : Academic Press
ISBN 13 : 0128205997
Total Pages : 436 pages
Book Rating : 4.1/5 (282 download)

DOWNLOAD NOW!


Book Synopsis Control Strategy for Time-Delay Systems by : Mohammad-Hassan Khooban

Download or read book Control Strategy for Time-Delay Systems written by Mohammad-Hassan Khooban and published by Academic Press. This book was released on 2020-12-10 with total page 436 pages. Available in PDF, EPUB and Kindle. Book excerpt: Control Strategy for Time-Delay Systems Part I: Concepts and Theories covers all the important features of real-world practical applications which will be valuable to practicing engineers and specialists, especially given that delays are present in 99% of industrial processes. The book presents the views of the editors on promising research directions and future industrial applications in this area. Although the fundamentals of time-delay systems are discussed, the book focuses on the advanced modeling and control of such systems and will provide the analysis and test (or simulation) results of nearly every technique described. For this purpose, highly complex models are introduced to ?describe the mentioned new applications, which are characterized by ?time-varying delays with intermittent and stochastic nature, several types of nonlinearities, and the presence ?of different time-scales. Researchers, practitioners, and PhD students will gain insights into the prevailing trends in design and operation of real-time control systems, reviewing the shortcomings and future developments concerning practical system issues, such as standardization, protection, and design. Presents an overview of the most recent trends for time-delay systems Covers the important features of the real-world practical applications that can be valuable to practicing engineers and specialists Provides analysis and simulations results of the techniques described in the book

Control Systems Technology

Download Control Systems Technology PDF Online Free

Author :
Publisher : Pearson
ISBN 13 :
Total Pages : 488 pages
Book Rating : 4.F/5 ( download)

DOWNLOAD NOW!


Book Synopsis Control Systems Technology by : Curtis D. Johnson

Download or read book Control Systems Technology written by Curtis D. Johnson and published by Pearson. This book was released on 2002 with total page 488 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents All of the major topics in modern analog and digital control systems, along with the practical, applications oriented knowledge and skills needed by technicians. It contains user-friendly conceptual explanations and clearly written mathematical developments. Examples of both Mathcad and MATLAB illustrate computer problem solving--but this book emphasizes the ability to use any suitable software to achieve successful results in solving problems and performing design. Chapter topics include Measurement; Laplace Transforms; Control System Models; Static and Dynamic Response; Stability; Frequency Response Analysis; Root Locus; State Variable Analysis; Introduction to Discrete Control Systems; Z-Transforms and Discrete State-Space Analysis; Digital Signal Representations; Discrete Time Control Systems; Stability of Discrete Control Systems; and Advanced Topics in Control Systems. For engineers and technicians working for companies that integrate control systems with the use of programmable logic controllers.

Control and System Theory of Discrete-Time Stochastic Systems

Download Control and System Theory of Discrete-Time Stochastic Systems PDF Online Free

Author :
Publisher : Springer Nature
ISBN 13 : 3030669521
Total Pages : 940 pages
Book Rating : 4.0/5 (36 download)

DOWNLOAD NOW!


Book Synopsis Control and System Theory of Discrete-Time Stochastic Systems by : Jan H. van Schuppen

Download or read book Control and System Theory of Discrete-Time Stochastic Systems written by Jan H. van Schuppen and published by Springer Nature. This book was released on 2021-08-02 with total page 940 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.​

Discrete-Time Inverse Optimal Control for Nonlinear Systems

Download Discrete-Time Inverse Optimal Control for Nonlinear Systems PDF Online Free

Author :
Publisher : CRC Press
ISBN 13 : 1466580887
Total Pages : 268 pages
Book Rating : 4.4/5 (665 download)

DOWNLOAD NOW!


Book Synopsis Discrete-Time Inverse Optimal Control for Nonlinear Systems by : Edgar N. Sanchez

Download or read book Discrete-Time Inverse Optimal Control for Nonlinear Systems written by Edgar N. Sanchez and published by CRC Press. This book was released on 2017-12-19 with total page 268 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Introduction to Linear Control Systems

Download Introduction to Linear Control Systems PDF Online Free

Author :
Publisher : Academic Press
ISBN 13 : 012812749X
Total Pages : 1135 pages
Book Rating : 4.1/5 (281 download)

DOWNLOAD NOW!


Book Synopsis Introduction to Linear Control Systems by : Yazdan Bavafa-Toosi

Download or read book Introduction to Linear Control Systems written by Yazdan Bavafa-Toosi and published by Academic Press. This book was released on 2017-09-19 with total page 1135 pages. Available in PDF, EPUB and Kindle. Book excerpt: Introduction to Linear Control Systems is designed as a standard introduction to linear control systems for all those who one way or another deal with control systems. It can be used as a comprehensive up-to-date textbook for a one-semester 3-credit undergraduate course on linear control systems as the first course on this topic at university. This includes the faculties of electrical engineering, mechanical engineering, aerospace engineering, chemical and petroleum engineering, industrial engineering, civil engineering, bio-engineering, economics, mathematics, physics, management and social sciences, etc. The book covers foundations of linear control systems, their raison detre, different types, modelling, representations, computations, stability concepts, tools for time-domain and frequency-domain analysis and synthesis, and fundamental limitations, with an emphasis on frequency-domain methods. Every chapter includes a part on further readings where more advanced topics and pertinent references are introduced for further studies. The presentation is theoretically firm, contemporary, and self-contained. Appendices cover Laplace transform and differential equations, dynamics, MATLAB and SIMULINK, treatise on stability concepts and tools, treatise on Routh-Hurwitz method, random optimization techniques as well as convex and non-convex problems, and sample midterm and endterm exams. The book is divided to the sequel 3 parts plus appendices. PART I: In this part of the book, chapters 1-5, we present foundations of linear control systems. This includes: the introduction to control systems, their raison detre, their different types, modelling of control systems, different methods for their representation and fundamental computations, basic stability concepts and tools for both analysis and design, basic time domain analysis and design details, and the root locus as a stability analysis and synthesis tool. PART II: In this part of the book, Chapters 6-9, we present what is generally referred to as the frequency domain methods. This refers to the experiment of applying a sinusoidal input to the system and studying its output. There are basically three different methods for representation and studying of the data of the aforementioned frequency response experiment: these are the Nyquist plot, the Bode diagram, and the Krohn-Manger-Nichols chart. We study these methods in details. We learn that the output is also a sinusoid with the same frequency but generally with different phase and magnitude. By dividing the output by the input we obtain the so-called sinusoidal or frequency transfer function of the system which is the same as the transfer function when the Laplace variable s is substituted with . Finally we use the Bode diagram for the design process. PART III: In this part, Chapter 10, we introduce some miscellaneous advanced topics under the theme fundamental limitations which should be included in this undergraduate course at least in an introductory level. We make bridges between some seemingly disparate aspects of a control system and theoretically complement the previously studied subjects. Appendices: The book contains seven appendices. Appendix A is on the Laplace transform and differential equations. Appendix B is an introduction to dynamics. Appendix C is an introduction to MATLAB, including SIMULINK. Appendix D is a survey on stability concepts and tools. A glossary and road map of the available stability concepts and tests is provided which is missing even in the research literature. Appendix E is a survey on the Routh-Hurwitz method, also missing in the literature. Appendix F is an introduction to random optimization techniques and convex and non-convex problems. Finally, appendix G presents sample midterm and endterm exams, which are class-tested several times.

Formal Methods for Discrete-Time Dynamical Systems

Download Formal Methods for Discrete-Time Dynamical Systems PDF Online Free

Author :
Publisher : Springer
ISBN 13 : 331950763X
Total Pages : 291 pages
Book Rating : 4.3/5 (195 download)

DOWNLOAD NOW!


Book Synopsis Formal Methods for Discrete-Time Dynamical Systems by : Calin Belta

Download or read book Formal Methods for Discrete-Time Dynamical Systems written by Calin Belta and published by Springer. This book was released on 2017-03-08 with total page 291 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.