-20%
Advances in Computational Methods and Technologies in Aeronautics and Industry
Original price was: ₹18,022.00.₹14,418.00Current price is: ₹14,418.00.
This book provides research results using computational methods for fluid dynamics and engineering problems in aeronautics and other scientific and industrial applications. It gives an overview on the state of the art and the technology trends requiring advanced computational methods towards digitization in industrial and scientific processes.
-20%
Advances in Computational Methods and Technologies in Aeronautics and Industry
Original price was: ₹18,022.00.₹14,418.00Current price is: ₹14,418.00.
This book provides research results using computational methods for fluid dynamics and engineering problems in aeronautics and other scientific and industrial applications. It gives an overview on the state of the art and the technology trends requiring advanced computational methods towards digitization in industrial and scientific processes.
-20%
Aeroservoelasticity: Modeling and Control
Price range: ₹8,163.00 through ₹8,580.00
First book on aeroservoelastic modeling and analysis Presents aeroservoelasticity in the modern controls context by multivariable, state-space methods including robust, nonlinear, and adaptive control techniques Comprehensive and unique treatment of diverse unsteady aerodynamics and structural dynamics concepts, from first principles to numerical modeling Includes practical and realistic aeroservoelastic application examples derived from actual experiments Includes supplementary material: sn.pub/extras
-20%
Aeroservoelasticity: Modeling and Control
Price range: ₹8,163.00 through ₹8,580.00
First book on aeroservoelastic modeling and analysis Presents aeroservoelasticity in the modern controls context by multivariable, state-space methods including robust, nonlinear, and adaptive control techniques Comprehensive and unique treatment of diverse unsteady aerodynamics and structural dynamics concepts, from first principles to numerical modeling Includes practical and realistic aeroservoelastic application examples derived from actual experiments Includes supplementary material: sn.pub/extras
-20%
Aerospace System Analysis and Optimization in Uncertainty
Original price was: ₹13,852.00.₹11,082.00Current price is: ₹11,082.00.
Spotlighting the field of Multidisciplinary Design Optimization (MDO), this book illustrates and implements state-of-the-art methodologies within the complex process of aerospace system design under uncertainties. The book provides approaches to integrating a multitude of components and constraints with the ultimate goal of reducing design cycles.
-20%
Aerospace System Analysis and Optimization in Uncertainty
Original price was: ₹13,852.00.₹11,082.00Current price is: ₹11,082.00.
Spotlighting the field of Multidisciplinary Design Optimization (MDO), this book illustrates and implements state-of-the-art methodologies within the complex process of aerospace system design under uncertainties. The book provides approaches to integrating a multitude of components and constraints with the ultimate goal of reducing design cycles.
-20%
Modeling and Optimization in Space Engineering: State of the Art and New Challenges
Original price was: ₹12,809.00.₹10,248.00Current price is: ₹10,248.00.
This book presents advanced case studies that address a range of important issues arising in space engineering. An overview of challenging operational scenarios is presented, with an in-depth exposition of related mathematical modeling, algorithmic and numerical solution aspects. The model development and optimization approaches discussed in the book can be extended also towards other application areas.
Researchers working on space engineering applications will find this work a valuable, practical source of information. Academics, graduate and post-graduate students working in aerospace, engineering, applied mathematics, operations research, and optimal control will find useful information regarding model development and solution techniques, in conjunction with real-world applications.
-20%
Modeling and Optimization in Space Engineering: State of the Art and New Challenges
Original price was: ₹12,809.00.₹10,248.00Current price is: ₹10,248.00.
This book presents advanced case studies that address a range of important issues arising in space engineering. An overview of challenging operational scenarios is presented, with an in-depth exposition of related mathematical modeling, algorithmic and numerical solution aspects. The model development and optimization approaches discussed in the book can be extended also towards other application areas.
Researchers working on space engineering applications will find this work a valuable, practical source of information. Academics, graduate and post-graduate students working in aerospace, engineering, applied mathematics, operations research, and optimal control will find useful information regarding model development and solution techniques, in conjunction with real-world applications.
-20%
Temporal Type Theory
Original price was: ₹11,766.00.₹9,414.00Current price is: ₹9,414.00.
This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. Developed by the authors, the goal of this novel approach is to explain what occurs when multiple, distinct system components interact by using a category-theoretic description of behavior types based on sheaves. The authors demonstrate how to analyze the behaviors of elements in continuous and discrete dynamical systems so that each can be translated and compared to one another. Their temporal logic is also flexible enough that it can serve as a framework for other logics that work with similar models.
The book begins with a discussion of behavior types, interval domains, and translation invariance, which serves as the groundwork for temporal type theory. From there, the authors lay out the logical preliminaries they need for their temporal modalities and explain the soundness of those logical semantics. These results are then applied to hybrid dynamical systems, differential equations, and labeled transition systems. A case study involving aircraft separation within the National Airspace System is provided to illustrate temporal type theory in action.
Researchers in computer science, logic, and mathematics interested in topos-theoretic and category-theory-friendly approaches to system behavior will find this monograph to be an important resource. It can also serve as a supplemental text for a specialized graduate topics course.
-20%
Temporal Type Theory
Original price was: ₹11,766.00.₹9,414.00Current price is: ₹9,414.00.
This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. Developed by the authors, the goal of this novel approach is to explain what occurs when multiple, distinct system components interact by using a category-theoretic description of behavior types based on sheaves. The authors demonstrate how to analyze the behaviors of elements in continuous and discrete dynamical systems so that each can be translated and compared to one another. Their temporal logic is also flexible enough that it can serve as a framework for other logics that work with similar models.
The book begins with a discussion of behavior types, interval domains, and translation invariance, which serves as the groundwork for temporal type theory. From there, the authors lay out the logical preliminaries they need for their temporal modalities and explain the soundness of those logical semantics. These results are then applied to hybrid dynamical systems, differential equations, and labeled transition systems. A case study involving aircraft separation within the National Airspace System is provided to illustrate temporal type theory in action.
Researchers in computer science, logic, and mathematics interested in topos-theoretic and category-theory-friendly approaches to system behavior will find this monograph to be an important resource. It can also serve as a supplemental text for a specialized graduate topics course.