Author: Alban Quadrat
Publisher: Springer Nature
ISBN: 3030383563
Category : Science
Languages : en
Pages : 320
Book Description
This book aims at reviewing recent progress in the direction of algebraic and symbolic computation methods for functional systems, e.g. ODE systems, differential time-delay equations, difference equations and integro-differential equations. In the nineties, modern algebraic theories were introduced in mathematical systems theory and in control theory. Combined with real algebraic geometry, which was previously introduced in control theory, the past years have seen a flourishing development of algebraic methods in control theory. One of the strengths of algebraic methods lies in their close connections to computations. The use of the above-mentioned algebraic theories in control theory has been an important source of motivation to develop effective versions of these theories (when possible). With the development of computer algebra and computer algebra systems, symbolic methods for control theory have been developed over the past years. The goal of this book is to propose a partial state of the art in this direction. To make recent results more easily accessible to a large audience, the chapters include materials which survey the main mathematical methods and results and which are illustrated with explicit examples.
Algebraic and Symbolic Computation Methods in Dynamical Systems
Author: Alban Quadrat
Publisher: Springer Nature
ISBN: 3030383563
Category : Science
Languages : en
Pages : 320
Book Description
This book aims at reviewing recent progress in the direction of algebraic and symbolic computation methods for functional systems, e.g. ODE systems, differential time-delay equations, difference equations and integro-differential equations. In the nineties, modern algebraic theories were introduced in mathematical systems theory and in control theory. Combined with real algebraic geometry, which was previously introduced in control theory, the past years have seen a flourishing development of algebraic methods in control theory. One of the strengths of algebraic methods lies in their close connections to computations. The use of the above-mentioned algebraic theories in control theory has been an important source of motivation to develop effective versions of these theories (when possible). With the development of computer algebra and computer algebra systems, symbolic methods for control theory have been developed over the past years. The goal of this book is to propose a partial state of the art in this direction. To make recent results more easily accessible to a large audience, the chapters include materials which survey the main mathematical methods and results and which are illustrated with explicit examples.
Publisher: Springer Nature
ISBN: 3030383563
Category : Science
Languages : en
Pages : 320
Book Description
This book aims at reviewing recent progress in the direction of algebraic and symbolic computation methods for functional systems, e.g. ODE systems, differential time-delay equations, difference equations and integro-differential equations. In the nineties, modern algebraic theories were introduced in mathematical systems theory and in control theory. Combined with real algebraic geometry, which was previously introduced in control theory, the past years have seen a flourishing development of algebraic methods in control theory. One of the strengths of algebraic methods lies in their close connections to computations. The use of the above-mentioned algebraic theories in control theory has been an important source of motivation to develop effective versions of these theories (when possible). With the development of computer algebra and computer algebra systems, symbolic methods for control theory have been developed over the past years. The goal of this book is to propose a partial state of the art in this direction. To make recent results more easily accessible to a large audience, the chapters include materials which survey the main mathematical methods and results and which are illustrated with explicit examples.
Computer Algebra Methods for Equivariant Dynamical Systems
Author: Karin Gatermann
Publisher: Springer
ISBN: 3540465197
Category : Mathematics
Languages : en
Pages : 163
Book Description
This book starts with an overview of the research of Gröbner bases which have many applications in various areas of mathematics since they are a general tool for the investigation of polynomial systems. The next chapter describes algorithms in invariant theory including many examples and time tables. These techniques are applied in the chapters on symmetric bifurcation theory and equivariant dynamics. This combination of different areas of mathematics will be interesting to researchers in computational algebra and/or dynamics.
Publisher: Springer
ISBN: 3540465197
Category : Mathematics
Languages : en
Pages : 163
Book Description
This book starts with an overview of the research of Gröbner bases which have many applications in various areas of mathematics since they are a general tool for the investigation of polynomial systems. The next chapter describes algorithms in invariant theory including many examples and time tables. These techniques are applied in the chapters on symmetric bifurcation theory and equivariant dynamics. This combination of different areas of mathematics will be interesting to researchers in computational algebra and/or dynamics.
Differential Equations with Symbolic Computation
Author: Dongming Wang
Publisher: Springer Science & Business Media
ISBN: 3764374292
Category : Mathematics
Languages : en
Pages : 374
Book Description
This book presents the state-of-the-art in tackling differential equations using advanced methods and software tools of symbolic computation. It focuses on the symbolic-computational aspects of three kinds of fundamental problems in differential equations: transforming the equations, solving the equations, and studying the structure and properties of their solutions.
Publisher: Springer Science & Business Media
ISBN: 3764374292
Category : Mathematics
Languages : en
Pages : 374
Book Description
This book presents the state-of-the-art in tackling differential equations using advanced methods and software tools of symbolic computation. It focuses on the symbolic-computational aspects of three kinds of fundamental problems in differential equations: transforming the equations, solving the equations, and studying the structure and properties of their solutions.
Introduction to Non-linear Algebra
Author: Valeri? Valer?evich Dolotin
Publisher: World Scientific
ISBN: 9812708006
Category : Mathematics
Languages : en
Pages : 286
Book Description
Literaturverz. S. 267 - 269
Publisher: World Scientific
ISBN: 9812708006
Category : Mathematics
Languages : en
Pages : 286
Book Description
Literaturverz. S. 267 - 269
Symbolic and Numerical Computation for Artificial Intelligence
Author: Bruce R. Donald
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 392
Book Description
Over the last decade, there has been considerable progress in investigating methods of symbolic mathematics in many application areas of computer science and artifical intelligence, such as engineering design, solid and geometric modelling, robotics and motion planning, and machine vision. This research has produced few applications within engineering and robotics because of the combinatorial cost of symbolic techniques. Therefore, it is essential to investigate approaches for systematic integration of symbolic with numerical techniques which are efficient for handling the huge amount of data that arises in practical applications, while at the same time maintain a logically consistent solution framework. Symbolic and Numerical Computation for Artificial Intelligence gives an overview of applications in machine vision, robotics and engineering design where there is a need for integrating symbolic and numerical methods. It also illustrates the case for an integrated symbolic and numerical environment to support the needs of these applications. This book will be essential reading for researchers in applied mathematics, symbolic and algebraic manipulation, and applied artificial intell
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 392
Book Description
Over the last decade, there has been considerable progress in investigating methods of symbolic mathematics in many application areas of computer science and artifical intelligence, such as engineering design, solid and geometric modelling, robotics and motion planning, and machine vision. This research has produced few applications within engineering and robotics because of the combinatorial cost of symbolic techniques. Therefore, it is essential to investigate approaches for systematic integration of symbolic with numerical techniques which are efficient for handling the huge amount of data that arises in practical applications, while at the same time maintain a logically consistent solution framework. Symbolic and Numerical Computation for Artificial Intelligence gives an overview of applications in machine vision, robotics and engineering design where there is a need for integrating symbolic and numerical methods. It also illustrates the case for an integrated symbolic and numerical environment to support the needs of these applications. This book will be essential reading for researchers in applied mathematics, symbolic and algebraic manipulation, and applied artificial intell
Symbolic Methods in Control System Analysis and Design
Author: N. Munro
Publisher: IET
ISBN: 9780852969434
Category : Technology & Engineering
Languages : en
Pages : 424
Book Description
Fifteen contributions provide an up-to-date treatment of issues in system modeling, system analysis, design and synthesis methods, and nonlinear systems. Coverage includes the application of multidimensional Laplace transforms to the modeling of nonlinear elements, a survey of customized computer algebra modeling programs for multibody dynamical systems, robust control of linear systems using a new linear programming approach, the development and testing of a new branch-and-bound algorithm fir global optimization using symbolic algebra techniques, and dynamic sliding mode control design using symbolic algebra tools.
Publisher: IET
ISBN: 9780852969434
Category : Technology & Engineering
Languages : en
Pages : 424
Book Description
Fifteen contributions provide an up-to-date treatment of issues in system modeling, system analysis, design and synthesis methods, and nonlinear systems. Coverage includes the application of multidimensional Laplace transforms to the modeling of nonlinear elements, a survey of customized computer algebra modeling programs for multibody dynamical systems, robust control of linear systems using a new linear programming approach, the development and testing of a new branch-and-bound algorithm fir global optimization using symbolic algebra techniques, and dynamic sliding mode control design using symbolic algebra tools.
Nonlinear Control Systems Design 1989
Author: A. Isidori
Publisher: Elsevier
ISBN: 1483298922
Category : Technology & Engineering
Languages : en
Pages : 429
Book Description
In the last two decades, the development of specific methodologies for the control of systems described by nonlinear mathematical models has attracted an ever increasing interest. New breakthroughs have occurred which have aided the design of nonlinear control systems. However there are still limitations which must be understood, some of which were addressed at the IFAC Symposium in Capri. The emphasis was on the methodological developments, although a number of the papers were concerned with the presentation of applications of nonlinear design philosophies to actual control problems in chemical, electrical and mechanical engineering.
Publisher: Elsevier
ISBN: 1483298922
Category : Technology & Engineering
Languages : en
Pages : 429
Book Description
In the last two decades, the development of specific methodologies for the control of systems described by nonlinear mathematical models has attracted an ever increasing interest. New breakthroughs have occurred which have aided the design of nonlinear control systems. However there are still limitations which must be understood, some of which were addressed at the IFAC Symposium in Capri. The emphasis was on the methodological developments, although a number of the papers were concerned with the presentation of applications of nonlinear design philosophies to actual control problems in chemical, electrical and mechanical engineering.
Computer Algebra in Scientific Computing
Author: Vladimir P. Gerdt
Publisher: Springer Science & Business Media
ISBN: 3642235670
Category : Computers
Languages : en
Pages : 368
Book Description
This book constitutes the refereed proceedings of the 13th International Workshop on Computer Algebra in Scientific Computing, CASC 2011, held in Kassel, Germany, in September 2011. The 26 full papers included in the book were carefully reviewed and selected from numerous submissions. The articles are organized in topical sections on the development of object oriented computer algebra software for the modeling of algebraic structures as typed objects; matrix algorithms; the investigation with the aid of computer algebra; the development of symbolic-numerical algorithms; and the application of symbolic computations in applied problems of physics, mechanics, social science, and engineering.
Publisher: Springer Science & Business Media
ISBN: 3642235670
Category : Computers
Languages : en
Pages : 368
Book Description
This book constitutes the refereed proceedings of the 13th International Workshop on Computer Algebra in Scientific Computing, CASC 2011, held in Kassel, Germany, in September 2011. The 26 full papers included in the book were carefully reviewed and selected from numerous submissions. The articles are organized in topical sections on the development of object oriented computer algebra software for the modeling of algebraic structures as typed objects; matrix algorithms; the investigation with the aid of computer algebra; the development of symbolic-numerical algorithms; and the application of symbolic computations in applied problems of physics, mechanics, social science, and engineering.
Normal Forms and Unfoldings for Local Dynamical Systems
Author: James Murdock
Publisher: Springer Science & Business Media
ISBN: 0387217851
Category : Mathematics
Languages : en
Pages : 508
Book Description
This is the most thorough treatment of normal forms currently existing in book form. There is a substantial gap between elementary treatments in textbooks and advanced research papers on normal forms. This book develops all the necessary theory 'from scratch' in just the form that is needed for the application to normal forms, with as little unnecessary terminology as possible.
Publisher: Springer Science & Business Media
ISBN: 0387217851
Category : Mathematics
Languages : en
Pages : 508
Book Description
This is the most thorough treatment of normal forms currently existing in book form. There is a substantial gap between elementary treatments in textbooks and advanced research papers on normal forms. This book develops all the necessary theory 'from scratch' in just the form that is needed for the application to normal forms, with as little unnecessary terminology as possible.
Computational Methods for Nonlinear Dynamical Systems
Author: Xuechuan Wang
Publisher: Elsevier
ISBN: 0323991149
Category : Technology & Engineering
Languages : en
Pages : 242
Book Description
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 inspiration from the weighted residual method and the asymptotic method. Proposed methods can be used both for real-time simulation and the analysis of nonlinear dynamics in aerospace engineering. The book introduces global estimation methods and local computational methods for nonlinear dynamic systems. Starting from the classic asymptotic, finite difference and weighted residual methods, typical methods for solving nonlinear dynamic systems are considered. In addition, new high-performance methods are proposed, such as time-domain collocation and local variational iteration. The book summarizes and develops computational methods for strongly nonlinear dynamic systems and considers the practical application of the methods within aerospace engineering. - Presents global methods for solving periodic nonlinear dynamical behaviors - Gives local methods for solving transient nonlinear responses - Outlines computational methods for linear, nonlinear, ordinary and partial differential equations - Emphasizes the development of accurate and efficient numerical methods that can be used in real-world missions - Reveals practical applications of methods through orbital mechanics and structural dynamics
Publisher: Elsevier
ISBN: 0323991149
Category : Technology & Engineering
Languages : en
Pages : 242
Book Description
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 inspiration from the weighted residual method and the asymptotic method. Proposed methods can be used both for real-time simulation and the analysis of nonlinear dynamics in aerospace engineering. The book introduces global estimation methods and local computational methods for nonlinear dynamic systems. Starting from the classic asymptotic, finite difference and weighted residual methods, typical methods for solving nonlinear dynamic systems are considered. In addition, new high-performance methods are proposed, such as time-domain collocation and local variational iteration. The book summarizes and develops computational methods for strongly nonlinear dynamic systems and considers the practical application of the methods within aerospace engineering. - Presents global methods for solving periodic nonlinear dynamical behaviors - Gives local methods for solving transient nonlinear responses - Outlines computational methods for linear, nonlinear, ordinary and partial differential equations - Emphasizes the development of accurate and efficient numerical methods that can be used in real-world missions - Reveals practical applications of methods through orbital mechanics and structural dynamics