Formal Methods For Control Of Nonlinear Systems Av Yinan Li, Jun (university Of Waterloo Canada) Liu

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<UL><LI>Constructive approach to nonlinear control.</LI><LI>Rigorous specifications and validated computation.</LI><LI>Suitable for graduate students and researchers who are interested in lea

Pris: kr 1099.00 fra Norli

Butikk	Produktnavn	Lagerstus	Pris
	Formal Methods For Control Of Nonlinear Systems Av Yinan Li, Jun (university Of Waterloo Canada) Liu	Se butikk	kr 1099.00	Besøk butikk

Computational Methods For Nonlinear Dynamical Systems Av Xuechuan (associate Researcher Northwestern Polytechnical University China) Wang, Xiaokui (pr

Computational Methods for Nonlinear Dynamical Systems: Theory and Applications in Aerospace Engineering proposes novel ideas and develops highly-efficient and accurate methods for solving nonlinear dynamic systems, drawing...

kr 1719.00
Mer informasjon
Handbook Of Applied Cryptography Av Alfred J. (university Of Waterloo Waterloo Ontario Canada) Menezes, Paul C. (ottawa Ontario Canada) Van Oorschot,

Cryptography, in particular public-key cryptography, has emerged in the last 20 years as an important discipline that is not only the subject of an enormous amount of research, but provides the foundation for information security in many applications....

kr 1899.00
Mer informasjon
Sport Management Av Russell (la Trobe University Australia) Hoye, Katie (university Of Waterloo Canada) Misener, Michael L. (brock University Canada)

Now available in a fully revised and updated sixth edition, Sport Management: Principles and Applications tells you everything you need to know about the contemporary sport industry. Covering both the professional...

kr 719.00
Mer informasjon
Nanochemistry Av Anna (assistant Professor Department Of Chemistry Waterloo Institute For Nanotechnology University Of Waterloo Ontario Canada) Klinko

kr 1659.00
Mer informasjon

Formal Methods For Control Of Nonlinear Systems Av Yinan Li, Jun (university Of Waterloo Canada) Liu

Relaterte produkter