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.

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.

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.

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.

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.

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.

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.