Kategoria BISAC: Mathematics >> Applied

This book addresses the design of such tools for correct-by-construction synthesis of supervisors for systems and specifications represented in the discrete-event framework. The approach employed uses Petri nets as discrete-event models and structural methods for the synthesis of supervisors, and may lead to significant computational benefits. Highlighting recent progress in the design of supervisors by structural methods, the book represents a novel contribution to the field. One of the main features of the presentation is the demonstration that structural methods can address a variety of...

This book presents a systematic theory of estimation and control over communication networks. It develops a theory that utilizes communications, control, information and dynamical systems theory motivated and applied to advanced networking scenarios. The book establishes theoretically rich and practically important connections among modern control theory, Shannon information theory, and entropy theory of dynamical systems originated in the work of Kolmogorov.

This self-contained monograph covers the latest achievements in the area. It contains many real-world applications and the...

In the last few decades, multiscale algorithms have become a dominant trend in large-scale scientific computation. Researchers have successfully applied these methods to a wide range of simulation and optimization problems. This book gives a general overview of multiscale algorithms; applications to general combinatorial optimization problems such as graph partitioning and the traveling salesman problem; and VLSICAD applications, including circuit partitioning, placement, and VLSI routing. Additional chapters discuss optimization in reconfigurable computing, convergence in multilevel...

In recent years meshless/meshfree methods have gained a considerable attention in engineering and applied mathematics. The variety of problems that are now being addressed by these techniques continues to expand and the quality of the results obtained demonstrates the effectiveness of many of the methods currently available. The book presents a significant sample of the state of the art in the field with methods that have reached a certain level of maturity while also addressing many open issues.

The book collects extended original contributions presented at the first ECCOMAS...

The book addresses scientists and technical experts who have already some background knowledge in Geographic Information Systems (GIS) and who want to know more about standardisation in GIS, in particular, the role of the International Organization for Standardization (ISO). In addition, the monograph meets the needs of programmers who are involved in implementing ISO 19100 standards and who need a better understanding of the overall structure of the standards. Last, but not least, this richly illustrated book helps readers to better understand the rather abstract ISO documents.

Positive Polynomials in Control originates from an invited session presented at the IEEE CDC 2003 and gives a comprehensive overview of existing results in this quickly emerging area. This carefully edited book collects important contributions from several fields of control, optimization, and mathematics, in order to show different views and approaches of polynomial positivity. The book is organized in three parts, reflecting the current trends in the area: 1. applications of positive polynomials and LMI optimization to solve various control problems, 2. a mathematical...