Formal Methods for Control of Nonlinear Systems

by Jun Liu and Yinan Li

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

• Format: Hardcover
• Language: English
• ISBN: 0367219999
• ISBN13: 9780367219994
• Release Date: December 2022
• Publisher: CRC Press
• Length: 254 Pages