Formal methods for control of nonlinear systems /

"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 sci...

Full description

Bibliographic Details

Main Authors:	Li, Yinan (Engineer) (Author), Liu, Jun (Professor of applied mathematics) (Author)
Corporate Author:	Taylor & Francis
Format:	eBook
Language:	English
Published:	Boca Raton, FL : CRC Press 2023.
Subjects:	Nonlinear control theory. Nonlinear systems. Engineering mathematics. Commande non linéaire. Systèmes non linéaires. Mathématiques de l'ingénieur. Engineering mathematics Nonlinear control theory Nonlinear systems Electronic books.
Online Access:	Connect to the full text of this electronic book