Algebraic and Symbolic Computation Methods in Dynamical Systems

Algebraic and Symbolic Computation Methods in Dynamical Systems

Author: Alban Quadrat

Publisher: Springer Nature

Published: 2020-05-30

Total Pages: 320

ISBN-13: 3030383563

DOWNLOAD EBOOK

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

Computer Algebra Methods for Equivariant Dynamical Systems

Author: Karin Gatermann

Publisher: Springer

Published: 2007-05-06

Total Pages: 163

ISBN-13: 3540465197

DOWNLOAD EBOOK

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.


IUTAM Symposium on Exploiting Nonlinear Dynamics for Engineering Systems

IUTAM Symposium on Exploiting Nonlinear Dynamics for Engineering Systems

Author: Ivana Kovacic

Publisher: Springer

Published: 2019-07-24

Total Pages: 311

ISBN-13: 3030236927

DOWNLOAD EBOOK

This is the proceedings of the IUTAM Symposium on Exploiting Nonlinear Dynamics for Engineering Systems that was held in Novi Sad, Serbia, from July 15th to 19th, 2018. The appearance of nonlinear phenomena used to be perceived as dangerous, with a general tendency to avoid them or control them. This perception has led to intensive research using various approaches and tailor-made tools developed over decades. However, the Nonlinear Dynamics of today is experiencing a profound shift of paradigm since recent investigations rely on a different strategy which brings good effects of nonlinear phenomena to the forefront. This strategy has a positive impact on different fields in science and engineering, such as vibration isolation, energy harvesting, micro/nano-electro-mechanical systems, etc. Therefore, the ENOLIDES Symposium was devoted to demonstrate the benefits and to unlock the potential of exploiting nonlinear dynamical behaviour in these but also in other emerging fields of science and engineering. This proceedings is useful for researchers in the fields of nonlinear dynamics of mechanical systems and structures, and in Mechanical and Civil Engineering.


Differential Equations with Symbolic Computation

Differential Equations with Symbolic Computation

Author: Dongming Wang

Publisher: Springer Science & Business Media

Published: 2006-03-16

Total Pages: 374

ISBN-13: 3764374292

DOWNLOAD EBOOK

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.


Symbolic Methods in Control System Analysis and Design

Symbolic Methods in Control System Analysis and Design

Author: N. Munro

Publisher: IET

Published: 1999

Total Pages: 424

ISBN-13: 9780852969434

DOWNLOAD EBOOK

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

Nonlinear Control Systems Design 1989

Author: A. Isidori

Publisher: Elsevier

Published: 2014-05-23

Total Pages: 429

ISBN-13: 1483298922

DOWNLOAD EBOOK

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

Computer Algebra in Scientific Computing

Author: Vladimir P. Gerdt

Publisher: Springer Science & Business Media

Published: 2011-08-26

Total Pages: 368

ISBN-13: 3642235670

DOWNLOAD EBOOK

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

Normal Forms and Unfoldings for Local Dynamical Systems

Author: James Murdock

Publisher: Springer Science & Business Media

Published: 2006-04-10

Total Pages: 508

ISBN-13: 0387217851

DOWNLOAD EBOOK

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

Computational Methods for Nonlinear Dynamical Systems

Author: Xuechuan Wang

Publisher: Elsevier

Published: 2022-09-28

Total Pages: 242

ISBN-13: 0323991149

DOWNLOAD EBOOK

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


Symbolic Computation: Solving Equations in Algebra, Geometry, and Engineering

Symbolic Computation: Solving Equations in Algebra, Geometry, and Engineering

Author: Edward L. Green

Publisher: American Mathematical Soc.

Published: 2001

Total Pages: 250

ISBN-13: 0821826794

DOWNLOAD EBOOK

This volume presents the proceedings from the research conference, Symbolic Computation: Solving Equations in Algebra, Analysis, and Engineering, held at Mount Holyoke College, USA. It provides an overview of contemporary research in symbolic computation as it applies to the solution of polynomial systems. The conference brought together pure and applied mathematicians, computer scientists, and engineers, who use symbolic computation to solve systems of equations or who develop the theoretical background and tools needed for this purpose. Within this general framework, the conference focused on several themes: systems of polynomials, systems of differential equations, noncommutative systems, and applications.