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.

Symbolic Algebraic Methods and Verification Methods
Symbolic Algebraic Methods and Verification Methods

Author: Götz Alefeld

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 269

ISBN-13: 3709162807

DOWNLOAD EBOOK

The usual "implementation” of real numbers as floating point numbers on existing computers has the well-known disadvantage that most of the real numbers are not exactly representable in floating point. Also the four basic arithmetic operations can usually not be performed exactly. During the last years research in different areas has been intensified in order to overcome these problems. (LEDA-Library by K. Mehlhorn et al., "Exact arithmetic with real numbers” by A. Edalat et al., Symbolic algebraic methods, verification methods). The latest development is the combination of symbolic-algebraic methods and verification methods to so-called hybrid methods. – This book contains a collection of worked out talks on these subjects given during a Dagstuhl seminar at the Forschungszentrum für Informatik, Schlo€ Dagstuhl, Germany, presenting the state of the art.

Intelligent Control Systems Using Computational Intelligence Techniques
Intelligent Control Systems Using Computational Intelligence Techniques

Author: A.E. Ruano

Publisher: IET

Published: 2005-07-18

Total Pages: 478

ISBN-13: 0863414893

DOWNLOAD EBOOK

Intelligent Control techniques are becoming important tools in both academia and industry. Methodologies developed in the field of soft-computing, such as neural networks, fuzzy systems and evolutionary computation, can lead to accommodation of more complex processes, improved performance and considerable time savings and cost reductions. Intelligent Control Systems using Computational Intellingence Techniques details the application of these tools to the field of control systems. Each chapter gives and overview of current approaches in the topic covered, with a set of the most important references in the field, and then details the author's approach, examining both the theory and practical applications.

Nonlinear and Adaptive Control
Nonlinear and Adaptive Control

Author: Alan S.I. Zinober

Publisher: Springer

Published: 2003-07-01

Total Pages: 396

ISBN-13: 3540458026

DOWNLOAD EBOOK

The objective of the EU Nonlinear Control Network Workshop was to bring together scientists who are already active in nonlinear control and young researchers working in this field. This book presents selectively invited contributions from the workshop, some describing state-of-the-art subjects that already have a status of maturity while others propose promising future directions in nonlinear control. Amongst others, following topics of nonlinear and adaptive control are included: adaptive and robust control, applications in physical systems, distributed parameter systems, disturbance attenuation, dynamic feedback, optimal control, sliding mode control, and tracking and motion planning.

Modelling Control Systems Using IEC 61499
Modelling Control Systems Using IEC 61499

Author: Robert Lewis

Publisher: IET

Published: 2001-04-23

Total Pages: 207

ISBN-13: 0852967969

DOWNLOAD EBOOK

The IEC 61499 standard was developed to model distributed control systems. This book introduces the main concepts and models defined in the IEC 61499 standard, particularly the use of function blocks, covering service interface function blocks, event function blocks, industrial application examples, and future development. The book is written as a user guide for the application of the standard for modeling distributed systems, and will useful for those working in industrial control, software engineering, and manufacturing systems. Lewis is the UK expert on two IEC working groups. Annotation copyrighted by Book News Inc., Portland, OR.

Flight Control Systems
Flight Control Systems

Author: Roger Pratt

Publisher: IET

Published: 2000

Total Pages: 416

ISBN-13: 9780852967669

DOWNLOAD EBOOK

Annotation Bridging the gap between academic research and real-world applications, this reference on modern flight control methods for fixed-wing aircraft deals with fundamentals of flight control systems design, then concentrates on applications based on the modern control methods used in the latest aircraft. The book is written for practicing engineers who are new to the aviation industry, postgraduate students in strategic or applied research, and advanced undergraduates. Some knowledge of classical control is assumed. Pratt is a member of IEEE and is UK Member for AIAA's Technical Committee on Guidance, Navigation and Control. Annotation c. Book News, Inc., Portland, OR (booknews.com)

Variable Structure Systems
Variable Structure Systems

Author: Asif Sabanovic

Publisher: IET

Published: 2004-10-08

Total Pages: 429

ISBN-13: 0863413501

DOWNLOAD EBOOK

This unique book fulfils the definite need for an accessible book on variable structure systems and also provides the very latest results in research on this topic. Divided into three parts - basics of sliding mode control, new trends in sliding mode control, and applications of sliding mode control - the book contains many numerical design examples, so that readers can quickly understand the design methodologies and their applications to practical problems. Primarily aimed at students and researchers in the field, the book will also be useful for practising control engineers.

Advances in Unmanned Marine Vehicles
Advances in Unmanned Marine Vehicles

Author: G.N. Roberts

Publisher: IET

Published: 2006-01-31

Total Pages: 461

ISBN-13: 0863414508

DOWNLOAD EBOOK

Unmanned marine vehicles (UMVs) include autonomous underwater vehicles, remotely operated vehicles, semi-submersibles and unmanned surface craft. Considerable importance is being placed on the design and development of such vehicles, as they provide cost-effective solutions to a number of littoral, coastal and offshore problems. This book highlights the advanced technology that is evolving to meet the challenges being posed in this exciting and growing area of research.

Non-linear Predictive Control
Non-linear Predictive Control

Author: Basil Kouvaritakis

Publisher: IET

Published: 2001-10-26

Total Pages: 277

ISBN-13: 0852969848

DOWNLOAD EBOOK

The advantage of model predictive control is that it can take systematic account of constraints, thereby allowing processes to operate at the limits of achievable performance. Engineers in academia, industry, and government from the US and Europe explain how the linear version can be adapted and applied to the nonlinear conditions that characterize the dynamics of most real manufacturing plants. They survey theoretical and practical trends, describe some specific theories and demonstrate their practical application, derive strategies that provide appropriate assurance of closed-loop stability, and discuss practical implementation. Annotation copyrighted by Book News, Inc., Portland, OR

Compiler Construction
Compiler Construction

Author: Evelyn Duesterwald

Publisher: Springer Science & Business Media

Published: 2004-03-18

Total Pages: 324

ISBN-13: 3540212973

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 13th International Conference on Compiler Construction, CC 2004, held in Barcelona, Spain, in March/April 2004. The 19 revised full papers presented together with the abstract of an invited talk were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections on program analysis, parsing, loop analysis, optimization, code generation and backend optimizations, and compiler construction.