株式会社極東書店トップ ＞ 商品一覧 ＞ Formal Methods for Control of Nonlinear Systems.
商品詳細
Formal Methods for Control of Nonlinear Systems.
・ISBN 978-0-367-21999-4 hard GB£ 103.99
￥32,943.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
電子版あり 大学・学術機関向け電子ブック（eBook）ISBN 978-0-429-27025-3
| 著者・編者 | Li, Yinan / Liu, Jun, |
|---|---|
| 出版社 | (Chapman & Hall/CRC, UK) |
| 出版年月 | 2022 |
| ページ数 | 254 pp. |
| 言語 | ENG |
| ニュース番号 | ＜M25-14876＞ |
解説
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.