[PDF] Symbolic Algebraic Methods And Verification Methods eBook

Author : Götz Alefeld
Publisher : Springer Science & Business Media
Page : 269 pages
File Size : 33,56 MB
Release : 2012-12-06
Category : Mathematics
ISBN : 3709162807

GET BOOK

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.

Author : Alban Quadrat
Publisher : Springer
Page : 311 pages
File Size : 16,24 MB
Release : 2020-04-07
Category : Science
ISBN : 9783030383558

GET BOOK

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.

Author : N. Munro
Publisher : IET
Page : 424 pages
File Size : 10,10 MB
Release : 1999
Category : Technology & Engineering
ISBN : 9780852969434

GET BOOK

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.

Author : Daniel Geist
Publisher : Springer Science & Business Media
Page : 439 pages
File Size : 33,77 MB
Release : 2003-10-10
Category : Computers
ISBN : 354020363X

GET BOOK

This book constitutes the refereed proceedings of the 12th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2003, held in L'Aquila, Italy in October 2003. The 24 revised full papers and 8 short papers presented were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on software verification, automata based methods, processor verification, specification methods, theorem proving, bounded model checking, and model checking and applications.

Author : Giovanni Adorni
Publisher : Springer
Page : 556 pages
File Size : 35,4 MB
Release : 2016-11-24
Category : Computers
ISBN : 331949130X

GET BOOK

This book constitutes the refereed proceedings of the 15th International Conference of the Italian Association for Artificial Intelligence, AI*IA 2016, held in Genova, Italy, in November/December 2016. The 39 full papers presented were carefully reviewed and selected from 53 submissions. The papers are organized in topical sections on optimization and evolutionary algorithms; classification, pattern recognition, and computer vision; multi-agent systems; machine learning; semantic web and description logics; natural language processing; planning and scheduling; and formal verification.

Author : Günter Mayer
Publisher : Walter de Gruyter GmbH & Co KG
Page : 625 pages
File Size : 14,32 MB
Release : 2017-04-10
Category : Mathematics
ISBN : 3110498057

GET BOOK

This self-contained text is a step-by-step introduction and a complete overview of interval computation and result verification, a subject whose importance has steadily increased over the past many years. The author, an expert in the field, gently presents the theory of interval analysis through many examples and exercises, and guides the reader from the basics of the theory to current research topics in the mathematics of computation. Contents Preliminaries Real intervals Interval vectors, interval matrices Expressions, P-contraction, ε-inflation Linear systems of equations Nonlinear systems of equations Eigenvalue problems Automatic differentiation Complex intervals

Author : Luca de Alfaro
Publisher : Springer Science & Business Media
Page : 228 pages
File Size : 16,56 MB
Release : 2001-08-29
Category : Mathematics
ISBN : 354042556X

GET BOOK

This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2001, held in Aachen, Germany in September 2001. The 12 revised full papers presented together with one invited paper were carefully reviewed and selected from 23 submissions. Among the topics addressed are model representation, model checking, probabilistic systems analysis, refinement, Markov chains, random variables, stochastic timed systems, Max-Plus algebra, process algebra, system modeling, and the Mobius modeling framework.

Author : Hoai An Le Thi
Publisher : Springer
Page : 521 pages
File Size : 45,17 MB
Release : 2015-05-04
Category : Technology & Engineering
ISBN : 3319181610

GET BOOK

This proceedings set contains 85 selected full papers presented at the 3rd International Conference on Modelling, Computation and Optimization in Information Systems and Management Sciences - MCO 2015, held on May 11–13, 2015 at Lorraine University, France. The present part I of the 2 volume set includes articles devoted to Combinatorial optimization and applications, DC programming and DCA: thirty years of Developments, Dynamic Optimization, Modelling and Optimization in financial engineering, Multiobjective programming, Numerical Optimization, Spline Approximation and Optimization, as well as Variational Principles and Applications.