Yinan Li - Böcker
Visar alla böcker från författaren Yinan Li. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
1 372 kr
Skickas inom 10-15 vardagar
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.
2 293 kr
Kommande
Emphasizing on both visual interpretation and computer-aided interpretation methods, this book introduces the basic concepts, historical development, and future trends in satellite remote sensing image interpretation. This book analyzes the physical foundations of satellite remote sensing, the spectral characteristics of typical ground objects, and the content of satellite remote sensing image processing. Based on information theory, it explores the flow of information during the image formation process of satellite remote sensing images from a theoretical perspective. Through representative case studies, the book bridges the gap between theoretical methods and practical applications.Satellite Remote Sensing Image Interpretation explores the distinct characteristics of images captured using four types of satellite remote sensing technologies — visible light, hyperspectral, infrared, and Synthetic Aperture Radar (SAR) — and their corresponding unique interpretation approaches. It also discusses the application of intelligent interpretation methods in satellite remote sensing image analysis, along with current innovative ideas in the field.