Condizione: As New. Unread book in perfect condition.
EUR 131,05
Quantità: 3 disponibili
Aggiungi al carrelloCondizione: New.
Condizione: New.
EUR 127,19
Quantità: 10 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
EUR 145,26
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Condizione: New. 1st edition NO-PA16APR2015-KAP.
EUR 132,86
Quantità: 1 disponibili
Aggiungi al carrelloHardback. Condizione: New. New copy - Usually dispatched within 4 working days.
EUR 132,84
Quantità: 10 disponibili
Aggiungi al carrelloCondizione: New.
EUR 147,44
Quantità: Più di 20 disponibili
Aggiungi al carrelloHRD. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
EUR 145,02
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
EUR 147,01
Quantità: 3 disponibili
Aggiungi al carrelloCondizione: New.
EUR 141,53
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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.
EUR 190,95
Quantità: 2 disponibili
Aggiungi al carrelloHardcover. Condizione: Brand New. 272 pages. 9.75x6.50x0.75 inches. In Stock.
Lingua: Inglese
Editore: Taylor & Francis, Chapman And Hall/CRC, 2022
ISBN 10: 0367219999 ISBN 13: 9780367219994
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 122,40
Quantità: 2 disponibili
Aggiungi al carrelloBuch. Condizione: 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.
Lingua: Inglese
Editore: Taylor & Francis, Chapman And Hall/CRC, 2022
ISBN 10: 0367219999 ISBN 13: 9780367219994
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 136,48
Quantità: 2 disponibili
Aggiungi al carrelloBuch. Condizione: 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.