Advances in Petri Nets 1987


Book Description

The aim of these series of volumes "Advances in Petri Nets" is to present to the general computer science community the most significant recent results with regard to the development in the area. The main source of the papers are the annual European Workshops on Applications and Theory of Petri Nets"; the highest ranked papers from the past workshops are considered for the series, i.e., they are again reviewed and accordingly revised or extended. In addition to the workshop papers, the "Advances" also present invited papers. The present volume Advances in Petri Nets 1987 covers the 7th "European Workshop on Applications and Theory of Petri Nets" held in Oxford, Great Britain, in June 1986. It also contains a survey on complexity of problems related to Petri nets written by R.R. Howell and L.E. Rosier. A special feature of this volume is a bibliography on Petri nets, containing more than 2000 entries.




Hybrid Predictive Control for Dynamic Transport Problems


Book Description

Hybrid Predictive Control for Dynamic Transport Problems develops methods for the design of predictive control strategies for nonlinear-dynamic hybrid discrete-/continuous-variable systems. The methodology is designed for real-time applications, particularly the study of dynamic transport systems. Operational and service policies are considered, as well as cost reduction. The control structure is based on a sound definition of the key variables and their evolution. A flexible objective function able to capture the predictive behaviour of the system variables is described. Coupled with efficient algorithms, mainly drawn from area of computational intelligence, this is shown to optimize performance indices for real-time applications. The framework of the proposed predictive control methodology is generic and, being able to solve nonlinear mixed integer optimization problems dynamically, is readily extendable to other industrial processes. The main topics of this book are: · hybrid predictive control (HPC) design based on evolutionary multiobjective optimization (EMO); · HPC based on EMO for dial-a-ride systems; and · HPC based on EMO for operational decisions in public transport systems. Hybrid Predictive Control for Dynamic Transport Problems is a comprehensive analysis of HPC and its application to dynamic transport systems. Introductory material on evolutionary algorithms is presented in summary in an appendix. The text will be of interest to control and transport engineers working on the operational optimization of transport systems and to academic researchers working with hybrid systems. The potential applications of the generic methods presented here to other process fields will make the book of interest to a wider group of researchers, scientists and graduate students working in other control-related disciplines.




Advances in Petri Nets 1988


Book Description

The idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results which are the most representative and significant for the development in this area. The main source for the papers for "Advances" are the annual "European Workshops on Applications and Theory of Petri Nets"; the "best" papers from the latest workshops are considered for the series, i.e. they are reviewed again and revised or extended accordingly. In addition to the workshop papers, the "Advances" also present invited papers submitted directly for publication. The present volume Advances in Petri Nets 1988 covers the 8th "European Workshop on Applications and Theory of Petri Nets" held in Zaragoza, Spain in June 1987. It also contains a survey on decidability questions for classes of FIFO nets by A. Finkel and L.E. Rosier.




Voronoi Diagrams And Delaunay Triangulations


Book Description

Voronoi diagrams partition space according to the influence certain sites exert on their environment. Since the 17th century, such structures play an important role in many areas like Astronomy, Physics, Chemistry, Biology, Ecology, Economics, Mathematics and Computer Science. They help to describe zones of political influence, to determine the hospital nearest to an accident site, to compute collision-free paths for mobile robots, to reconstruct curves and surfaces from sample points, to refine triangular meshes, and to design location strategies for competing markets.This unique book offers a state-of-the-art view of Voronoi diagrams and their structure, and it provides efficient algorithms towards their computation.Readers with an entry-level background in algorithms can enjoy a guided tour of gently increasing difficulty through a fascinating area. Lecturers might find this volume a welcome source for their courses on computational geometry. Experts are offered a broader view, including many alternative solutions, and up-to-date references to the existing literature; they might benefit in their own research or application development.




2D and 3D Image Analysis by Moments


Book Description

Presents recent significant and rapid development in the field of 2D and 3D image analysis 2D and 3D Image Analysis by Moments, is a unique compendium of moment-based image analysis which includes traditional methods and also reflects the latest development of the field. The book presents a survey of 2D and 3D moment invariants with respect to similarity and affine spatial transformations and to image blurring and smoothing by various filters. The book comprehensively describes the mathematical background and theorems about the invariants but a large part is also devoted to practical usage of moments. Applications from various fields of computer vision, remote sensing, medical imaging, image retrieval, watermarking, and forensic analysis are demonstrated. Attention is also paid to efficient algorithms of moment computation. Key features: Presents a systematic overview of moment-based features used in 2D and 3D image analysis. Demonstrates invariant properties of moments with respect to various spatial and intensity transformations. Reviews and compares several orthogonal polynomials and respective moments. Describes efficient numerical algorithms for moment computation. It is a "classroom ready" textbook with a self-contained introduction to classifier design. The accompanying website contains around 300 lecture slides, Matlab codes, complete lists of the invariants, test images, and other supplementary material. 2D and 3D Image Analysis by Moments, is ideal for mathematicians, computer scientists, engineers, software developers, and Ph.D students involved in image analysis and recognition. Due to the addition of two introductory chapters on classifier design, the book may also serve as a self-contained textbook for graduate university courses on object recognition.




Half a Century of Inspirational Research


Book Description

Honors Professor Antoni Mazurkiewicz, who during his long scientific career made fundamental contributions to theoretical computer science. This book includes contributions, which span a range of research areas, including the theory of programming, models of concurrent and distributed systems, and (de)composition methods for Pietri nets.