Author: Peter Butkovič
Publisher: Springer Science & Business Media
ISBN: 1849962995
Category : Mathematics
Languages : en
Pages : 281
Book Description
Recent years have seen a significant rise of interest in max-linear theory and techniques. Specialised international conferences and seminars or special sessions devoted to max-algebra have been organised. This book aims to provide a first detailed and self-contained account of linear-algebraic aspects of max-algebra for general (that is both irreducible and reducible) matrices. Among the main features of the book is the presentation of the fundamental max-algebraic theory (Chapters 1-4), often scattered in research articles, reports and theses, in one place in a comprehensive and unified form. This presentation is made with all proofs and in full generality (that is for both irreducible and reducible matrices). Another feature is the presence of advanced material (Chapters 5-10), most of which has not appeared in a book before and in many cases has not been published at all. Intended for a wide-ranging readership, this book will be useful for anyone with basic mathematical knowledge (including undergraduate students) who wish to learn fundamental max-algebraic ideas and techniques. It will also be useful for researchers working in tropical geometry or idempotent analysis.
Max-linear Systems: Theory and Algorithms
Author: Peter Butkovič
Publisher: Springer Science & Business Media
ISBN: 1849962995
Category : Mathematics
Languages : en
Pages : 281
Book Description
Recent years have seen a significant rise of interest in max-linear theory and techniques. Specialised international conferences and seminars or special sessions devoted to max-algebra have been organised. This book aims to provide a first detailed and self-contained account of linear-algebraic aspects of max-algebra for general (that is both irreducible and reducible) matrices. Among the main features of the book is the presentation of the fundamental max-algebraic theory (Chapters 1-4), often scattered in research articles, reports and theses, in one place in a comprehensive and unified form. This presentation is made with all proofs and in full generality (that is for both irreducible and reducible matrices). Another feature is the presence of advanced material (Chapters 5-10), most of which has not appeared in a book before and in many cases has not been published at all. Intended for a wide-ranging readership, this book will be useful for anyone with basic mathematical knowledge (including undergraduate students) who wish to learn fundamental max-algebraic ideas and techniques. It will also be useful for researchers working in tropical geometry or idempotent analysis.
Publisher: Springer Science & Business Media
ISBN: 1849962995
Category : Mathematics
Languages : en
Pages : 281
Book Description
Recent years have seen a significant rise of interest in max-linear theory and techniques. Specialised international conferences and seminars or special sessions devoted to max-algebra have been organised. This book aims to provide a first detailed and self-contained account of linear-algebraic aspects of max-algebra for general (that is both irreducible and reducible) matrices. Among the main features of the book is the presentation of the fundamental max-algebraic theory (Chapters 1-4), often scattered in research articles, reports and theses, in one place in a comprehensive and unified form. This presentation is made with all proofs and in full generality (that is for both irreducible and reducible matrices). Another feature is the presence of advanced material (Chapters 5-10), most of which has not appeared in a book before and in many cases has not been published at all. Intended for a wide-ranging readership, this book will be useful for anyone with basic mathematical knowledge (including undergraduate students) who wish to learn fundamental max-algebraic ideas and techniques. It will also be useful for researchers working in tropical geometry or idempotent analysis.
Max-Linear Systems
Author: Peter Butkovi
Publisher:
ISBN: 9781849963008
Category :
Languages : en
Pages : 292
Book Description
Publisher:
ISBN: 9781849963008
Category :
Languages : en
Pages : 292
Book Description
Subspace Identification for Linear Systems
Author: Peter van Overschee
Publisher: Springer Science & Business Media
ISBN: 1461304652
Category : Technology & Engineering
Languages : en
Pages : 263
Book Description
Subspace Identification for Linear Systems focuses on the theory, implementation and applications of subspace identification algorithms for linear time-invariant finite- dimensional dynamical systems. These algorithms allow for a fast, straightforward and accurate determination of linear multivariable models from measured input-output data. The theory of subspace identification algorithms is presented in detail. Several chapters are devoted to deterministic, stochastic and combined deterministic-stochastic subspace identification algorithms. For each case, the geometric properties are stated in a main 'subspace' Theorem. Relations to existing algorithms and literature are explored, as are the interconnections between different subspace algorithms. The subspace identification theory is linked to the theory of frequency weighted model reduction, which leads to new interpretations and insights. The implementation of subspace identification algorithms is discussed in terms of the robust and computationally efficient RQ and singular value decompositions, which are well-established algorithms from numerical linear algebra. The algorithms are implemented in combination with a whole set of classical identification algorithms, processing and validation tools in Xmath's ISID, a commercially available graphical user interface toolbox. The basic subspace algorithms in the book are also implemented in a set of Matlab files accompanying the book. An application of ISID to an industrial glass tube manufacturing process is presented in detail, illustrating the power and user-friendliness of the subspace identification algorithms and of their implementation in ISID. The identified model allows for an optimal control of the process, leading to a significant enhancement of the production quality. The applicability of subspace identification algorithms in industry is further illustrated with the application of the Matlab files to ten practical problems. Since all necessary data and Matlab files are included, the reader can easily step through these applications, and thus get more insight in the algorithms. Subspace Identification for Linear Systems is an important reference for all researchers in system theory, control theory, signal processing, automization, mechatronics, chemical, electrical, mechanical and aeronautical engineering.
Publisher: Springer Science & Business Media
ISBN: 1461304652
Category : Technology & Engineering
Languages : en
Pages : 263
Book Description
Subspace Identification for Linear Systems focuses on the theory, implementation and applications of subspace identification algorithms for linear time-invariant finite- dimensional dynamical systems. These algorithms allow for a fast, straightforward and accurate determination of linear multivariable models from measured input-output data. The theory of subspace identification algorithms is presented in detail. Several chapters are devoted to deterministic, stochastic and combined deterministic-stochastic subspace identification algorithms. For each case, the geometric properties are stated in a main 'subspace' Theorem. Relations to existing algorithms and literature are explored, as are the interconnections between different subspace algorithms. The subspace identification theory is linked to the theory of frequency weighted model reduction, which leads to new interpretations and insights. The implementation of subspace identification algorithms is discussed in terms of the robust and computationally efficient RQ and singular value decompositions, which are well-established algorithms from numerical linear algebra. The algorithms are implemented in combination with a whole set of classical identification algorithms, processing and validation tools in Xmath's ISID, a commercially available graphical user interface toolbox. The basic subspace algorithms in the book are also implemented in a set of Matlab files accompanying the book. An application of ISID to an industrial glass tube manufacturing process is presented in detail, illustrating the power and user-friendliness of the subspace identification algorithms and of their implementation in ISID. The identified model allows for an optimal control of the process, leading to a significant enhancement of the production quality. The applicability of subspace identification algorithms in industry is further illustrated with the application of the Matlab files to ten practical problems. Since all necessary data and Matlab files are included, the reader can easily step through these applications, and thus get more insight in the algorithms. Subspace Identification for Linear Systems is an important reference for all researchers in system theory, control theory, signal processing, automization, mechatronics, chemical, electrical, mechanical and aeronautical engineering.
Iterative Methods for Sparse Linear Systems
Author: Yousef Saad
Publisher: SIAM
ISBN: 0898715342
Category : Mathematics
Languages : en
Pages : 537
Book Description
Mathematics of Computing -- General.
Publisher: SIAM
ISBN: 0898715342
Category : Mathematics
Languages : en
Pages : 537
Book Description
Mathematics of Computing -- General.
Iterative Methods for Linear Systems
Author: Maxim A. Olshanskii
Publisher: SIAM
ISBN: 1611973465
Category : Mathematics
Languages : en
Pages : 257
Book Description
Iterative Methods for Linear Systems?offers a mathematically rigorous introduction to fundamental iterative methods for systems of linear algebraic equations. The book distinguishes itself from other texts on the topic by providing a straightforward yet comprehensive analysis of the Krylov subspace methods, approaching the development and analysis of algorithms from various algorithmic and mathematical perspectives, and going beyond the standard description of iterative methods by connecting them in a natural way to the idea of preconditioning.??
Publisher: SIAM
ISBN: 1611973465
Category : Mathematics
Languages : en
Pages : 257
Book Description
Iterative Methods for Linear Systems?offers a mathematically rigorous introduction to fundamental iterative methods for systems of linear algebraic equations. The book distinguishes itself from other texts on the topic by providing a straightforward yet comprehensive analysis of the Krylov subspace methods, approaching the development and analysis of algorithms from various algorithmic and mathematical perspectives, and going beyond the standard description of iterative methods by connecting them in a natural way to the idea of preconditioning.??
Recent Developments in Algebra and Analysis
Author: Ho-Hon Leung
Publisher: Springer Nature
ISBN: 3031375386
Category :
Languages : en
Pages : 383
Book Description
Publisher: Springer Nature
ISBN: 3031375386
Category :
Languages : en
Pages : 383
Book Description
Hybrid and Real-Time Systems
Author: Oded Maler
Publisher: Springer Science & Business Media
ISBN: 9783540626008
Category : Technology & Engineering
Languages : en
Pages : 444
Book Description
This book constitutes the refereed proceedings of the International Workshop on Hybrid and Real-Time Systems, HART'97, held in Grenoble, France, in March 1997. The volume presents 18 revised full papers and 9 short presentations carefully selected during a highly competitive evaluation process; also included are full versions or abstracts of 7 invited papers or tutorials. Hybrid Systems consist of digital devices interacting with analog environments; thus the emerging area lies at the crossroads of computer science and control theory. This book focusses on mathematically sound methods for the rigorous and systematic design and analysis of hybrid systems and real-time systems.
Publisher: Springer Science & Business Media
ISBN: 9783540626008
Category : Technology & Engineering
Languages : en
Pages : 444
Book Description
This book constitutes the refereed proceedings of the International Workshop on Hybrid and Real-Time Systems, HART'97, held in Grenoble, France, in March 1997. The volume presents 18 revised full papers and 9 short presentations carefully selected during a highly competitive evaluation process; also included are full versions or abstracts of 7 invited papers or tutorials. Hybrid Systems consist of digital devices interacting with analog environments; thus the emerging area lies at the crossroads of computer science and control theory. This book focusses on mathematically sound methods for the rigorous and systematic design and analysis of hybrid systems and real-time systems.
Theory of Linear and Integer Programming
Author: Alexander Schrijver
Publisher: John Wiley & Sons
ISBN: 9780471982326
Category : Mathematics
Languages : en
Pages : 488
Book Description
Theory of Linear and Integer Programming Alexander Schrijver Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands This book describes the theory of linear and integer programming and surveys the algorithms for linear and integer programming problems, focusing on complexity analysis. It aims at complementing the more practically oriented books in this field. A special feature is the author's coverage of important recent developments in linear and integer programming. Applications to combinatorial optimization are given, and the author also includes extensive historical surveys and bibliographies. The book is intended for graduate students and researchers in operations research, mathematics and computer science. It will also be of interest to mathematical historians. Contents 1 Introduction and preliminaries; 2 Problems, algorithms, and complexity; 3 Linear algebra and complexity; 4 Theory of lattices and linear diophantine equations; 5 Algorithms for linear diophantine equations; 6 Diophantine approximation and basis reduction; 7 Fundamental concepts and results on polyhedra, linear inequalities, and linear programming; 8 The structure of polyhedra; 9 Polarity, and blocking and anti-blocking polyhedra; 10 Sizes and the theoretical complexity of linear inequalities and linear programming; 11 The simplex method; 12 Primal-dual, elimination, and relaxation methods; 13 Khachiyan's method for linear programming; 14 The ellipsoid method for polyhedra more generally; 15 Further polynomiality results in linear programming; 16 Introduction to integer linear programming; 17 Estimates in integer linear programming; 18 The complexity of integer linear programming; 19 Totally unimodular matrices: fundamental properties and examples; 20 Recognizing total unimodularity; 21 Further theory related to total unimodularity; 22 Integral polyhedra and total dual integrality; 23 Cutting planes; 24 Further methods in integer linear programming; Historical and further notes on integer linear programming; References; Notation index; Author index; Subject index
Publisher: John Wiley & Sons
ISBN: 9780471982326
Category : Mathematics
Languages : en
Pages : 488
Book Description
Theory of Linear and Integer Programming Alexander Schrijver Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands This book describes the theory of linear and integer programming and surveys the algorithms for linear and integer programming problems, focusing on complexity analysis. It aims at complementing the more practically oriented books in this field. A special feature is the author's coverage of important recent developments in linear and integer programming. Applications to combinatorial optimization are given, and the author also includes extensive historical surveys and bibliographies. The book is intended for graduate students and researchers in operations research, mathematics and computer science. It will also be of interest to mathematical historians. Contents 1 Introduction and preliminaries; 2 Problems, algorithms, and complexity; 3 Linear algebra and complexity; 4 Theory of lattices and linear diophantine equations; 5 Algorithms for linear diophantine equations; 6 Diophantine approximation and basis reduction; 7 Fundamental concepts and results on polyhedra, linear inequalities, and linear programming; 8 The structure of polyhedra; 9 Polarity, and blocking and anti-blocking polyhedra; 10 Sizes and the theoretical complexity of linear inequalities and linear programming; 11 The simplex method; 12 Primal-dual, elimination, and relaxation methods; 13 Khachiyan's method for linear programming; 14 The ellipsoid method for polyhedra more generally; 15 Further polynomiality results in linear programming; 16 Introduction to integer linear programming; 17 Estimates in integer linear programming; 18 The complexity of integer linear programming; 19 Totally unimodular matrices: fundamental properties and examples; 20 Recognizing total unimodularity; 21 Further theory related to total unimodularity; 22 Integral polyhedra and total dual integrality; 23 Cutting planes; 24 Further methods in integer linear programming; Historical and further notes on integer linear programming; References; Notation index; Author index; Subject index
Performance Evaluation Methodologies and Tools
Author: Qianchuan Zhao
Publisher: Springer Nature
ISBN: 3030925110
Category : Computers
Languages : en
Pages : 274
Book Description
This book constitutes the refereed conference proceedings of the 14th International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2021, held in October 2021. Due to the safety concerns and travel restrictions caused by COVID-19, VALUETOOLS took place online in a live stream. VALUETOOLS 2021 aims to provide a world-leading and multidisciplinary venue for researchers and practitioners in diverse disciplines such as computer science, networks and telecommunications, operations research, optimization, control theory and manufacturing. The 16 full papers were carefully reviewed and selected from 32 submissions and focus on methodologies and practices in modelling, performance evaluation and optimization of complex systems.
Publisher: Springer Nature
ISBN: 3030925110
Category : Computers
Languages : en
Pages : 274
Book Description
This book constitutes the refereed conference proceedings of the 14th International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2021, held in October 2021. Due to the safety concerns and travel restrictions caused by COVID-19, VALUETOOLS took place online in a live stream. VALUETOOLS 2021 aims to provide a world-leading and multidisciplinary venue for researchers and practitioners in diverse disciplines such as computer science, networks and telecommunications, operations research, optimization, control theory and manufacturing. The 16 full papers were carefully reviewed and selected from 32 submissions and focus on methodologies and practices in modelling, performance evaluation and optimization of complex systems.
Hamilton-Jacobi Equations: Approximations, Numerical Analysis and Applications
Author: Yves Achdou
Publisher: Springer
ISBN: 3642364330
Category : Mathematics
Languages : en
Pages : 316
Book Description
These Lecture Notes contain the material relative to the courses given at the CIME summer school held in Cetraro, Italy from August 29 to September 3, 2011. The topic was "Hamilton-Jacobi Equations: Approximations, Numerical Analysis and Applications". The courses dealt mostly with the following subjects: first order and second order Hamilton-Jacobi-Bellman equations, properties of viscosity solutions, asymptotic behaviors, mean field games, approximation and numerical methods, idempotent analysis. The content of the courses ranged from an introduction to viscosity solutions to quite advanced topics, at the cutting edge of research in the field. We believe that they opened perspectives on new and delicate issues. These lecture notes contain four contributions by Yves Achdou (Finite Difference Methods for Mean Field Games), Guy Barles (An Introduction to the Theory of Viscosity Solutions for First-order Hamilton-Jacobi Equations and Applications), Hitoshi Ishii (A Short Introduction to Viscosity Solutions and the Large Time Behavior of Solutions of Hamilton-Jacobi Equations) and Grigory Litvinov (Idempotent/Tropical Analysis, the Hamilton-Jacobi and Bellman Equations).
Publisher: Springer
ISBN: 3642364330
Category : Mathematics
Languages : en
Pages : 316
Book Description
These Lecture Notes contain the material relative to the courses given at the CIME summer school held in Cetraro, Italy from August 29 to September 3, 2011. The topic was "Hamilton-Jacobi Equations: Approximations, Numerical Analysis and Applications". The courses dealt mostly with the following subjects: first order and second order Hamilton-Jacobi-Bellman equations, properties of viscosity solutions, asymptotic behaviors, mean field games, approximation and numerical methods, idempotent analysis. The content of the courses ranged from an introduction to viscosity solutions to quite advanced topics, at the cutting edge of research in the field. We believe that they opened perspectives on new and delicate issues. These lecture notes contain four contributions by Yves Achdou (Finite Difference Methods for Mean Field Games), Guy Barles (An Introduction to the Theory of Viscosity Solutions for First-order Hamilton-Jacobi Equations and Applications), Hitoshi Ishii (A Short Introduction to Viscosity Solutions and the Large Time Behavior of Solutions of Hamilton-Jacobi Equations) and Grigory Litvinov (Idempotent/Tropical Analysis, the Hamilton-Jacobi and Bellman Equations).