Isbn: 9780367219994 - formal methods for control of nonlinear systems (14 Ergebnisse)

Zustand: As New. Unread book in perfect condition.

Zustand: New.

Zustand: New.

Hardback. Zustand: New. New copy - Usually dispatched within 4 working days.

Zustand: As New. Unread book in perfect condition.

Zustand: New.

Zustand: New. 1st edition NO-PA16APR2015-KAP.

Zustand: New.

Zustand: New.

Zustand: New. In English.

Zustand: New. Jun Liu received the B.S. degree in applied mathematics from Shanghai Jiao-Tong University in 2002, the M.S. degree in mathematics from Peking University in 2005, and the Ph.D. degree in applied mathematics from the University of Waterlo.

Hardcover. Zustand: Brand New. 272 pages. 9.75x6.50x0.75 inches. In Stock.

Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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.FeaturesConstructive 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. 272 pp. Englisch.…

Buch. Zustand: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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.FeaturesConstructive 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.…