Store besparelser
Hurtig levering
Gemte
Log ind
0
Kurv
Kurv

Formal Methods for Control of Nonlinear Systems

Af: Jun Liu, Yinan Li Engelsk Hardback

Formal Methods for Control of Nonlinear Systems

Af: Jun Liu, Yinan Li Engelsk Hardback
Tjek vores konkurrenters priser

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.
Tjek vores konkurrenters priser
Normalpris
kr 954
Fragt: 39 kr
6 - 8 hverdage
20 kr
Pakkegebyr
God 4 anmeldelser på
Tjek vores konkurrenters priser

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.
Produktdetaljer
Sprog: Engelsk
Sider: 254
ISBN-13: 9780367219994
Indbinding: Hardback
Udgave:
ISBN-10: 0367219999
Kategori: Numerisk analyse
Udg. Dato: 15 dec 2022
Længde: 23mm
Bredde: 240mm
Højde: 162mm
Forlag: Taylor & Francis Ltd
Oplagsdato: 15 dec 2022
Forfatter(e): Jun Liu, Yinan Li
Forfatter(e) Jun Liu, Yinan Li


Kategori Numerisk analyse


ISBN-13 9780367219994


Sprog Engelsk


Indbinding Hardback


Sider 254


Udgave


Længde 23mm


Bredde 240mm


Højde 162mm


Udg. Dato 15 dec 2022


Oplagsdato 15 dec 2022


Forlag Taylor & Francis Ltd

Kategori sammenhænge