New adaptive and event-triggered control designs with concrete applications in undersea construction, offshore drilling, and cable elevatorsControl applications in undersea construction, cable elevators, and offshore ...
详细信息
ISBN:
(数字)9780691233505
ISBN:
(纸本)9780691233482
New adaptive and event-triggered control designs with concrete applications in undersea construction, offshore drilling, and cable elevatorsControl applications in undersea construction, cable elevators, and offshore drilling present major methodological challenges because they involve PDE systems (cables and drillstrings) of time-varying length, coupled with ODE systems (the attached loads or tools) that usually have unknown parameters and unmeasured states. In PDE Control of String-Actuated Motion, Ji Wang and Miroslav Krstic develop control algorithms for these complex PDE-ODE systems evolving on time-varying *** by physical systems, the book’s algorithms are designed to operate, with rigorous mathematical guarantees, in the presence of real-world challenges, such as unknown parameters, unmeasured distributed states, environmental disturbances, delays, and event-triggered implementations. The book leverages the power of the PDE backstepping approach and expands its scope in many *** with theoretical innovations and comprehensive in its coverage, PDE Control of String-Actuated Motion provides new design tools and mathematical techniques with far-reaching potential in adaptive control, delay systems, and event-triggered control.
Actuator and sensor delays are among the most common dynamic phenomena in engineering practice, and when disregarded, they render controlled systems unstable. Over the past sixty years, predictor feedback has been a k...
详细信息
ISBN:
(数字)9780691203317
ISBN:
(纸本)9780691202549
Actuator and sensor delays are among the most common dynamic phenomena in engineering practice, and when disregarded, they render controlled systems unstable. Over the past sixty years, predictor feedback has been a key tool for compensating such delays, but conventional predictor feedback algorithms assume that the delays and other parameters of a given system are known. When incorrect parameter values are used in the predictor, the resulting controller may be as destabilizing as without the delay ***-Adaptive Linear Control develops adaptive predictor feedback algorithms equipped with online estimators of unknown delays and other parameters. Such estimators are designed as nonlinear differential equations, which dynamically adjust the parameters of the predictor. The design and analysis of the adaptive predictors involves a Lyapunov stability study of systems whose dimension is infinite, because of the delays, and nonlinear, because of the parameter estimators. This comprehensive book solves adaptive delay compensation problems for systems with single and multiple inputs/outputs, unknown and distinct delays in different input channels, unknown delay kernels, unknown plant parameters, unmeasurable finite-dimensional plant states, and unmeasurable infinite-dimensional actuator *** breakthroughs in adaptive control and control of delay systems, Delay-Adaptive Linear Control offers powerful new tools for the control engineer and the mathematician.
A brand-new conceptual look at dynamical thermodynamicsThis book merges the two universalisms of thermodynamics and dynamical systems theory in a single compendium, with the latter providing an ideal language for the ...
详细信息
ISBN:
(数字)9780691192598
ISBN:
(纸本)9780691190143
A brand-new conceptual look at dynamical thermodynamicsThis book merges the two universalisms of thermodynamics and dynamical systems theory in a single compendium, with the latter providing an ideal language for the former, to develop a new and unique framework for dynamical thermodynamics. In particular, the book uses system-theoretic ideas to bring coherence, clarity, and precision to an important and poorly understood classical area of science. The dynamical systems formalism captures all of the key aspects of thermodynamics, including its fundamental laws, while providing a mathematically rigorous formulation for thermodynamical systems out of equilibrium by unifying the theory of mechanics with that of classical *** book includes topics on nonequilibrium irreversible thermodynamics, Boltzmann thermodynamics, mass-action kinetics and chemical reactions, finite-time thermodynamics, thermodynamic critical phenomena with continuous and discontinuous phase transitions, information theory, continuum and stochastic thermodynamics, and relativistic thermodynamics.A Dynamical Systems Theory of Thermodynamics develops a postmodern theory of thermodynamics as part of mathematical dynamical systems theory. The book establishes a clear nexus between thermodynamic irreversibility, the second law of thermodynamics, and the arrow of time to further unify discreteness and continuity, indeterminism and determinism, and quantum mechanics and general relativity in the pursuit of understanding the most fundamental property of the universe―the entropic arrow of time.
This authoritative book draws on the latest research to explore the interplay of high-dimensional statistics with optimization. Through an accessible analysis of fundamental problems of hypothesis testing and signal r...
详细信息
ISBN:
(数字)9780691200316
ISBN:
(纸本)9780691197296
This authoritative book draws on the latest research to explore the interplay of high-dimensional statistics with optimization. Through an accessible analysis of fundamental problems of hypothesis testing and signal recovery, Anatoli Juditsky and Arkadi Nemirovski show how convex optimization theory can be used to devise and analyze near-optimal statistical *** Inference via Convex Optimization is an essential resource for optimization specialists who are new to statistics and its applications, and for data scientists who want to improve their optimization methods. Juditsky and Nemirovski provide the first systematic treatment of the statistical techniques that have arisen from advances in the theory of optimization. They focus on four well-known statistical problems—sparse recovery, hypothesis testing, and recovery from indirect observations of both signals and functions of signals—demonstrating how they can be solved more efficiently as convex optimization problems. The emphasis throughout is on achieving the best possible statistical performance. The construction of inference routines and the quantification of their statistical performance are given by efficient computation rather than by analytical derivation typical of more conventional statistical approaches. In addition to being computation-friendly, the methods described in this book enable practitioners to handle numerous situations too difficult for closed analytical form analysis, such as composite hypothesis testing and signal recovery in inverse *** Inference via Convex Optimization features exercises with solutions along with extensive appendixes, making it ideal for use as a graduate text.
An essential introduction to the analysis and verification of control system softwareThe verification of control system software is critical to a host of technologies and industries, from aeronautics and medical techn...
详细信息
ISBN:
(数字)9780691189581
ISBN:
(纸本)9780691181301
An essential introduction to the analysis and verification of control system softwareThe verification of control system software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive. The failure of controller software can cost people their lives. In this authoritative and accessible book, Pierre-Loïc Garoche provides control engineers and computer scientists with an indispensable introduction to the formal techniques for analyzing and verifying this important class of *** often, control engineers are unaware of the issues surrounding the verification of software, while computer scientists tend to be unfamiliar with the specificities of controller software. Garoche provides a unified approach that is geared to graduate students in both fields, covering formal verification methods as well as the design and verification of controllers. He presents a wealth of new verification techniques for performing exhaustive analysis of controller software. These include new means to compute nonlinear invariants, the use of convex optimization tools, and methods for dealing with numerical imprecisions such as floating point computations occurring in the analyzed *** the autonomy of critical systems continues to increase—as evidenced by autonomous cars, drones, and satellites and landers—the numerical functions in these systems are growing ever more advanced. The techniques presented here are essential to support the formal analysis of the controller software being used in these new and emerging technologies.
This one-of-a-kind book presents many of the mathematical concepts, structures, and techniques used in the study of rays, waves, and scattering. Panoramic in scope, it includes discussions of how ocean waves are refra...
详细信息
ISBN:
(数字)9781400885404
ISBN:
(纸本)9780691148373
This one-of-a-kind book presents many of the mathematical concepts, structures, and techniques used in the study of rays, waves, and scattering. Panoramic in scope, it includes discussions of how ocean waves are refracted around islands and underwater ridges, how seismic waves are refracted in the earth"s interior, how atmospheric waves are scattered by mountains and ridges, how the scattering of light waves produces the blue sky, and meteorological phenomena such as rainbows and ***, Waves, and Scattering is a valuable resource for practitioners, graduate students, and advanced undergraduates in appliedmathematics, theoretical physics, and engineering. Bridging the gap between advanced treatments of the subject written for specialists and less mathematical books aimed at beginners, this unique mathematical compendium features problems and exercises throughout that are geared to various levels of sophistication, covering everything from Ptolemy"s theorem to Airy integrals (as well as more technical material), and several informative appendixes.
Provides a panoramic look at wave motion in many different contexts
Features problems and exercises throughout
Includes numerous appendixes, some on topics not often covered
An ideal reference book for practitioners
Can also serve as a supplemental text in classical appliedmathematics, particularly wave theory and mathematical methods in physics and engineering
Accessible to anyone with a strong background in ordinary differential equations, partial differential equations, and functions of a complex variable
This computationally oriented book describes and explains the mathematical relationships among matrices, moments, orthogonal polynomials, quadrature rules, and the Lanczos and conjugate gradient algorithms. The book b...
详细信息
ISBN:
(数字)9781400833887
ISBN:
(纸本)9780691143415
This computationally oriented book describes and explains the mathematical relationships among matrices, moments, orthogonal polynomials, quadrature rules, and the Lanczos and conjugate gradient algorithms. The book bridges different mathematical areas to obtain algorithms to estimate bilinear forms involving two vectors and a function of the matrix. The first part of the book provides the necessary mathematical background and explains the theory. The second part describes the applications and gives numerical examples of the algorithms and techniques developed in the first *** addressed in the book include computing elements of functions of matrices; obtaining estimates of the error norm in iterative methods for solving linear systems and computing parameters in least squares and total least squares; and solving ill-posed problems using Tikhonov *** book will interest researchers in numerical linear algebra and matrix computations, as well as scientists and engineers working on problems involving computation of bilinear forms.
暂无评论