- Добавил: literator
- Дата: 9-11-2022, 01:59
- Комментариев: 0
Название: Formal Methods for Control of Nonlinear Systems
Автор: Yinan Li, Jun Liu
Издательство: CRC Press
Год: 2023
Страниц: 272
Язык: английский
Формат: pdf (true)
Размер: 14.97 MB
Formal methods is a field of Computer Science that emphasizes the use of rigorous mathematical techniques for verification and design of hardware and software systems. Analysis and design of nonlinear control design plays an important role across many disciplines of engineering and applied sciences, ranging from the control of an aircraft engine to the design of genetic circuits in synthetic biology. While linear control is a well-established subject, analysis and design of nonlinear control systems remains a challenging topic due to some of the fundamental difficulties caused by nonlinearity. Formal Methods for Control of Nonlinear Systems provides a unified computational approach to analysis and design of nonlinear systems. The main aim of this book is to present formal methods for control of nonlinear dynamical systems with theoretical guarantees. We consider both continuous-time and discrete-time dynamical systems whose states evolve in continuous state spaces. Such models are paramount to control and robotics applications.
Автор: Yinan Li, Jun Liu
Издательство: CRC Press
Год: 2023
Страниц: 272
Язык: английский
Формат: pdf (true)
Размер: 14.97 MB
Formal methods is a field of Computer Science that emphasizes the use of rigorous mathematical techniques for verification and design of hardware and software systems. Analysis and design of nonlinear control design plays an important role across many disciplines of engineering and applied sciences, ranging from the control of an aircraft engine to the design of genetic circuits in synthetic biology. While linear control is a well-established subject, analysis and design of nonlinear control systems remains a challenging topic due to some of the fundamental difficulties caused by nonlinearity. Formal Methods for Control of Nonlinear Systems provides a unified computational approach to analysis and design of nonlinear systems. The main aim of this book is to present formal methods for control of nonlinear dynamical systems with theoretical guarantees. We consider both continuous-time and discrete-time dynamical systems whose states evolve in continuous state spaces. Such models are paramount to control and robotics applications.