Formal Methods for Control of Nonlinear Systems

Formal Methods for Control of Nonlinear Systems
Author :
Publisher : CRC Press
Total Pages : 276
Release :
ISBN-10 : 9781000831948
ISBN-13 : 1000831949
Rating : 4/5 (48 Downloads)

Book Synopsis Formal Methods for Control of Nonlinear Systems by : Yinan Li

Download or read book Formal Methods for Control of Nonlinear Systems written by Yinan Li and published by CRC Press. This book was released on 2022-12-15 with total page 276 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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. Features Constructive approach to nonlinear control. Rigorous specifications and validated computation. Suitable for graduate students and researchers who are interested in learning how formal methods and validated computation can be combined together to tackle nonlinear control problems with complex specifications from an algorithmic perspective. Combines mathematical rigor with practical applications.


Formal Methods for Control of Nonlinear Systems Related Books

Formal Methods for Control of Nonlinear Systems
Language: en
Pages: 276
Authors: Yinan Li
Categories: Mathematics
Type: BOOK - Published: 2022-12-15 - Publisher: CRC Press

DOWNLOAD EBOOK

Formal methods is a field of computer science that emphasizes the use of rigorous mathematical techniques for verification and design of hardware and software s
Formal Methods for Control of Nonlinear Systems
Language: en
Pages: 0
Authors: YINAN. LIU LI (JUN.)
Categories: Engineering mathematics
Type: BOOK - Published: 2023 - Publisher: C&h/CRC Press

DOWNLOAD EBOOK

"Formal methods is a field of computer science that emphasizes the use of rigorous mathematical techniques for verification and design of hardware and software
Formal Methods for Control of Nonlinear Systems
Language: en
Pages: 272
Authors: Yinan Li
Categories: Mathematics
Type: BOOK - Published: 2022-12-20 - Publisher: CRC Press

DOWNLOAD EBOOK

Formal methods is a field of computer science that emphasizes the use of rigorous mathematical techniques for verification and design of hardware and software s
Formal Verification of Control System Software
Language: en
Pages: 230
Authors: Pierre-Loïc Garoche
Categories: Mathematics
Type: BOOK - Published: 2019-05-14 - Publisher: Princeton University Press

DOWNLOAD EBOOK

An essential introduction to the analysis and verification of control system software The verification of control system software is critical to a host of techn
Nonlinear Identification and Control
Language: en
Pages: 224
Authors: G.P. Liu
Categories: Mathematics
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The purpose of this monograph is to give the broad aspects of nonlinear identification and control using neural networks. It uses a number of simulated and indu