{"product_id":"formal-methods-for-control-of-nonlinear-systems-hardback","title":"Formal Methods for Control of Nonlinear Systems - Hardback","description":"\u003cp\u003eFormal 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. \u003c\/p\u003e\u003cp\u003eWhile 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. \u003cb\u003e\u003ci\u003eFormal Methods for Control of Nonlinear Systems\u003c\/i\u003e\u003c\/b\u003e provides a unified computational approach to analysis and design of nonlinear systems.\u003c\/p\u003e\u003cp\u003eFeatures\u003c\/p\u003e\u003cul\u003e \u003cp\u003e \u003c\/p\u003e \u003cli\u003eConstructive approach to nonlinear control.\u003c\/li\u003e \u003cli\u003eRigorous specifications and validated computation.\u003c\/li\u003e \u003cli\u003eSuitable 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.\u003c\/li\u003e \u003cli\u003eCombines mathematical rigor with practical applications.\u003c\/li\u003e \u003c\/ul\u003e","brand":"Taylor \u0026 Francis","offers":[{"title":"Default Title","offer_id":45600426492142,"sku":"9780367219994","price":155.2,"currency_code":"AUD","in_stock":true}],"url":"https:\/\/bookland.com.au\/products\/formal-methods-for-control-of-nonlinear-systems-hardback","provider":"Book Land AU","version":"1.0","type":"link"}